Research departments

Home > Directory > directory

Directory


Return to the list

Pierre-Alain Masson

Pierre-Alain Masson

Verification, Test, Abstraction

DISC
Group : VESONTIO
UFC - UFR ST

I am a researcher and teacher in computer science.

My current reasearch themes are about generating tests form timed pushdown automata, and computing abstractions to be used as models in a model-based testing approach.

See my publications

I teach in both bachelor and master degrees, mainly on the subjects of object-oriented programming, algorithms for graphs, formal logic, smart cards.

You can find here my publication list. If you want to obtain a copy of one of them and you can not obtain it otherwise, please contact me

Publication list :

Category article
2016
  • 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
    pdf | doi | bibtex
2013
  • 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 | Bué, Pierre-Christophe | Masson, Pierre-Alain
    pdf | doi | bibtex
2011
  • 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 | Bué, Pierre-Christophe
    pdf | doi | bibtex
2010
  • 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
    pdf | bibtex
2009
  • 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
    pdf | doi | bibtex
2005
  • PLTL Partitionned Model-Checking for Reactive Systems under Fairness Assumptions
    ACM Transactions on Embedded Computing Systems (TECS) (Volume 4, Issue (2), may 2005, Pages :267--301)
    Chouali, Samir | Julliand, Jacques | Masson, Pierre-Alain | Bellegarde, Françoise
    bibtex
2001
  • Vérification par model-checking modulaire des propriétés dynamiques introduites en B
    Technique et Science Informatiques (TSI) (Volume 20, Issue (7), 2001, Pages :927--957)
    Julliand, Jacques | Masson, Pierre-Alain | Mountassir, Hassan
    bibtex
Category incollection
2011
  • Test Generation using Symbolic Animation of Models
    Model-Based Testing for Embedded Systems (Publisher : CRC Press / , Volume , Issue , Edition : , Series , Chapter , 2011, Pages 195--218, )
    Dadeau, Frédéric | Peureux, Fabien | Legeard, Bruno | Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain | Bouquet, Fabrice
    pdf | bibtex
Category inproceedings
2017
  • Two Under-Approximation Techniques for 3-Modal Abstraction Coverage of Event Systems: Joint Effort?
    TASE 2017, 11th Int. Symposium on Theoretical Aspects of Software Engineering / Sophia Antipolis, France (2017)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    bibtex
2016
  • Conformance Testing for non Deterministic Timed Pushdown Automata with Deadlines
    2016 IEEE 25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) / Paris, France (Publisher : IEEE, 2016, Pages pages 211 - 213)
    M'hemdi, Hana | Julliand, Jacques | Masson, Pierre-Alain | Robbana, Riadh
    doi | bibtex
2015
  • Tri-Modal Under-Approximation of Event Systems for Test Generation
    SAC 2015, 30th ACM/SIGAPP Symposium On Applied Computing / Salamanca, Spain (2015, Pages pages 1737--1744)
    Bride, Hadrien | Julliand, Jacques | Masson, Pierre-Alain
    pdf | doi | bibtex
  • Test Generation from Timed Pushdown Automata with Inputs and Outputs
    A-MOST 2015, 11th Workshop on Advances in Model Based Testing. Co-located with ICST 2015 / Graz, Austria (Publisher : IEEE, 2015, Pages pages 1--10)
    M'hemdi, Hana | Julliand, Jacques | Masson, Pierre-Alain | Robbana, Riadh
    pdf | doi | bibtex
  • Conformance Testing for Timed Recursive programs
    Computer and Information Science 2015 / Las Vegas, United States (Publisher : Springer, Volume 614, 2015, Pages pages 203 - 219)
    M'hemdi, Hana | Julliand, Jacques | Masson, Pierre-Alain | Robbana, Riadh
    doi | bibtex
  • Non-Deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation
    WETICE 2015, 24rd IEEE WETICE Conference, 3rd Track on Validation of Safety critical Collaboration systems / Larnaca, Cyprus (Publisher : IEEE, 2015, Pages pages 198--203)
    M'hemdi, Hana | Julliand, Jacques | Masson, Pierre-Alain | Robbana, Riadh
    doi | bibtex
