Franck Védrine

dblp:12/1588 · DBLP profile ↗
← Back
9ranked-venue papers
2as first author
2since 2021 · last 2023
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 8 · 2 first-author · 1 since 2021Theory of computation · 2 · 1 since 2021
YearPublicationVenuePosition
2023 Chromatic Analysis of Numerical Programs
abstract
This paper introduces the concept of chromatic numbers, which allows to tint a scalar or a set of scalars to estimate the relations between input and output variables under additive property. This consists in proposing a decomposition of a resulting value as a sum of tinted values. We illustrate how this concept can be used on a deep neural networks example by tinting group of value at once allowing to track a large number of values together.
David Defour, Franck Védrine
ARITH2
2021 Runtime Abstract Interpretation for Numerical Accuracy and Robustness
Franck Védrine, Maxime Jacquemin, Nikolai Kosmatov, Julien Signoles
VMCAI1
2018 A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis
Maxime Jacquemin, Sylvie Putot, Franck Védrine
SAS3
2012 Modular Static Analysis with Zonotopes
Eric Goubault, Sylvie Putot, Franck Védrine
SAS3
2011 Policy Iteration within Logico-Numerical Abstract Domains
Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault
ATVA3
2011 Refinement-Based CFG Reconstruction from Unstructured Programs
Sébastien Bardin, Philippe Herrmann, Franck Védrine
VMCAI3
2009 HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine
CAV5
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
FMICS6
1995 Binding-Time Analysis and Strictness Analysis by Abstract Interpretation
Franck Védrine
SAS1