| 2024 | FM | A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks. | Eric Goubault, Sylvie Putot |
| 2022 | CAV | RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems. | Eric Goubault, Sylvie Putot |
| 2022 | IJCAI | Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. | Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu |
| 2021 | SAS | Static Analysis of ReLU Neural Networks with Tropical Polyhedra. | Eric Goubault, Sbastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan |
| 2018 | CAV | Inner and Outer Approximating Flowpipes for Delay Differential Equations. | Eric Goubault, Sylvie Putot, Lorenz Sahlmann |
| 2016 | CONCUR | Bisimulations and Unfolding in P-Accessible Categorical Models. | Jrmy Dubut, Eric Goubault, Jean Goubault-Larrecq |
| 2016 | CSL | The Directed Homotopy Hypothesis. | Jrmy Dubut, Eric Goubault, Jean Goubault-Larrecq |
| 2016 | TACAS | Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. | Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan |
| 2015 | EMSOFT | A scalable algebraic method to infer quadratic invariants of switched systems. | Xavier Allamigeon, Stphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott |
| 2015 | ICALP | Natural Homology. | Jrmy Dubut, Eric Goubault, Jean Goubault-Larrecq |
| 2013 | APLAS | Robustness Analysis of Finite Precision Implementations. | Eric Goubault, Sylvie Putot |
| 2013 | SAS | Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT. | Eric Goubault |
| 2012 | ESOP | Trace Spaces: An Efficient New Technique for State-Space Reduction. | Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Rauen |
| 2012 | SAS | Modular Static Analysis with Zonotopes. | Eric Goubault, Sylvie Putot, Franck Vdrine |
| 2011 | ATVA | Policy Iteration within Logico-Numerical Abstract Domains. | Pascal Sotin, Bertrand Jeannet, Franck Vdrine, Eric Goubault |
| 2011 | SAFECOMP | Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. | Richard Bonichon, Graud Canet, Loc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sbastien Labb, Samuel Mimram |
| 2011 | VMCAI | Static Analysis of Finite Precision Computations. | Eric Goubault, Sylvie Putot |
| 2010 | CAV | A Logical Product Approach to Zonotope Intersection. | Khalil Ghorbal, Eric Goubault, Sylvie Putot |
| 2010 | ESOP | Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis. | Assal Adj, Stphane Gaubert, Eric Goubault |
| 2010 | STACS | The Tropical Double Description Method. | Xavier Allamigeon, Stphane Gaubert, Eric Goubault |
| 2009 | CAV | HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. | Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Vdrine |
| 2009 | CAV | The Zonotope Abstract Domain Taylor1+. | Khalil Ghorbal, Eric Goubault, Sylvie Putot |
| 2009 | FMICS | Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. | David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Vdrine |
| 2008 | SAS | Inferring Min and Max Invariants Using Max-Plus Polyhedra. | Xavier Allamigeon, Stephane Gaubert, Eric Goubault |
| 2007 | ESOP | Static Analysis by Policy Iteration on Relational Domains. | Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou |
| 2007 | FMICS | Static Analysis of the Accuracy in Control Systems: Principles and Experiments. | Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino |
| 2007 | SAS | Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. | Eric Goubault, Sylvie Putot |
| 2006 | SAS | Static Analysis of Numerical Algorithms. | Eric Goubault, Sylvie Putot |
| 2005 | CAV | A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. | Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot |
| 2005 | CONCUR | A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. | Eric Goubault, Emmanuel Haucourt |
| 2002 | ESOP | Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. | Eric Goubault, Matthieu Martel, Sylvie Putot |
| 2002 | LATIN | Dihomotopy as a Tool in State Space Analysis. | Eric Goubault, Martin Rauen |
| 2001 | SAS | Static Analyses of the Precision of Floating-Point Operations. | Eric Goubault |
| 1998 | CONCUR | Detecting Deadlocks in Concurrent Systems. | Lisbeth Fajstrup, Eric Goubault, Martin Rauen |
| 1996 | ESOP | Durations for Truly-Concurrent Transitions. | Eric Goubault |
| 1995 | PEPM | Schedulers as Abstract Interpreter of Higher Dimensional Automata. | Eric Goubault |
| 1993 | CONCUR | Domains of Higher-Dimensional Automata. | Eric Goubault |
| 1993 | SAS | Semantics and Analysis of Linda-Based Languages. | Rgis Cridlig, Eric Goubault |
| 1992 | CONCUR | Homology of Higher Dimensional Automata. | Eric Goubault, Thomas P. Jensen |
| 1991 | ICASSP | Low bit-rate hybrid coder using hierarchical motion compensation and low complexity vector quantization. | Catherine Raimondo, Claude R. Galand, Eric Goubault, Emmanuel Lanon, Jean E. Menez |