Binding-Time Analysis and Strictness Analysis by Abstract Interpretation - Franck Védrine (SAS, 1995)

HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. - Olivier Bouissou; Eric Goubault; Sylvie Putot; Karim Tekkal; Franck Védrine (CAV, 2009)

Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. - David Delmas; Eric Goubault; Sylvie Putot; Jean Souyris; Karim Tekkal; Franck Védrine (FMICS, 2009)

Policy Iteration within Logico-Numerical Abstract Domains. - Pascal Sotin; Bertrand Jeannet; Franck Védrine; Eric Goubault (ATVA, 2011)

Refinement-Based CFG Reconstruction from Unstructured Programs. - Sébastien Bardin; Philippe Herrmann; Franck Védrine (VMCAI, 2011)

Design of fixed-point embedded systems (DEFIS) French ANR project. - Daniel Ménard; Romuald Rocher; Olivier Sentieys; Nicolas Simon; Laurent-Stéphane Didier; Thibault Hilaire; Benoit Lopez; Eric Goubault; Sylvie Putot; Franck Védrine; Amine Najahi; Guillaume Revy; et al. (DASIP, 2012)

Modular Static Analysis with Zonotopes. - Eric Goubault; Sylvie Putot; Franck Védrine (SAS, 2012)

A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis. - Maxime Jacquemin; Sylvie Putot; Franck Védrine (SAS, 2018)

Cognition Enabled IoT Platform for Industrial IoT Safety, Security and Privacy - The CHARIOT Project. - Konstantinos Loupos; Bora Caglayan; Alexandros Papageorgiou; Basile Starynkevitch; Franck Védrine; Christos Skoufis; Stelios Christofi; Bill Karakostas; Antonis Mygiakis; George Theofilis; Andrea Chiappetta; Harris Avgoustidis; et al. (CAMAD, 2019)

Abstract Compilation for Verification of Numerical Accuracy Properties. - Maxime Jacquemin; Fonenantsoa Maurica; Nikolai Kosmatov; Julien Signoles; Franck Védrine (CoRR, 2019)

Integrated Solution for Industrial IoT Data Security - the CHARIOT Solution. - Konstantinos Loupos; Alexandros Papageorgiou; Thomas Krousarlis; Antonis Mygiakis; Konstantinos Zavitsas; Christos Skoufis; Stelios Christofi; Vasos Hadjioannou; Sofiane Zemouri; Magdalena Kacmajor; Andrea Battaglia; Andrea Chiappetta; et al. (SAM IoT, 2020)

Runtime Abstract Interpretation for Numerical Accuracy and Robustness. - Franck Védrine; Maxime Jacquemin; Nikolai Kosmatov; Julien Signoles (VMCAI, 2021)

Chromatic Analysis of Numerical Programs. - David Defour; Franck Védrine (ARITH, 2023)

A Case Study on Numerical Analysis of a Path Computation Algorithm. - Grégoire Boussu; Nikolai Kosmatov; Franck Védrine (FMAS@iFM, 2024)