Franck Védrine

According to our database, Franck Védrine authored at least 13 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Chromatic Analysis of Numerical Programs.

David Defour, Franck Védrine

Proceedings of the 30th IEEE Symposium on Computer Arithmetic, 2023

2021

Runtime Abstract Interpretation for Numerical Accuracy and Robustness.

Franck Védrine, Maxime Jacquemin, Nikolai Kosmatov, Julien Signoles

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2020

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, Jacopo Cavallo, George Theofilis, Harris Avgoustidis, Vassilis Kalompatsos, Basile Starynkevitch, Franck Védrine

Proceedings of the 1st Eclipse Research International Conference on Security, Artificial Intelligence and Modeling for the next generation Internet of Things, Virtual Event, September 17th - to, 2020

2019

Abstract Compilation for Verification of Numerical Accuracy Properties.

Maxime Jacquemin, Fonenantsoa Maurica, Nikolai Kosmatov, Julien Signoles, Franck Védrine

CoRR, 2019

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, George Boulougouris

Proceedings of the 24th IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks, 2019

2018

A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis.

Maxime Jacquemin, Sylvie Putot, Franck Védrine

Proceedings of the Static Analysis - 25th International Symposium, 2018

2012

Modular Static Analysis with Zonotopes.

Eric Goubault, Sylvie Putot, Franck Védrine

Proceedings of the Static Analysis - 19th International Symposium, 2012

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, L. Fangain, Christian Samoyeau, Fabrice Lemonnier, Christophe Clienti

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

2011

Refinement-Based CFG Reconstruction from Unstructured Programs.

Sébastien Bardin, Philippe Herrmann, Franck Védrine

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Policy Iteration within Logico-Numerical Abstract Domains.

Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault

Proceedings of the Automated Technology for Verification and Analysis, 2011

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

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

Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

1995

Binding-Time Analysis and Strictness Analysis by Abstract Interpretation

Franck Védrine

Proceedings of the Static Analysis, 1995