Pierre-Alain Masson

Available identifiers

Publication	Date of Publication	Type
Under-approximation generation driven by relevance predicates and variants	2023-05-05	Paper
Mermin polynomials for non-locality and entanglement detection in Grover's algorithm and quantum Fourier transform	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	2021-05-26	Paper
Test generation from event system abstractions to cover their states and transitions	2020-12-17	Paper
Association of under-approximation techniques for generating tests from models	2011-07-07	Paper
Generating tests from B specifications and dynamic selection criteria	2011-05-27	Paper
Partitioned PLTL model-checking for refined transition systems	2009-06-11	Paper
Generating Tests from B Specifications and Test Purposes	2008-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4471931	2004-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4494240	2000-08-10	Paper

This page was built for person: Pierre-Alain Masson