Pierre-Alain Masson - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2021

Mermin polynomials for non-locality and entanglement detection in Grover's algorithm and Quantum Fourier TransformHenri de Boutray, Hamza Jaffali, Frédéric Holweck, Alain Giorgetti, Pierre-Alain Masson. qip, 20(3):91, 2021. [doi]

Mermin polynomials for non-locality and entanglement detection in Grover's algorithm and Quantum Fourier TransformHenri de Boutray, Hamza Jaffali, Frédéric Holweck, Alain Giorgetti, Pierre-Alain Masson. qip, 20(3):1-29, 2021. [doi]

2018

Test Generation from Event System Abstractions to Cover Their States and TransitionsJacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron. pcs, 44(1):1-14, 2018. [doi]

Under-Approximation Generation Driven by Relevance Predicates and VariantsJacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron. tap 2018: 63-82 [doi]

2017

Approximating Event System Abstractions by Covering Their States and TransitionsJacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron. ershov 2018: 211-226 [doi]

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: 1-8 [doi]

2016

Tri-modal under-approximation for test generationHadrien Bride, Jacques Julliand, Pierre-Alain Masson. SCP, 132:190-208, 2016. [doi]

Conformance Testing for Non-deterministic Timed Pushdown Automata with DeadlinesHana M'Hemdi, Jacques Julliand, Pierre-Alain Masson, Riadh Robbana. wetice 2016: 211-213 [doi]

2015

2013

B model slicing and predicate abstraction to generate testsJacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, Pierre-Alain Masson. sqj, 21(1):127-158, 2013. [doi]

2011

Association of Under-Approximation Techniques for Generating Tests from ModelsPierre-Christophe Bué, Jacques Julliand, Pierre-Alain Masson. tap 2011: 51-68 [doi]

Test Generation Using Symbolic Animation of ModelsFrédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, Pierre-Alain Masson, Fabrice Bouquet. In Justyna Zander, Ina Schieferdecker, Pieter J. Mosterman, editors, Model-Based Testing for Embedded Systems. Computational Analysis, Synthesis, & Design Dynamic Systems, CRC Press, 2011. [doi]

Generating tests from B specifications and dynamic selection criteriaJacques Julliand, Pierre-Alain Masson, Régis Tissot, Pierre-Christophe Bué. fac, 23(1):3-19, 2011. [doi]

2010

2009

Partitioned PLTL model-checking for refined transition systemsJacques Julliand, Pierre-Alain Masson, Emilie Oudot. iandc, 207(6):681-698, 2009. [doi]

2008

Generating Tests from B Specifications and Test PurposesJacques Julliand, Pierre-Alain Masson, Régis Tissot. asmta 2008: 139-152 [doi]

Generating Security Tests in Addition to Functional TestsJacques Julliand, Pierre-Alain Masson, Régis Tissot. ICSE 2008: 41-44 [doi]

2007

Automatic generation of model based tests for a class of security propertiesPierre-Alain Masson, Jacques Julliand, Jean-Chritophe Plessis, Eddie Jaffuel, Georges Debois. amost 2007: 12-22 [doi]

2005

PLTL-partitioned model checking for reactive systems under fairness assumptionsSamir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde. tecs, 4(2):267-301, 2005. [doi]

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. PhD thesis, University of Franche-Comté, Besançon, France, 2001. [doi]

2000

Modular Verification for a Class of PLTL PropertiesPierre-Alain Masson, Hassan Mountassir, Jacques Julliand. IFM 2000: 398-419 [doi]

1999

Modular Verification of Dynamic Properties for Reactive SystemsJacques Julliand, Pierre-Alain Masson, Hassan Mountassir. IFM 1999: 89-108

Sign in or sign up to see more results.

runs on WebDSL