| 2024 | VMCAI | Function Synthesis for Maximizing Model Counting. | Thomas Vigouroux, Marius Bozga, Cristian Ene, Laurent Mounier |
| 2023 | FDTC | A Compositional Methodology to Harden Programs Against Multi-Fault Attacks. | Etienne Boespflug, Laurent Mounier, Marie-Laure Potet, Abderrahmane Bouguern |
| 2022 | FMCAD | BaxMC: a CEGAR approach to Max#SAT. | Thomas Vigouroux, Cristian Ene, David Monniaux, Laurent Mounier, Marie-Laure Potet |
| 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 |
| 2020 | FDTC | Countermeasures Optimization in Multiple Fault-Injection Context. | Etienne Boespflug, Cristian Ene, Laurent Mounier, Marie-Laure Potet |
| 2019 | FORTE | Output-Sensitive Information Flow Analysis. | Cristian Ene, Laurent Mounier, Marie-Laure Potet |
| 2018 | FMICS | Compositional Verification in Action. | Hubert Garavel, Frdric Lang, Laurent Mounier |
| 2016 | ACSAC | Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free. | Josselin Feist, Laurent Mounier, Sbastien Bardin, Robin David, Marie-Laure Potet |
| 2016 | ISSTA | Specification of concretization and symbolization policies in symbolic execution. | Robin David, Sbastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion |
| 2016 | SEFM | Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information. | Josselin Feist, Laurent Mounier, Marie-Laure Potet |
| 2015 | ACSAC | Lightweight heuristics to retrieve parameter associations from binaries. | Franck de Gor, Roland Groz, Laurent Mounier |
| 2014 | ICST | Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections. | Marie-Laure Potet, Laurent Mounier, Maxime Puys, Louis Dureuil |
| 2013 | ICST | A Stack Model for Symbolic Buffer Overflow Exploitability Analysis. | Gustavo Grieco, Laurent Mounier, Marie-Laure Potet, Sanjay Rawat |
| 2012 | ICST | A Taint Based Approach for Smart Fuzzing. | Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier |
| 2012 | ISoLA | Dynamic Information-Flow Analysis for Multi-threaded Applications. | Laurent Mounier, Emmanuel Sifakis |
| 2011 | ICST | Finding Software Vulnerabilities by Smart Fuzzing. | Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier |
| 2011 | ICST | Offset-Aware Mutation Based Fuzzing for Buffer Overflow Vulnerabilities: Few Preliminary Results. | Sanjay Rawat, Laurent Mounier |
| 2010 | ICST | Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences. | Dumitru Ceara, Laurent Mounier, Marie-Laure Potet |
| 2009 | SAC | Enforcement monitoring wrt. the safety-progress classification of properties. | Ylis Falcone, Jean-Claude Fernandez, Laurent Mounier |
| 2009 | RV | Runtime Verification of Safety-Progress Properties. | Ylis Falcone, Jean-Claude Fernandez, Laurent Mounier |
| 2008 | ICISS | Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. | Ylis Falcone, Jean-Claude Fernandez, Laurent Mounier |
| 2007 | COMPSAC | Test Generation from Security Policies Specified in Or-BAC. | Keqin Li, Laurent Mounier, Roland Groz |
| 2007 | NCA | Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks. | Ananda Basu, Laurent Mounier, Marc Poulhis, Jacques Pulou, Joseph Sifakis |
| 2007 | SECON | The ARESA Project: Facilitating Research, Development and Commercialization of WSNs. | Mischa Dohler, Dominique Barthel, Florence Maraninchi, Laurent Mounier, Stephane Aubert, Christophe Dugas, Aurlien Buhrig, Franck Paugnat, Marc Renaudin, Andrzej Duda, Martin Heusse, Fabrice Valois |
| 2006 | ISSTA | Confirmation of deadlock potentials detected by runtime analysis. | Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier |
| 2002 | CAV | IF-2.0: A Validation Environment for Component-Based Real-Time Systems. | Marius Bozga, Susanne Graf, Laurent Mounier |
| 2001 | NCA | Automated Validation of Distributed Software Using the IF Environment. | Marius Bozga, Susanne Graf, Laurent Mounier |
| 2000 | CAV | IF: A Validation Environment for Timed Asynchronous Systems. | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier |
| 2000 | TACAS | Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. | Jean-Pierre Krimm, Laurent Mounier |
| 1999 | FM | IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier |
| 1997 | TACAS | Compositional State Space Generation from Lotos Programs. | Jean-Pierre Krimm, Laurent Mounier |
| 1996 | CAV | CADP - A Protocol Validation and Verification Toolbox. | Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu |
| 1996 | FORTE | Specification and Verification of the PowerScale | Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian |
| 1993 | CAV | Symbolic Equivalence Checking. | Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier |
| 1992 | ICSE | A Toolbox for the Verification of LOTOS Programs. | Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodrguez, Joseph Sifakis |
| 1991 | CAV | "On the Fly" Verification of Behavioural Equivalences and Preorders. | Jean-Claude Fernandez, Laurent Mounier |
| 1991 | CONCUR | A Tool Set for deciding Behavioral Equivalences. | Jean-Claude Fernandez, Laurent Mounier |
| 1990 | FORTE | Verifying Bisimulations "On the Fly". | Jean-Claude Fernandez, Laurent Mounier |