L'institut
FEMTO-ST
Annuaire

Vous êtes ici

Pierre-Alain Masson

Publications de Pierre-Alain Masson

2022 (1)

2021 (2)

  • inproceedings - Automated detection of contextuality proofs with intermediate numbers of observables
    18th International Conference on Quantum Physics and Logic (QPL 2021) / Gdańsk, Poland (2021, Pages pages 3)
    De Boutray, Henri | Holweck, Frédéric | Giorgetti, Alain | Masson, Pierre-Alain
    pdf | bibtex
  • article - Mermin polynomials for non-locality and entanglement detection in Grover’s algorithm and Quantum Fourier Transform
    Quantum Information Processing (Volume 20, Issue (3), mar 2021, Pages :91 (29))
    De Boutray, Henri | Jaffali, Hamza | Holweck, Frédéric | Giorgetti, Alain | Masson, Pierre-Alain

2020 (1)

  • inproceedings - Non-locality and Entanglement Detection with Mermin polynomials for Grover’s algorithm and Quantum Fourier Transform
    11th Colloquium of the CNRS GDR № 3322 on Quantum Engineering, Foundations & Applications Ingénierie Quantique, des aspects Fondamentaux aux Applications (GDR IQFA 2020) / Online (Electronic Conference), France (2020, Pages pages 27 - 27)
    De Boutray, Henri | Jaffali, Hamza | Holweck, Frédéric | Giorgetti, Alain | Masson, Pierre-Alain
    pdf | bibtex

2018 (2)

  • inproceedings - Under-Approximation Generation Driven by Relevance Predicates and Variants
    12th International Conference on Tests & Proofs (TAP 2018) / Toulouse, France (Volume 10889, Series Lecture Notes in Computer Science (LNCS), 2018, Pages pages 63 - 82)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    pdf | doi | bibtex
  • article - Test Generation from Event System Abstractions to Cover Their States and Transitions
    Programming and Computer Software (Volume 44, Issue (1), mar 2018, Pages :1 - 14)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume

2017 (4)

  • inproceedings - Two Under-Approximation Techniques for 3-Modal Abstraction Coverage of Event Systems: Joint Effort?
    11th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2017) / Nice, France (2017, Pages pages 8)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    pdf | doi | bibtex
  • inproceedings - Approximer des abstractions de systèmes d'événements en couvrant leurs états et leurs transitions
    16ème Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2017) / Montpellier, France (2017, Pages pages 93 - 94)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    pdf | bibtex
  • inproceedings - Approximating Event System Abstractions by Covering their States and Transitions
    11th International Andrei Ershov Informatics Conference, Perspectives of System Informatics (PSI 2017) / Moscou, Russian Federation (Volume 10742, Series Lecture Notes in Computer Science (LNCS), 2017, Pages pages 211 - 226)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    pdf | doi | bibtex
  • techreport - Approximating Event System Abstractions by Covering their States and Transitions
    (feb 2017, Research Report)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    bibtex

2016 (2)

  • article - Tri-modal under-approximation for test generation
    Science of Computer Programming (Volume 132, Issue (2), aug 2016, Pages :190 - 208)
    Bride, Hadrien | Julliand, Jacques | Masson, Pierre-Alain
  • inproceedings - Conformance Testing for non Deterministic Timed Pushdown Automata with Deadlines
    25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - IEEE / Paris, France (Publisher : IEEE, 2016, Pages pages 211 - 213)
    M'hemdi, Hana | Julliand, Jacques | Masson, Pierre-Alain | Robbana, Riadh
    doi | bibtex

2015 (4)

  • inproceedings - Conformance Testing for Timed Recursive programs
    14th IEEE ACIS International Conference on Computer and Information Science (ICIS 2015) / Las Vegas, United States (Publisher : Springer, Volume 614, Series Studies in Computational Intelligence, 2015, Pages pages 203 - 219)
    M'hemdi, Hana | Julliand, Jacques | Masson, Pierre-Alain | Robbana, Riadh
    pdf | doi | bibtex
  • inproceedings - Non-Deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation
    24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2015) / Larnaca, Cyprus (Publisher : IEEE, 2015, Pages pages 198 - 203)
    M'hemdi, Hana | Julliand, Jacques | Masson, Pierre-Alain | Robbana, Riadh
    doi | bibtex
  • inproceedings - Tri-Modal Under-Approximation of Event Systems for Test Generation
    30th ACM Annual Symposium on Applied Computing (SAC 2015) / Salamanca, Spain (2015, Pages pages 1737 - 1744)
    Bride, Hadrien | Julliand, Jacques | Masson, Pierre-Alain
    pdf | doi | bibtex
  • inproceedings - Test Generation from Timed Pushdown Automata with Inputs and Outputs
    11th Workshop on Advances in Model Based Testing (A-MOST 2015) / Graz, Austria (Publisher : IEEE, 2015, Pages pages 10)
    M'hemdi, Hana | Julliand, Jacques | Masson, Pierre-Alain | Robbana, Riadh
    pdf | doi | bibtex

2013 (1)

  • article - B Model Slicing and Predicate Abstraction to Generate Tests
    Software Quality Journal (Volume 21, Issue (1), mar 2013, Pages :127 - 158)
    Julliand, Jacques | Stouls, Nicolas | Bue, Pierre-Christophe | Masson, Pierre-Alain

