Franck Védrine

14 papers A* 1B 6C 2Journal 1Unranked 4
YearRankTypeTitle / Venue / Authors
2024 — conf
A Case Study on Numerical Analysis of a Path Computation Algorithm.
FMAS@iFM
Grégoire Boussu, Nikolai Kosmatov, Franck Védrine
2023 C conf
Chromatic Analysis of Numerical Programs.
ARITH
David Defour, Franck Védrine
2021 B conf
Runtime Abstract Interpretation for Numerical Accuracy and Robustness.
VMCAI
Franck Védrine, Maxime Jacquemin, Nikolai Kosmatov, Julien Signoles
2020 — conf
Integrated Solution for Industrial IoT Data Security - the CHARIOT Solution.
SAM IoT
Konstantinos Loupos, Alexandros Papageorgiou, Thomas Krousarlis, Antonis Mygiakis, Konstantinos Zavitsas, Christos Skoufis, Stelios Christofi, Vasos Hadjioannou, Sofiane Zemouri, Magdalena Kacmajor, Andrea Battaglia, Andrea Chiappetta, Jacopo Cavallo, George Theofilis, Harris Avgoustidis, Vassilis Kalompatsos, Basile Starynkevitch, Franck Védrine
2019 J jnl
Abstract Compilation for Verification of Numerical Accuracy Properties.
CoRR
Maxime Jacquemin, Fonenantsoa Maurica, Nikolai Kosmatov, Julien Signoles, Franck Védrine
2019 — conf
Cognition Enabled IoT Platform for Industrial IoT Safety, Security and Privacy - The CHARIOT Project.
CAMAD
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, George Boulougouris
2018 B conf
A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis.
SAS
Maxime Jacquemin, Sylvie Putot, Franck Védrine
2012 — conf
Design of fixed-point embedded systems (DEFIS) French ANR project.
DASIP
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, L. Fangain, Christian Samoyeau, Fabrice Lemonnier, Christophe Clienti
2012 B conf
Modular Static Analysis with Zonotopes.
SAS
Eric Goubault, Sylvie Putot, Franck Védrine
2011 B conf
Policy Iteration within Logico-Numerical Abstract Domains.
ATVA
Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault
2011 B conf
Refinement-Based CFG Reconstruction from Unstructured Programs.
VMCAI
Sébastien Bardin, Philippe Herrmann, Franck Védrine
2009 A* conf
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment.
CAV
Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine
2009 C conf
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software.
FMICS
David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine
1995 B conf
Binding-Time Analysis and Strictness Analysis by Abstract Interpretation
SAS
Franck Védrine