Pierre-Alain Masson

Available identifiers

zbMath Open masson.pierre-alainMaRDI QIDQ539224

List of research outcomes

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

Research outcomes over time

This page was built for person: Pierre-Alain Masson