Pierre-Alain Masson

Publication Activity (10 Years)

Years Active: 1999-2021
Publications (10 Years): 7

Top Venues

WETICE

SAC

TASE

Sci. Comput. Program.

University of Franche-Comté, Besançon, France (PHD)

Education History

University of Franche-Comté, Besançon, France

PHD

Publications

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

Pierre-Alain Masson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pierre-Alain Masson