Modular Verification of Dynamic Properties for Reactive Systems. - Jacques Julliand; Pierre-Alain Masson; Hassan Mountassir (IFM, 1999)

Modular Verification for a Class of PLTL Properties. - Pierre-Alain Masson; Hassan Mountassir; Jacques Julliand (IFM, 2000)

Vérification par Model-Checking Modulaire de Propriétés Dynamiques PLTL exprimées dans le cadre de Spécifications B événementielles. (Verification by Modular Model-Checking of PLTL Dynamic Properties Expressed in the Context of B Event Systems). - Pierre-Alain Masson (2001)

PLTL-partitioned model checking for reactive systems under fairness assumptions. - Samir Chouali; Jacques Julliand; Pierre-Alain Masson; Françoise Bellegarde (ACM Trans. Embed. Comput. Syst., 2005)

Automatic generation of model based tests for a class of security properties. - Pierre-Alain Masson; Jacques Julliand; Jean-Chritophe Plessis; Eddie Jaffuel; Georges Debois (A-MOST, 2007)

Generating Tests from B Specifications and Test Purposes. - Jacques Julliand; Pierre-Alain Masson; Régis Tissot (ABZ, 2008)

Generating Security Tests in Addition to Functional Tests. - Jacques Julliand; Pierre-Alain Masson; Régis Tissot (AST, 2008)

Partitioned PLTL model-checking for refined transition systems. - Jacques Julliand; Pierre-Alain Masson; Emilie Oudot (Inf. Comput., 2009)

B Model Abstraction Combining Syntactic and Semantic Methods. - Jacques Julliand; Nicolas Stouls; Pierre-Christophe Bué; Pierre-Alain Masson (ASM, 2010)

Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests. - Fabrice Bouquet; Pierre-Christophe Bué; Jacques Julliand; Pierre-Alain Masson (ICST Workshops, 2010)

Syntactic Abstraction of B Models to Generate Tests. - Jacques Julliand; Nicolas Stouls; Pierre-Christophe Bué; Pierre-Alain Masson (TAP@TOOLS, 2010)

Test Generation Using Symbolic Animation of Models. - Frédéric Dadeau; Fabien Peureux; Bruno Legeard; Régis Tissot; Jacques Julliand; Pierre-Alain Masson; Fabrice Bouquet (Model-Based Testing for Embedded Systems, 2011)

Association of Under-Approximation Techniques for Generating Tests from Models. - Pierre-Christophe Bué; Jacques Julliand; Pierre-Alain Masson (TAP@TOOLS, 2011)

Generating tests from B specifications and dynamic selection criteria. - Jacques Julliand; Pierre-Alain Masson; Régis Tissot; Pierre-Christophe Bué (Formal Aspects Comput., 2011)

B model slicing and predicate abstraction to generate tests. - Jacques Julliand; Nicolas Stouls; Pierre-Christophe Bué; Pierre-Alain Masson (Softw. Qual. J., 2013)

Test generation from timed pushdown automata with inputs and outputs. - Hana M'Hemdi; Jacques Julliand; Pierre-Alain Masson; Riadh Robbana (ICST Workshops, 2015)

Tri-modal under-approximation of event systems for test generation. - Hadrien Bride; Jacques Julliand; Pierre-Alain Masson (SAC, 2015)

Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation. - Hana M'Hemdi; Jacques Julliand; Pierre-Alain Masson; Riadh Robbana (WETICE, 2015)

Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines. - Hana M'Hemdi; Jacques Julliand; Pierre-Alain Masson; Riadh Robbana (WETICE, 2016)

Tri-modal under-approximation for test generation. - Hadrien Bride; Jacques Julliand; Pierre-Alain Masson (Sci. Comput. Program., 2016)

Approximating Event System Abstractions by Covering Their States and Transitions. - Jacques Julliand; Olga Kouchnarenko; Pierre-Alain Masson; Guillaume Voiron (Ershov Informatics Conference, 2017)

Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort? - Jacques Julliand; Olga Kouchnarenko; Pierre-Alain Masson; Guillaume Voiron (TASE, 2017)

Under-Approximation Generation Driven by Relevance Predicates and Variants. - Jacques Julliand; Olga Kouchnarenko; Pierre-Alain Masson; Guillaume Voiron (TAP@STAF, 2018)

Test Generation from Event System Abstractions to Cover Their States and Transitions. - Jacques Julliand; Olga Kouchnarenko; Pierre-Alain Masson; Guillaume Voiron (Program. Comput. Softw., 2018)

Mermin polynomials for non-locality and entanglement detection in Grover's algorithm and Quantum Fourier Transform. - Henri de Boutray; Hamza Jaffali; Frédéric Holweck; Alain Giorgetti; Pierre-Alain Masson (Quantum Inf. Process., 2021)