2011
  • Association of Under-Approximation Techniques for Generating Tests from Models
    TAP'11, 5-th Int. Conf. of Tests and Proofs / Zurich, Switzerland (Volume 6706, 2011, Pages pages 51--68)
    Bué, Pierre-Christophe | Julliand, Jacques | Masson, Pierre-Alain
    pdf | bibtex
2010
  • Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests
    A-MOST'10, 6th int. Workshop on Advances in Model Based Testing, in conjunction with ICST'10 / Paris, France (2010, Pages pages 54--61)
    Bouquet, Fabrice | Bué, Pierre-Christophe | Julliand, Jacques | Masson, Pierre-Alain
    pdf | doi | bibtex
  • Syntactic Abstraction of B Models to Generate Tests
    TAP'10, 4th Int. Conf. on Tests and Proofs / Malaga, Spain (Volume 6143, 2010, Pages pages 151--166)
    Julliand, Jacques | Stouls, Nicolas | Bué, Pierre-Christophe | Masson, Pierre-Alain
    pdf | bibtex
  • Associer des techniques de preuve et de résolution de contraintes pour la construction d'abstractions
    AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels / Poitiers, France (2010, Pages pages 11--25)
    Bué, Pierre-Christophe | Julliand, Jacques | Masson, Pierre-Alain | Bouquet, Fabrice
    pdf | bibtex
  • 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 | Bué, Pierre-Christophe | Masson, Pierre-Alain
    pdf | bibtex
2009
  • 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 | Bué, Pierre-Christophe
    bibtex
2008
  • Generating Tests from B Specifications and Test Purposes
    ABZ'2008, Int. Conf. on ASM, B and Z / London, United Kingdom (Volume 5238, 2008, Pages pages 139--152)
    Tissot, Régis | Julliand, Jacques | Masson, Pierre-Alain
    doi | bibtex
  • 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
    doi | bibtex
2007
  • 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.
    doi | bibtex
2006
  • 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
2000
  • Modular verification for a class of PLTL properties
    2nd Int. Conf. on Integrated Formal Methods, IFM'2000 / Dagstuhl, Saarland, Germany (Publisher : Springer, Volume 1945, 2000, Pages pages 398--419)
    Masson, Pierre-Alain | Mountassir, Hassan | Julliand, Jacques
    bibtex
  • Coopération entre Preuve et Model-Checking pour vérifier des propriétés LTL
    Actes du congrès AFADL'2000 / Grenoble, France (2000, Pages pages 127--141)
    Mountassir, Hassan | Bellegarde, Françoise | Julliand, Jacques | Masson, Pierre-Alain
    bibtex
1999
  • Modular verification of dynamic properties for reactive systems
    International Workshop on Integrated Formal Methods, IFM'99 / York, Grande-Bretagne (1999, Pages pages 89--108)
    Julliand, Jacques | Masson, Pierre-Alain | Mountassir, Hassan
    bibtex
Category phdthesis
2001
  • Vérification par model-checking modulaire de propriétés dynamiques {PLTL} exprimées dans le cadre de spécifications {B} événementielles
    (dec 2001, Thèse de {D}octorat)
    Masson, Pierre-Alain
    pdf | bibtex
Category techreport
2017
  • Approximating Event System Abstractions by Covering their States and Transitions
    (feb 2017, Research Report, Number RR–FEMTO-ST–2496)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    bibtex
2009
  • Test Generation Based on Abstraction and Dynamic Selection Criteria
    (sep 2009, Research Report, Number RR2009-02)
    Bouquet, Fabrice | Julliand, Jacques | Masson, Pierre-Alain | Bué, Pierre-Christophe
    bibtex
  • B Model Abstraction Combining Syntactic and Semantics Methods
    (nov 2009, Research Report, Number RR2009-04)
    Julliand, Jacques | Masson, Pierre-Alain | Bué, Pierre-Christophe | Stouls, Nicolas
    bibtex
2008
  • Partitioned PLTL Model-Checking for Refined Transition Systems
    (oct 2008, Research Report, Number RR2008-07)
    Julliand, Jacques | Masson, Pierre-Alain | Oudot, Emilie
    bibtex
Category unpublished
1999
  • Vérification modulaire des propriétés dynamiques introduites en B (dec 1999)
    Julliand, Jacques | Masson, Pierre-Alain | Mountassir, Hassan
    bibtex