by Illous, Hugo, Lemerre, Matthieu, Rival, Xavier
Published in Formal methods in system design (01.09.2021)

by Lemerre, Matthieu
Published in Proceedings of ACM on programming languages (09.01.2023)

by Lesbre, Dorian, Lemerre, Matthieu
Published in Proceedings of ACM on programming languages (20.06.2024)

by Lemerre, Matthieu, David, Vincent, Aussaguès, Christophe, Vidal-Naquet, Guy
Published in Electronic proceedings in theoretical computer science (26.10.2010)

by Ohayon, Emmanuel, Lemerre, Matthieu, David, Vincent
Published in Electronic proceedings in theoretical computer science (06.07.2010)

by Simonnet, Julien, Lemerre, Matthieu, Sighireanu, Mihaela
Published in Proceedings of ACM on programming languages (08.10.2024)

by Nicole, Olivier, Lemerre, Matthieu, Bardin, Sebastien, Rival, Xavier
Published in 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS) (01.05.2021)

by Nicole, Olivier, Lemerre, Matthieu, Rival, Xavier
Published in Verification, Model Checking, and Abstract Interpretation (2022)

by Recoules, Frederic, Bardin, Sebastien, Bonichon, Richard, Lemerre, Matthieu, Mounier, Laurent, Potet, Marie-Laure
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) (01.05.2021)

by Illous, Hugo, Lemerre, Matthieu, Rival, Xavier
Published in Static Analysis

by Recoules, Frederic, Bardin, Sebastien, Bonichon, Richard, Lemerre, Matthieu, Mounier, Laurent, Potet, Marie-Laure
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (01.05.2021)

by Illous, Hugo, Lemerre, Matthieu, Rival, Xavier
Published in NASA Formal Methods (2017)

by Azaiez, Selma, Doligez, Damien, Lemerre, Matthieu, Libal, Tomer, Merz, Stephan
Published in Abstract State Machines, Alloy, B, TLA, VDM, and Z

by Lemerre, Matthieu, Bardin, Sébastien
Year of Publication 28.12.2017

by Blanchard, Allan, Kosmatov, Nikolai, Lemerre, Matthieu, Loulergue, Frédéeric
Published in Formal Methods for Industrial Critical Systems

by Kosmatov, Nikolai, Lemerre, Matthieu, Alec, Céline
Published in Tests and Proofs

by Louise, S., Lemerre, M., Aussagues, C., David, V.
Published in 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (01.11.2011)

by Olivier, Nicole, Lemerre, Matthieu, Bardin, Sébastien, Rival, Xavier
Published in arXiv.org (21.05.2021)

by Methni, Amira, Lemerre, Matthieu, Ben Hedia, Belgacem, Haddad, Serge, Barkaoui, Kamel
Published in Formal Techniques for Safety-Critical Systems (2015)

by Nicole, Olivier, Lemerre, Matthieu, Bardin, Sébastien, Rival, Xavier
Year of Publication 19.03.2020