| 2023 | ARITH | Chromatic Analysis of Numerical Programs. | David Defour, Franck Vdrine |
| 2021 | VMCAI | Runtime Abstract Interpretation for Numerical Accuracy and Robustness. | Franck Vdrine, Maxime Jacquemin, Nikolai Kosmatov, Julien Signoles |
| 2018 | SAS | A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis. | Maxime Jacquemin, Sylvie Putot, Franck Vdrine |
| 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 | VMCAI | Refinement-Based CFG Reconstruction from Unstructured Programs. | Sbastien Bardin, Philippe Herrmann, Franck Vdrine |
| 2009 | CAV | HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. | Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Vdrine |
| 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 |
| 1995 | SAS | Binding-Time Analysis and Strictness Analysis by Abstract Interpretation | Franck Vdrine |