| 2024 | CC | From Low-Level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme. | Sbastien Michelland, Christophe Deleuze, Laure Gonnord |
| 2022 | LOPSTR | Analysing Parallel Complexity of Term Rewriting. | Thas Baudon, Carsten Fuhs, Laure Gonnord |
| 2021 | GPCE | Compiling pattern matching to in-place modifications. | Paul Iannetta, Laure Gonnord, Gabriel Radanne |
| 2021 | SAS | Data Abstraction: A General Framework to Handle Program Verification of Data Structures. | Julien Braine, Laure Gonnord, David Monniaux |
| 2019 | VMCAI | Static Analysis of Binary Code with Memory Indirections Using Polyhedra. | Clment Ballabriga, Julien Forget, Laure Gonnord, Giuseppe Lipari, Jordy Ruiz |
| 2018 | MODELS | Practicing domain-specific languages: from code to models. | Laure Gonnord, Sbastien Mosser |
| 2018 | SBAC-PAD | Polyhedral Dataflow Programming: A Case Study. | Romain Fontaine, Laure Gonnord, Lionel Morel |
| 2017 | CGO | Pointer disambiguation via strict inequalities. | Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, Fernando Magno Quinto Pereira |
| 2016 | CGO | Symbolic range analysis of pointers. | Vitor Paisante, Maroua Maalej, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quinto Pereira |
| 2016 | SAS | Cell Morphing: From Array Programs to Array-Free Horn Clauses. | David Monniaux, Laure Gonnord |
| 2015 | PLDI | Synthesis of ranking functions using extremal counterexamples. | Laure Gonnord, David Monniaux, Gabriel Radanne |
| 2014 | OOPSLA | Validation of memory accesses through symbolic analyses. | Henrique Nazar, Izabela Maffra, Willer Santos, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quinto Pereira |
| 2013 | ICST | Rank: A Tool to Check Program Termination and Computational Complexity. | Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord |
| 2011 | SAS | Using Bounded Model Checking to Focus Fixpoint Iterations. | David Monniaux, Laure Gonnord |
| 2010 | SAS | Multi-dimensional Rankings, Program Termination, and Complexity Bounds of Flowchart Programs. | Christophe Alias, Alain Darte, Paul Feautrier, Laure Gonnord |
| 2009 | AICCSA | Quantity of resource properties expression and runtime assurance for embedded systems. | Laure Gonnord, Jean-Philippe Babau |
| 2006 | SAS | Combining Widening and Acceleration in Linear Relation Analysis. | Laure Gonnord, Nicolas Halbwachs |