| 2024 | SAS | Trace Partitioning as an Optimization Problem. | M. Charles Babu, Matthieu Lemerre, Sbastien Bardin, Jean-Yves Marion |
| 2023 | SAS | Reverse Template Processing Using Abstract Interpretation. | Matthieu Lemerre |
| 2022 | VMCAI | Lightweight Shape Analysis Based on Physical Types. | Olivier Nicole, Matthieu Lemerre, Xavier Rival |
| 2021 | ICSE | Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine. | Frdric Recoules, Sbastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet |
| 2021 | ICSE | RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine". | Frdric Recoules, Sbastien Bardin, Richard Bonichon, Matthieu Lemerre, Laurent Mounier, Marie-Laure Potet |
| 2021 | RTAS | No Crash, No Exploit: Automated Verification of Embedded Kernels. | Olivier Nicole, Matthieu Lemerre, Sbastien Bardin, Xavier Rival |
| 2020 | IFM | Detection of Polluting Test Objectives for Dataflow Criteria. | Thibault Martin, Nikolai Kosmatov, Virgile Prevosto, Matthieu Lemerre |
| 2020 | RAID | Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities. | Manh-Dung Nguyen, Sbastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre |
| 2020 | SAS | Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries. | Hugo Illous, Matthieu Lemerre, Xavier Rival |
| 2018 | LPAR | Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing. | Benjamin Farinier, Robin David, Sbastien Bardin, Matthieu Lemerre |
| 2016 | SCAM | Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs. | Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frdric Loulergue |
| 2015 | FMICS | A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C. | Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frdric Loulergue |
| 2015 | LPAR | Gamifying Program Analysis. | Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schf, Ashish Tiwari |
| 2015 | VECoS | State Space Reduction Strategie for Model Checking Concurrent C Programs. | Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui |
| 2014 | TAP | A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing. | Nikolai Kosmatov, Matthieu Lemerre, Cline Alec |
| 2012 | RTSS | A Model of Parallel Deterministic Real-Time Computation. | Matthieu Lemerre, Emmanuel Ohayon |
| 2011 | ISORC | Method and Tools for Mixed-Criticality Real-Time Applications within PharOS. | Matthieu Lemerre, Emmanuel Ohayon, Damien Chabrol, Mathieu Jan, Marie-Bndicte Jacques |
| 2009 | EuroSys | A communication mechanism for resource isolation. | Matthieu Lemerre, Vincent David, Guy Vidal-Naquet |
| 2008 | RTAS | Equivalence between Schedule Representations: Theory and Applications. | Matthieu Lemerre, Vincent David, Christophe Aussagus, Guy Vidal-Naquet |