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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Pierre-Alain Masson