Marie-Laure Potet
发表
L. Mounier,
Marie-Laure Potet Verimag,
Marie-Laure Potet,
2015
.
Jonathan Salwan,
Marie-Laure Potet,
Sébastien Bardin,
2018,
DIMVA.
Marie-Laure Potet,
Paul Jacquet,
Marie-Laure Potet,
1986,
ECAI.
Marie-Laure Potet,
2009
.
Marie-Laure Potet,
ModulesYves Ledru,
E. Sanlaville,
2007
.
Jean-Louis Roch,
Marie-Laure Potet,
Maxime Puys,
2016,
CRITIS.
L. Mounier,
Sébastien Bardin,
Richard Bonichon,
2019,
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).
L. Mounier,
Sébastien Bardin,
Richard Bonichon,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Matthieu Lemerre,
Marie-Laure Potet,
Laurent Mounier,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Jean-Yves Marion,
Marie-Laure Potet,
Laurent Mounier,
2016,
2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER).
Sanjay Rawat,
Marie-Laure Potet,
Laurent Mounier,
2013,
ArXiv.
Sanjay Rawat,
Marie-Laure Potet,
Laurent Mounier,
2013,
2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.
Thanh-Ha Le,
Marie-Laure Potet,
Louis Dureuil,
2016,
SAFECOMP.
Benjamin Farinier,
Marie-Laure Potet,
Richard Bonichon,
2018,
CAV.
Marie-Laure Potet,
Guilhem Lacombe,
D. Féliot,
2023,
EPiC Series in Computing.
Julien Bringer,
Thanh-Ha Le,
Hervé Chabanne,
2014,
FPS.
Marie-Laure Potet,
Laurent Mounier,
Louis Dureuil,
2014,
2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.
Roland Groz,
Marie-Laure Potet,
Mohamad Kaouk,
2019,
2019 6th International Conference on Control, Decision and Information Technologies (CoDIT).
Marie-Laure Potet,
Laurent Mounier,
Josselin Feist,
2014,
Journal of Computer Virology and Hacking Techniques.
Marie-Laure Potet,
Nicolas Stouls,
Marie-Laure Potet,
2007,
B.
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,
Laurent Mounier,
Cristian Ene,
2019,
FORTE.
Pascal Lafourcade,
Marie-Laure Potet,
Maxime Puys,
2016,
SAFECOMP.
Marie-Laure Potet,
Laurent Mounier,
Dumitru Ceara,
2010,
2010 Third International Conference on Software Testing, Verification, and Validation Workshops.
Frédéric Dadeau,
Marie-Laure Potet,
Thierry Moutet,
2008,
ABZ.