Marie-Laure Potet
发表
Yves Ledru,
Marie-Laure Potet,
1995,
Formal Methods for Industrial Applications.
Marie-Laure Potet,
2003,
Tech. Sci. Informatiques.
Marie-Laure Potet,
Laurent Mounier,
Josselin Feist,
2016,
SEFM.
Marie-Laure Potet,
Paul Jacquet,
Marie-Laure Potet,
1986,
ECAI.
Cécile Canovas,
Jessy Clédière,
Marie-Laure Potet,
2015,
CARDIS.
Helen Treharne,
Marie-Laure Potet,
2011,
Electron. Notes Theor. Comput. Sci..
Marie-Laure Potet,
Nicolas Stouls,
Xavier Morselli,
2010
.
Bertram Fronhöfer,
Philippe Jacquet,
Ramon Brena,
1984,
AIMSA.
Jean-Yves Marion,
Marie-Laure Potet,
Laurent Mounier,
2016,
2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER).
Marie-Laure Potet,
Pierre Bontron,
2004,
Tech. Sci. Informatiques.
Sylvain Boulmé,
Marie-Laure Potet,
Didier Bert,
2003,
FME.
Marie-Laure Potet,
Maxime Puys,
Abdelaziz Khaled,
2017,
FPS.
Marie-Laure Potet,
Nicolas Stouls,
Marie-Laure Potet,
2007,
B.
Sanjay Rawat,
Marie-Laure Potet,
Laurent Mounier,
2013,
ArXiv.
Jean-Yves Marion,
Marie-Laure Potet,
Laurent Mounier,
2016,
ISSTA.
Rachid Echahed,
Marie-Laure Potet,
Didier Bert,
1995
.
Stéphane Frénot,
Valérie Viet Triem Tong,
Daniel Le Métayer,
2010,
2010 ACM/IEEE 32nd International Conference on Software Engineering.
Marie-Laure Potet,
Laurent Maingault,
Vincent Werner,
2020,
2020 Workshop on Fault Detection and Tolerance in Cryptography (FDTC).
Pascal Lafourcade,
Marie-Laure Potet,
Maxime Puys,
2016,
SAFECOMP.
Marie-Laure Potet,
Etienne Boespflug,
Cristian Ene,
2020,
2020 Workshop on Fault Detection and Tolerance in Cryptography (FDTC).
Roland Groz,
Marie-Laure Potet,
Mohamad Kaouk,
2019,
2019 6th International Conference on Control, Decision and Information Technologies (CoDIT).
Sanjay Rawat,
Marie-Laure Potet,
Laurent Mounier,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.
Apport des méthodes formelles pour l'exploitation de logs informatiques dans un contexte contractuel
Lacramioara Astefanoaei,
Gregor Gößler,
Daniel Le Métayer,
2014,
Tech. Sci. Informatiques.
Daniel Le Métayer,
Marie-Laure Potet,
Eduardo Mazza,
2010,
2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Marie-Laure Potet,
Laurent Mounier,
Louis Dureuil,
2014,
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.
Rachid Echahed,
Marie-Laure Potet,
Paul Jacquet,
1991,
JTASPEFT/WSA.
Marie-Laure Potet,
Yann Rouzaud,
1998,
B.
Marie-Laure Potet,
Laurent Mounier,
Cristian Ene,
2019,
FORTE.
Lydie du Bousquet,
Olivier Maury,
Yves Ledru,
2001,
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Pascal Lafourcade,
Jean-Louis Roch,
Marie-Laure Potet,
2019,
Comput. Secur..
Sylvain Boulmé,
Marie-Laure Potet,
Didier Bert,
2004,
Tech. Sci. Informatiques.
Jean-Louis Roch,
Marie-Laure Potet,
Pascal Lafourcade,
2018
.
Thanh-Ha Le,
Marie-Laure Potet,
Louis Dureuil,
2016,
SAFECOMP.
Marie-Laure Potet,
Didier Bert,
Yann Rouzaud,
1996
.
Julien Bringer,
Thanh-Ha Le,
Hervé Chabanne,
2014,
FPS.
Jean-Louis Roch,
Marie-Laure Potet,
Maxime Puys,
2016,
CRITIS.
Sanjay Rawat,
Marie-Laure Potet,
Laurent Mounier,
2014,
2014 Ninth International Conference on Availability, Reliability and Security.
Frédéric Dadeau,
Marie-Laure Potet,
Régis Tissot,
2008,
SEC.
Sylvain Boulmé,
Marie-Laure Potet,
2007,
B.
Marie-Laure Potet,
Pierre Bontron,
2000,
ZB.
Marie-Laure Potet,
Laurent Mounier,
Richard Bonichon,
2019,
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Daniel Le Métayer,
Marie-Laure Potet,
Eduardo Mazza,
2010,
SBMF.
Marie-Laure Potet,
Laurent Mounier,
Richard Bonichon,
2019,
ArXiv.
Frédéric Dadeau,
Marie-Laure Potet,
Thierry Moutet,
2008,
ABZ.
GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties
pdf
Marie-Laure Potet,
Didier Bert,
Nicolas Stouls,
2005,
ZB.
Marie-Laure Potet,
2002
.
Marie-Laure Potet,
1988
.
Marie-Laure Potet,
Laurent Mounier,
Josselin Feist,
2016,
SSPREW '16.
Pascal Lafourcade,
Jean-Louis Roch,
Marie-Laure Potet,
2017,
SECRYPT.
Benjamin Farinier,
Marie-Laure Potet,
Richard Bonichon,
2018,
CAV.
Jonathan Salwan,
Marie-Laure Potet,
Sébastien Bardin,
2018,
DIMVA.
Marie-Laure Potet,
Laurent Mounier,
Dumitru Ceara,
2010,
2010 Third International Conference on Software Testing, Verification, and Validation Workshops.
Fabrice Bouquet,
Bruno Legeard,
Jacques Julliand,
2010,
IAS 2010.
Jean-Guillaume Dumas,
Florian Pebay-Peyroula,
Vincent Danjean,
2017
.
Marie-Laure Potet,
Laurent Mounier,
Josselin Feist,
2014,
Journal of Computer Virology and Hacking Techniques.
Stéphane Frénot,
Valérie Viet Triem Tong,
Daniel Le Métayer,
2011,
CACM.
Sylvain Boulmé,
Marie-Laure Potet,
2009,
Rigorous Methods for Software Construction and Analysis.
GénéSyst : Génération d'un système de transitions étiquetées à partir d'une spécification B événementiel
pdf
Marie-Laure Potet,
Nicolas Stouls,
Xavier Morselli,
2010,
ArXiv.
Matthieu Lemerre,
Marie-Laure Potet,
Laurent Mounier,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Pascal Lafourcade,
Jean-Louis Roch,
Marie-Laure Potet,
2017
.