Franck Védrine
From MaRDI portal
Person:2234074
Available identifiers
zbMath Open vedrine.franckMaRDI QIDQ2234074
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| A reduced product of absolute and relative error bounds for floating-point analysis | 2023-05-26 | Paper |
| Runtime abstract interpretation for numerical accuracy and robustness | 2021-10-18 | Paper |
| Policy Iteration within Logico-Numerical Abstract Domains | 2011-10-07 | Paper |
| Refinement-Based CFG Reconstruction from Unstructured Programs | 2011-02-15 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
| Property | Value |
|---|---|
| MaRDI profile type | MaRDI person profile |
| instance of | human |
This page was built for person: Franck Védrine
