| 2025 | ESOP | Abstraction of memory block manipulations by symbolic loop folding. | Jrme Boillot, Jrme Feret |
| 2025 | PADS | Model reduction of infinite rule-based models. | Jrme Feret |
| 2023 | SAS | Symbolic Transformation of Expressions in Modular Arithmetic. | Jrme Boillot, Jrme Feret |
| 2023 | VMCAI | A Generic Framework to Coarse-Grain Stochastic Reaction Networks by Abstract Interpretation. | Jrme Feret, Albin Salazar |
| 2020 | VMCAI | Sharing Ghost Variables in a Collection of Abstract Domains. | Marc Chevalier, Jrme Feret |
| 2019 | ESOP | Counters in Kappa: Semantics, Simulation, and Static Analysis. | Pierre Boutillier, Ioana Cristescu, Jrme Feret |
| 2012 | WSC | Reconstructing species-based dynamics from reduced stochastic rule-based models. | Tatjana Petrov, Jrme Feret, Heinz Koeppl |
| 2011 | SAS | Formal Model Reduction. | Jrme Feret |
| 2010 | LICS | Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction. | Vincent Danos, Jrme Feret, Walter Fontana, Russell Harmer, Jean Krivine |
| 2008 | VMCAI | Abstract Interpretation of Cellular Signalling Networks. | Vincent Danos, Jrme Feret, Walter Fontana, Jean Krivine |
| 2007 | APLAS | Scalable Simulation of Cellular Signaling Networks. | Vincent Danos, Jrme Feret, Walter Fontana, Jean Krivine |
| 2007 | CONCUR | Rule-Based Modelling of Cellular Signalling. | Vincent Danos, Jrme Feret, Walter Fontana, Russell Harmer, Jean Krivine |
| 2007 | TASE | Varieties of Static Analyzers: A Comparison with ASTREE. | Patrick Cousot, Radhia Cousot, Jrme Feret, Antoine Min, Laurent Mauborgne, David Monniaux, Xavier Rival |
| 2005 | ESOP | The ASTRE Analyzer. | Patrick Cousot, Radhia Cousot, Jrme Feret, Laurent Mauborgne, Antoine Min, David Monniaux, Xavier Rival |
| 2005 | VMCAI | The Arithmetic-Geometric Progression Abstract Domain. | Jrme Feret |
| 2004 | ESOP | Static Analysis of Digital Filters. | Jrme Feret |
| 2003 | PLDI | A static analyzer for large safety-critical software. | Bruno Blanchet, Patrick Cousot, Radhia Cousot, Jrme Feret, Laurent Mauborgne, Antoine Min, David Monniaux, Xavier Rival |
| 2002 | ESOP | Dependency Analysis of Mobile Systems. | Jrme Feret |
| 2001 | SAS | Abstract Interpretation-Based Static Analysis of Mobile Ambients. | Jrme Feret |
| 2000 | SAS | Confidentiality Analysis of Mobile Systems. | Jrme Feret |