Pierre-Alain Masson

@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} }

@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} }

@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)} }

@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{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{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)} }

@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} }

@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{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{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{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} }

@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)} }

@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{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{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{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} }

@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} }

@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{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} }

@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} }

@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} }