L'institut

FEMTO-ST

Annuaire

Vous êtes ici

• Accueil
• Pierre-Alain Masson

Pierre-Alain Masson

Département DISC
équipe VESONTIO

UFC - UFR ST

Courriel :

pamasson [at] femto-st.fr

03.81.66.20.76

Adresse :

DISC - UFR-ST (Campus La Bouloie)

Bât C - 16 route de Gray CS11809
25030 BESANCON cedex

Publications de Pierre-Alain Masson

Voir toutes les publications (35)2022 (1)2021 (2)2020 (1)2018 (2)2017 (4)2016 (2)2015 (4)2013 (1)2011 (3)2010 (5)2009 (4)2008 (3)2007 (1)2006 (1)2005 (1)

2022 (1)

• article - Contextuality degree of quadrics in multi-qubit symplectic polar spaces
  Journal of Physics A : Mathematical and Theoretical (Volume 55, 2022, Pages :475301 (20))
  De Boutray, Henri | Holweck, Frédéric | Giorgetti, Alain | Masson, Pierre-Alain | Saniga, Metod
  
  pdf | doi

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@inproceedings{fee75442-109b-4da3-9c3c-f97326b1481a, title = {Automated detection of contextuality proofs with intermediate numbers of observables}, author = {De Boutray, Henri and Holweck, Fr\'ed\'eric and Giorgetti, Alain and Masson, Pierre-Alain}, year = {2021}, address = {Gda\'nsk, Poland}, booktitle = {18th International Conference on Quantum Physics and Logic (QPL 2021)}, editor = {fee75442-109b-4da3-9c3c-f97326b1481a-editor.pdf}, month = {jun}, pages = {3}, url = {https://publiweb.femto-st.fr/tntnet/entries/18104/documents/author/data} }
• 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
  
  pdf | doi

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@inproceedings{06505070-3683-4e1a-9f89-fe1fc02dc7fd, title = {Non-locality and Entanglement Detection with Mermin polynomials for Grover's algorithm and Quantum Fourier Transform}, author = {De Boutray, Henri and Jaffali, Hamza and Holweck, Fr\'ed\'eric and Giorgetti, Alain and Masson, Pierre-Alain}, year = {2020}, address = {Online (Electronic Conference), France}, booktitle = {11th Colloquium of the CNRS GDR № 3322 on Quantum Engineering, Foundations \& Applications Ing\'enierie Quantique, des aspects Fondamentaux aux Applications (GDR IQFA 2020)}, editor = {06505070-3683-4e1a-9f89-fe1fc02dc7fd-editor.pdf}, month = {dec}, pages = {27 - 27}, url = {https://publiweb.femto-st.fr/tntnet/entries/17460/documents/author/data} }

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@inproceedings{7063778b-25e3-4d0f-99eb-f916c1211f61, title = {Under-Approximation Generation Driven by Relevance Predicates and Variants}, author = {Julliand, Jacques and Kouchnarenko, Olga and Masson, Pierre-Alain and Voiron, Guillaume}, year = {2018}, address = {Toulouse, France}, booktitle = {12th International Conference on Tests \& Proofs (TAP 2018)}, month = {jun}, pages = {63 - 82}, url = {https://publiweb.femto-st.fr/tntnet/entries/14898/documents/author/data}, volume = {10889}, doi = {10.1007/978-3-319-92994-1_4}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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
  
  doi

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{49fff33e-1ac2-4978-a14c-442f458ca728, title = {Two Under-Approximation Techniques for 3-Modal Abstraction Coverage of Event Systems: Joint Effort?}, author = {Julliand, Jacques and Kouchnarenko, Olga and Masson, Pierre-Alain and Voiron, Guillaume}, year = {2017}, address = {Nice, France}, booktitle = {11th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2017)}, editor = {49fff33e-1ac2-4978-a14c-442f458ca728-editor.pdf}, month = {sep}, pages = {8}, url = {https://publiweb.femto-st.fr/tntnet/entries/14120/documents/author/data}, doi = {10.1109/TASE.2017.8285632}, organization = {IEEE} }
• 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{1a6fce37-8dde-45ef-ad44-c9f14ecdd3dc, title = {Approximer des abstractions de syst\`emes d'\'ev\'enements en couvrant leurs \'etats et leurs transitions}, author = {Julliand, Jacques and Kouchnarenko, Olga and Masson, Pierre-Alain and Voiron, Guillaume}, year = {2017}, address = {Montpellier, France}, booktitle = {16\`eme Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels (AFADL 2017)}, editor = {Akram IDANI et Nikolai KOSMATOV}, month = {jun}, pages = {93 - 94}, url = {https://publiweb.femto-st.fr/tntnet/entries/14215/documents/author/data} }
• 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@inproceedings{f1fc216d-09fc-43f2-8ef2-d98ae43fd8eb, title = {Approximating Event System Abstractions by Covering their States and Transitions}, author = {Julliand, Jacques and Kouchnarenko, Olga and Masson, Pierre-Alain and Voiron, Guillaume}, year = {2017}, address = {Moscou, Russian Federation}, booktitle = {11th International Andrei Ershov Informatics Conference, Perspectives of System Informatics (PSI 2017)}, editor = {A. K. Petrenko and A. Voronkov}, month = {jun}, pages = {211 - 226}, url = {https://publiweb.femto-st.fr/tntnet/entries/14216/documents/author/data}, volume = {10742}, doi = {10.1007/978-3-319-74313-4_16}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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@techreport{f8d77ef8-6af0-4f6e-b9fd-bf893bd9ca29, title = {Approximating Event System Abstractions by Covering their States and Transitions}, author = {Julliand, Jacques and Kouchnarenko, Olga and Masson, Pierre-Alain and Voiron, Guillaume}, year = {2017}, month = {feb}, url = {https://publiweb.femto-st.fr/tntnet/entries/13785/documents/author/data} }

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
  
  pdf | doi
• 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@inproceedings{575ae0f0-55a9-4fff-9967-db25bb4d577d, title = {Conformance Testing for non Deterministic Timed Pushdown Automata with Deadlines}, author = {M'hemdi, Hana and Julliand, Jacques and Masson, Pierre-Alain and Robbana, Riadh}, year = {2016}, address = {Paris, France}, booktitle = {25th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) - IEEE}, month = {jun}, pages = {211 - 213}, doi = {10.1109/WETICE.2016.54}, publisher = {IEEE} }

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{mhjmr15b:ip, title = {Conformance Testing for Timed Recursive programs}, author = {M'hemdi, Hana and Julliand, Jacques and Masson, Pierre-Alain and Robbana, Riadh}, year = {2015}, address = {Las Vegas, United States}, booktitle = {14th IEEE ACIS International Conference on Computer and Information Science (ICIS 2015)}, month = {jun}, pages = {203 - 219}, url = {https://publiweb.femto-st.fr/tntnet/entries/10516/documents/author/data}, volume = {614}, doi = {10.1007/978-3-319-23467-0_14}, publisher = {Springer}, series = {Studies in Computational Intelligence} }
• 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{mhjmr15c:ip, title = {Non-Deterministic Timed Pushdown Automata-Based Testing Evaluated by Mutation}, author = {M'hemdi, Hana and Julliand, Jacques and Masson, Pierre-Alain and Robbana, Riadh}, year = {2015}, address = {Larnaca, Cyprus}, booktitle = {24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2015)}, month = {jun}, pages = {198 - 203}, doi = {10.1109/WETICE.2015.35}, publisher = {IEEE} }
• 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{bjm15:ip, title = {Tri-Modal Under-Approximation of Event Systems for Test Generation}, author = {Bride, Hadrien and Julliand, Jacques and Masson, Pierre-Alain}, year = {2015}, address = {Salamanca, Spain}, booktitle = {30th ACM Annual Symposium on Applied Computing (SAC 2015)}, month = {apr}, pages = {1737 - 1744}, url = {https://publiweb.femto-st.fr/tntnet/entries/9658/documents/author/data}, doi = {10.1145/2695664.2695731} }
• 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@inproceedings{mhjmr15a:ip, title = {Test Generation from Timed Pushdown Automata with Inputs and Outputs}, author = {M'hemdi, Hana and Julliand, Jacques and Masson, Pierre-Alain and Robbana, Riadh}, year = {2015}, address = {Graz, Austria}, booktitle = {11th Workshop on Advances in Model Based Testing (A-MOST 2015)}, month = {apr}, pages = {10}, url = {https://publiweb.femto-st.fr/tntnet/entries/10515/documents/author/data}, doi = {10.1109/ICSTW.2015.7107404}, publisher = {IEEE} }

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
  
  pdf | doi

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@inproceedings{bjm11:ip, title = {Association of Under-Approximation Techniques for Generating Tests from Models}, author = {Bu\'e, Pierre-Christophe and Julliand, Jacques and Masson, Pierre-Alain}, year = {2011}, address = {Zurich, Switzerland}, booktitle = {TAP'11, 5-th Int. Conf. of Tests and Proofs}, month = {jun}, pages = {51--68}, url = {https://publiweb.femto-st.fr/tntnet/entries/308/documents/author/data}, volume = {6706}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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
  
  pdf | doi
• 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@incollection{dplt+10:bc, title = {Test Generation using Symbolic Animation of Models}, author = {Dadeau, Fr\'ed\'eric and Peureux, Fabien and Legeard, Bruno and Tissot, R\'egis and Julliand, Jacques and Masson, Pierre-Alain and Bouquet, Fabrice}, year = {2011}, booktitle = {Model-Based Testing for Embedded Systems}, pages = {195--218}, url = {https://publiweb.femto-st.fr/tntnet/entries/797/documents/author/data}, publisher = {CRC Press}, series = {Series on Computational Analysis, Synthesis, and Design of Dynamic Systems} }

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{jsbm10:ip, title = {Syntactic Abstraction of B Models to Generate Tests}, author = {Julliand, Jacques and Stouls, Nicolas and Bu\'e, Pierre-Christophe and Masson, Pierre-Alain}, year = {2010}, address = {Malaga, Spain}, booktitle = {TAP'10, 4th Int. Conf. on Tests and Proofs}, editor = {Fraser, G. and Gargantini, A.}, month = {jul}, pages = {151--166}, url = {https://publiweb.femto-st.fr/tntnet/entries/254/documents/author/data}, volume = {6143}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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{bjmb10:np, title = {Associer des techniques de preuve et de r\'esolution de contraintes pour la construction d'abstractions}, author = {Bue, Pierre-Christophe and Julliand, Jacques and Masson, Pierre-Alain and Bouquet, Fabrice}, year = {2010}, address = {Poitiers, France}, booktitle = {10\`emes Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels (AFADL 2010)}, month = {jun}, pages = {11 - 25}, url = {https://publiweb.femto-st.fr/tntnet/entries/426/documents/author/data} }
• 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{bbjm10:ip, title = {Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests}, author = {Bouquet, Fabrice and Bue, Pierre-Christophe and Julliand, Jacques and Masson, Pierre-Alain}, year = {2010}, address = {Paris, France}, booktitle = {3rd IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2010)}, month = {apr}, pages = {54 - 61}, url = {https://publiweb.femto-st.fr/tntnet/entries/253/documents/author/data}, doi = {10.1109/ICSTW.2010.47} }
• 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@inproceedings{jsbm10:oip, title = {B Model Abstraction Combining Syntactic and Semantic Methods}, author = {Julliand, Jacques and Stouls, Nicolas and Bu\'e, Pierre-Christophe and Masson, Pierre-Alain}, year = {2010}, address = {Orford, Qu\'ebec, Canada}, booktitle = {ABZ'10, ASM, Alloy, B and Z conference}, month = {feb}, url = {https://publiweb.femto-st.fr/tntnet/entries/503/documents/author/data} }
• 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
  
  pdf

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{jsbm09:ir, title = {B Model Abstraction Combining Syntactic and Semantics Methods}, author = {Julliand, Jacques and Stouls, Nicolas and Bu\'e, Pierre-Christophe and Masson, Pierre-Alain}, year = {2009}, month = {nov}, url = {https://publiweb.femto-st.fr/tntnet/entries/111/documents/author/data} }
• 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@techreport{bbjm09:ir, title = {Test Generation Based on Abstraction and Dynamic Selection Criteria}, author = {Bouquet, Fabrice and Bu\'e, Pierre-Christophe and Julliand, Jacques and Masson, Pierre-Alain}, year = {2009}, month = {sep}, url = {https://publiweb.femto-st.fr/tntnet/entries/108/documents/author/data} }
• 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
  
  pdf | doi
• 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@inproceedings{bbjm09:np, title = {G\'en\'eration de tests \`a partir de crit\`eres dynamiques de s\'election et par abstraction}, author = {Bouquet, Fabrice and Bu\'e, Pierre-Christophe and Julliand, Jacques and Masson, Pierre-Alain}, year = {2009}, address = {Toulouse, France}, booktitle = {AFADL'09, Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {jan}, pages = {161--176}, url = {https://publiweb.femto-st.fr/tntnet/entries/417/documents/author/data} }

2008 (3)

• techreport - Partitioned PLTL Model-Checking for Refined Transition Systems
  (oct 2008, Research Report)
  Julliand, Jacques | Masson, Pierre-Alain | Oudot, Emilie
  
  bibtex@techreport{jmo08:ir, title = {Partitioned PLTL Model-Checking for Refined Transition Systems}, author = {Julliand, Jacques and Masson, Pierre-Alain and Oudot, Emilie}, year = {2008}, month = {oct}, url = {https://publiweb.femto-st.fr/tntnet/entries/102/documents/author/data} }
• 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{jmt08:ip, title = {Generating Tests from B Specifications and Test Purposes}, author = {Tissot, R\'egis and Julliand, Jacques and Masson, Pierre-Alain}, year = {2008}, address = {London, United Kingdom}, booktitle = {ABZ'2008, Int. Conf. on ASM, B and Z}, editor = {Borger, E. and Bowen, J. and Butler, M.}, month = {sep}, pages = {139--152}, url = {https://publiweb.femto-st.fr/tntnet/entries/200/documents/author/data}, volume = {5238}, doi = {10.1007/978-3-540-87603-8_12}, series = {Lecture Notes in Computer Science (LNCS)} }
• 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@inproceedings{jmt08:oip, title = {Generating Security Tests in Addition to Functional Tests}, author = {Julliand, Jacques and Masson, Pierre-Alain and Tissot, R\'egis}, year = {2008}, address = {Leipzig, Germany}, booktitle = {AST'08, 3rd Int. workshop on Automation of Software Test}, month = {may}, pages = {41--44}, url = {https://publiweb.femto-st.fr/tntnet/entries/482/documents/author/data}, doi = {10.1145/1370042.1370051} }

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@inproceedings{mjpj+07:ip, title = {Automatic Generation of Model Based Tests for a Class of Security Properties}, author = {Masson, Pierre-Alain and Julliand, Jacques and Plessis, J.-C. and Jaffuel, Eddie and Debois, Georges}, year = {2007}, address = {London, United Kingdom}, booktitle = {A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing}, month = {jul}, pages = {12--22}, url = {https://publiweb.femto-st.fr/tntnet/entries/177/documents/author/data}, doi = {10.1145/1291535.1291537} }

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@inproceedings{bcddl+06:oip, title = {Model-Based Security Testing, Application to a Smart Card Identity Applet}, author = {Bouquet, Fabrice and Celletti, F. and Debois, Georges and De Lavernette, A. and Jaffuel, Eddie and Julliand, Jacques and Legeard, Bruno and Lidoine, J. and Plessis, J.-C. and Masson, Pierre-Alain}, year = {2006}, address = {Sophia-Antipolis, France}, booktitle = {eSmart 2006, 7th Int. Conf. on Smart Cards}, month = {sep} }

2005 (1)

• article - PLTL Partitionned Model-Checking for Reactive Systems under Fairness Assumptions
  ACM Transactions on Embedded Computing Systems (Volume 4, Issue (2), may 2005, Pages :267 - 301)
  Chouali, Samir | Julliand, Jacques | Masson, Pierre-Alain | Bellegarde, Françoise
  
  pdf | doi