| 2014 | POPL | Abstract acceleration of general linear loops. | Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan |
| 2011 | ATVA | Widening with Thresholds for Programs with Complex Control Graphs. | Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault |
| 2011 | ATVA | Policy Iteration within Logico-Numerical Abstract Domains. | Pascal Sotin, Bertrand Jeannet, Franck Vdrine, Eric Goubault |
| 2011 | ESOP | Precise Interprocedural Analysis in the Presence of Pointers to the Stack. | Pascal Sotin, Bertrand Jeannet |
| 2011 | SAS | Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs. | Peter Schrammel, Bertrand Jeannet |
| 2009 | CAV | Apron: A Library of Numerical Abstract Domains for Static Analysis. | Bertrand Jeannet, Antoine Min |
| 2009 | MEMOCODE | Combining control and data abstraction in the verification of hybrid systems. | Xavier Briand, Bertrand Jeannet |
| 2009 | SEFM | Relational Interprocedural Verification of Concurrent Programs. | Bertrand Jeannet |
| 2007 | SAS | Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. | Tristan Le Gall, Bertrand Jeannet |
| 2005 | SAS | A Relational Abstraction for Functions. | Bertrand Jeannet, Denis Gopan, Thomas W. Reps |
| 2005 | TACAS | Symbolic Test Selection Based on Approximate Analysis. | Bertrand Jeannet, Thierry Jron, Vlad Rusu, Elena Zinovieva |
| 2004 | SAS | A Relational Approach to Interprocedural Shape Analysis. | Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv |
| 2002 | SAS | Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes. | Bertrand Jeannet |
| 1999 | SAS | Dynamic Partitioning in Analyses of Numerical Properties. | Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond |