Franck Védrine
From MaRDI portal
Person:2234074
Available identifiers
zbMath Open vedrine.franckMaRDI QIDQ2234074
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| 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
This page was built for person: Franck Védrine
