Franck Védrine

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 6

Top Topics

Individual Privacy

Industrial Automation

Top Venues

Publications

David Defour, Franck Védrine
Chromatic Analysis of Numerical Programs. ARITH (2023)
Franck Védrine, Maxime Jacquemin, Nikolai Kosmatov, Julien Signoles
Runtime Abstract Interpretation for Numerical Accuracy and Robustness. VMCAI (2021)
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
Integrated Solution for Industrial IoT Data Security - the CHARIOT Solution. SAM IoT (2020)
Maxime Jacquemin, Fonenantsoa Maurica, Nikolai Kosmatov, Julien Signoles, Franck Védrine
Abstract Compilation for Verification of Numerical Accuracy Properties. CoRR (2019)
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
Cognition Enabled IoT Platform for Industrial IoT Safety, Security and Privacy - The CHARIOT Project. CAMAD (2019)
Maxime Jacquemin, Sylvie Putot, Franck Védrine
A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis. SAS (2018)
Eric Goubault, Sylvie Putot, Franck Védrine
Modular Static Analysis with Zonotopes. SAS (2012)
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
Design of fixed-point embedded systems (DEFIS) French ANR project. DASIP (2012)
Sébastien Bardin, Philippe Herrmann, Franck Védrine
Refinement-Based CFG Reconstruction from Unstructured Programs. VMCAI (2011)
Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault
Policy Iteration within Logico-Numerical Abstract Domains. ATVA (2011)
David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. FMICS (2009)
Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. CAV (2009)
Franck Védrine
Binding-Time Analysis and Strictness Analysis by Abstract Interpretation SAS (1995)