Pierre-Alain Masson

zbMath Openmasson.pierre-alainMaRDI QIDQ539224

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Under-approximation generation driven by relevance predicates and variants Tests and Proofs	2023-05-05	Paper
Mermin polynomials for non-locality and entanglement detection in Grover's algorithm and quantum Fourier transform Quantum Information Processing	2023-03-01	Paper
Contextuality degree of quadrics in multi-qubit symplectic polar spaces	2021-05-28	Paper
Approximating event system abstractions by covering their states and transitions Lecture Notes in Computer Science	2021-05-26	Paper
Test generation from event system abstractions to cover their states and transitions Programming and Computer Software	2020-12-17	Paper
Association of under-approximation techniques for generating tests from models Tests and Proofs	2011-07-07	Paper
Generating tests from B specifications and dynamic selection criteria Formal Aspects of Computing	2011-05-27	Paper
Partitioned PLTL model-checking for refined transition systems Information and Computation	2009-06-11	Paper
Generating Tests from B Specifications and Test Purposes Lecture Notes in Computer Science	2008-11-11	Paper
scientific article; zbMATH DE number 2079827 (Why is no real title available?)	2004-07-30	Paper
scientific article; zbMATH DE number 1487729 (Why is no real title available?)	2000-08-10	Paper

Research outcomes over time

This page was built for person: Pierre-Alain Masson