2011 (3)

  • inproceedings - Association of Under-Approximation Techniques for Generating Tests from Models
    TAP'11, 5-th Int. Conf. of Tests and Proofs / Zurich, Switzerland (Volume 6706, Series Lecture Notes in Computer Science (LNCS), 2011, Pages pages 51--68)
    Bue, Pierre-Christophe | Julliand, Jacques | Masson, Pierre-Alain
    pdf | bibtex
  • article - Generating Tests from B Specifications and Dynamic Selection Criteria
    Formal Aspects of Computing (Volume 23, Issue (1), jan 2011, Pages :3 - 19)
    Julliand, Jacques | Masson, Pierre-Alain | Tissot, Régis | Bue, Pierre-Christophe
  • incollection - Test Generation using Symbolic Animation of Models
    Model-Based Testing for Embedded Systems (Publisher : CRC Press, Series Series on Computational Analysis, Synthesis, and Design of Dynamic Systems, 2011, Pages 195--218)
    Dadeau, Frédéric | Peureux, Fabien | Legeard, Bruno | Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain | Bouquet, Fabrice
    pdf | bibtex

2010 (5)

  • inproceedings - Syntactic Abstraction of B Models to Generate Tests
    TAP'10, 4th Int. Conf. on Tests and Proofs / Malaga, Spain (Volume 6143, Series Lecture Notes in Computer Science (LNCS), 2010, Pages pages 151--166)
    Julliand, Jacques | Stouls, Nicolas | Bue, Pierre-Christophe | Masson, Pierre-Alain
    pdf | bibtex
  • inproceedings - Associer des techniques de preuve et de résolution de contraintes pour la construction d'abstractions
    10èmes Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2010) / Poitiers, France (2010, Pages pages 11 - 25)
    Bue, Pierre-Christophe | Julliand, Jacques | Masson, Pierre-Alain | Bouquet, Fabrice
    pdf | bibtex
  • inproceedings - Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests
    3rd IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2010) / Paris, France (2010, Pages pages 54 - 61)
    Bouquet, Fabrice | Bue, Pierre-Christophe | Julliand, Jacques | Masson, Pierre-Alain
    pdf | doi | bibtex
  • inproceedings - B Model Abstraction Combining Syntactic and Semantic Methods
    ABZ'10, ASM, Alloy, B and Z conference / Orford, Québec, Canada (2010)
    Julliand, Jacques | Stouls, Nicolas | Bue, Pierre-Christophe | Masson, Pierre-Alain
    pdf | bibtex
  • article - An Access Control Model Based Testing Approach for Smart Card Applications: Results of the POSÉ Project
    Journal of Information Assurance and Security (JIAS) (Volume 5, Issue (1), 2010, Pages :335 - 351)
    Masson, Pierre-Alain | Potet, Marie-Laure | Julliand, Jacques | Tissot, Régis | Debois, Georges | Legeard, Bruno | Chetali, Boutheina | Bouquet, Fabrice | Jaffuel, Eddie | Van Aertrick, Lionel | Andronick, June | Haddad, Amal

2009 (4)

  • techreport - B Model Abstraction Combining Syntactic and Semantics Methods
    (nov 2009, Research Report)
    Julliand, Jacques | Masson, Pierre-Alain | Bue, Pierre-Christophe | Stouls, Nicolas
    bibtex
  • techreport - Test Generation Based on Abstraction and Dynamic Selection Criteria
    (sep 2009, Research Report)
    Bouquet, Fabrice | Julliand, Jacques | Masson, Pierre-Alain | Bue, Pierre-Christophe
    bibtex
  • article - Partitioned PLTL Model-Checking for Refined Transition Systems
    Information and Computation (Volume 207, Issue (6), jun 2009, Pages :681 - 698)
    Julliand, Jacques | Masson, Pierre-Alain | Oudot, Emilie
  • inproceedings - Génération de tests à partir de critères dynamiques de sélection et par abstraction
    AFADL'09, Approches Formelles dans l'Assistance au Développement de Logiciels / Toulouse, France (2009, Pages pages 161--176)
    Bouquet, Fabrice | Julliand, Jacques | Masson, Pierre-Alain | Bue, Pierre-Christophe
    pdf | bibtex

2008 (3)

  • techreport - Partitioned PLTL Model-Checking for Refined Transition Systems
    (oct 2008, Research Report)
    Julliand, Jacques | Masson, Pierre-Alain | Oudot, Emilie
    bibtex
  • inproceedings - Generating Tests from B Specifications and Test Purposes
    ABZ'2008, Int. Conf. on ASM, B and Z / London, United Kingdom (Volume 5238, Series Lecture Notes in Computer Science (LNCS), 2008, Pages pages 139--152)
    Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain
    pdf | doi | bibtex
  • inproceedings - Generating Security Tests in Addition to Functional Tests
    AST'08, 3rd Int. workshop on Automation of Software Test / Leipzig, Germany (2008, Pages pages 41--44)
    Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain
    pdf | doi | bibtex

2007 (1)

  • inproceedings - Automatic Generation of Model Based Tests for a Class of Security Properties
    A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing / London, United Kingdom (2007, Pages pages 12--22)
    Julliand, Jacques | Masson, Pierre-Alain | Debois, Georges | Jaffuel, Eddie | Plessis, J.-C.
    pdf | doi | bibtex

2006 (1)

  • inproceedings - Model-Based Security Testing, Application to a Smart Card Identity Applet
    eSmart 2006, 7th Int. Conf. on Smart Cards / Sophia-Antipolis, France (2006)
    Bouquet, Fabrice | Celletti, F. | Debois, Georges | De Lavernette, A. | Jaffuel, Eddie | Julliand, Jacques | Legeard, Bruno | Lidoine, J. | Plessis, J.-C. | Masson, Pierre-Alain
    bibtex

2005 (1)