Pierre-Alain Masson

From MaRDI portal
Revision as of 06:35, 12 December 2023 by AuthorDisambiguator (talk | contribs) (AuthorDisambiguator moved page Pierre-Alain Masson to Pierre-Alain Masson: Duplicate)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:539224

Available identifiers

zbMath Open masson.pierre-alainMaRDI QIDQ539224

List of research outcomes





PublicationDate of PublicationType
Under-approximation generation driven by relevance predicates and variants2023-05-05Paper
Mermin polynomials for non-locality and entanglement detection in Grover's algorithm and quantum Fourier transform2023-03-01Paper
Contextuality degree of quadrics in multi-qubit symplectic polar spaces2021-05-28Paper
Approximating Event System Abstractions by Covering Their States and Transitions2021-05-26Paper
Test generation from event system abstractions to cover their states and transitions2020-12-17Paper
Association of Under-Approximation Techniques for Generating Tests from Models2011-07-07Paper
Generating tests from B specifications and dynamic selection criteria2011-05-27Paper
Partitioned PLTL model-checking for refined transition systems2009-06-11Paper
Generating Tests from B Specifications and Test Purposes2008-11-11Paper
https://portal.mardi4nfdi.de/entity/Q44719312004-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44942402000-08-10Paper

Research outcomes over time

This page was built for person: Pierre-Alain Masson

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:539224&oldid=10851645"
Powered by MediaWiki