Pierre-Alain Masson

27 papers B 2C 3Misc 2Journal 9Unranked 9
YearRankTypeTitle / Venue / Authors
2021 J jnl
Mermin polynomials for non-locality and entanglement detection in Grover's algorithm and Quantum Fourier Transform.
Quantum Inf. Process.
Henri de Boutray, Hamza Jaffali, Frédéric Holweck, Alain Giorgetti, Pierre-Alain Masson
2018 J jnl
Test Generation from Event System Abstractions to Cover Their States and Transitions.
Program. Comput. Softw.
Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
2018 — conf
Under-Approximation Generation Driven by Relevance Predicates and Variants.
TAP@STAF
Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
2017 — conf
Approximating Event System Abstractions by Covering Their States and Transitions.
Ershov Informatics Conference
Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
2017 Misc conf
Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort?
TASE
Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
2016 C conf
Conformance Testing for Non-deterministic Timed Pushdown Automata with Deadlines.
WETICE
Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana
2016 J jnl
Tri-modal under-approximation for test generation.
Sci. Comput. Program.
Hadrien Bride, Jacques Julliand, Pierre-Alain Masson
2015 C conf
Non-deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation.
WETICE
Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana
2015 — conf
Test generation from timed pushdown automata with inputs and outputs.
ICST Workshops
Hana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana
2015 Misc conf
Tri-modal under-approximation of event systems for test generation.
SAC
Hadrien Bride, Jacques Julliand, Pierre-Alain Masson
2013 J jnl
B model slicing and predicate abstraction to generate tests.
Softw. Qual. J.
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
2011 — conf
Association of Under-Approximation Techniques for Generating Tests from Models.
TAP@TOOLS
Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson
2011 J jnl
Generating tests from B specifications and dynamic selection criteria.
Formal Aspects Comput.
Jacques Julliand, Pierre-Alain Masson, Régis Tissot, Pierre-Christophe Bué
2011 — ch.
Test Generation Using Symbolic Animation of Models.
Model-Based Testing for Embedded Systems
Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet
2010 — conf
B Model Abstraction Combining Syntactic and Semantic Methods.
ASM
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
2010 J jnl
Syntactic Abstraction of B Models to Generate Tests
CoRR
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
2010 — conf
Syntactic Abstraction of B Models to Generate Tests.
TAP@TOOLS
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson
2010 — conf
Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests.
ICST Workshops
Fabrice Bouquet, Pierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson
2009 J jnl
Partitioned PLTL model-checking for refined transition systems.
Inf. Comput.
Jacques Julliand, Pierre-Alain Masson, Emilie Oudot
2008 — conf
Generating Security Tests in Addition to Functional Tests.
AST@ICSE
Jacques Julliand, Pierre-Alain Masson, Régis Tissot
2008 C conf
Generating Tests from B Specifications and Test Purposes.
ABZ
Jacques Julliand, Pierre-Alain Masson, Régis Tissot
2007 — conf
Automatic generation of model based tests for a class of security properties.
A-MOST
Pierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois
2006 J jnl
PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions
CoRR
Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde
2005 J jnl
PLTL-partitioned model checking for reactive systems under fairness assumptions.
ACM Trans. Embed. Comput. Syst.
Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde
2001 — —
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
2000 B conf
Modular Verification for a Class of PLTL Properties.
IFM
Pierre-Alain Masson, Hassan Mountassir, Jacques Julliand
1999 B conf
Modular Verification of Dynamic Properties for Reactive Systems.
IFM
Jacques Julliand, Pierre-Alain Masson, Hassan Mountassir