Franck Védrine

Refinement-Based CFG Reconstruction from Unstructured Programs

Philippe Herrmann, Franck Védrine, Sébastien Bardin, 2011, VMCAI.

HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment

Eric Goubault, Karim Tekkal, Sylvie Putot, 2009, CAV.

Modular Static Analysis with Zonotopes

Eric Goubault, Sylvie Putot, Franck Védrine, 2012, SAS.

Integrated Solution for Industrial IoT Data Security - the CHARIOT Solution

A. Battaglia, K. Loupos, K. Zavitsas, 2020, SAM IoT.

How an incoherent behavior inside generic hardware component characterizes functional errors

Bruno Monsuez, Franck Védrine, Micaela Mayero, 2009 .

Binding-Time Analysis and Strictness Analysis by Abstract Interpretation

Franck Védrine, Franck Védrine, 1995, SAS.