| 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 |
| 2018 | SAS | A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis. | Maxime Jacquemin, Sylvie Putot, Franck Vdrine |
| 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 |
| 2013 | APLAS | Robustness Analysis of Finite Precision Implementations. | Eric Goubault, Sylvie Putot |
| 2012 | SAS | Modular Static Analysis with Zonotopes. | Eric Goubault, Sylvie Putot, Franck Vdrine |
| 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 |
| 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 |
| 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 |
| 2002 | ESOP | Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. | Eric Goubault, Matthieu Martel, Sylvie Putot |