Verimag

output

20072026

most citedThe pitfalls of verifying floating-point computations

211 citations

researchers with a paper here

D. Monniaux36 · h 29
Radu Iosif15 · h 24
J. Sifakis7 · h 57
S. Bensalem7 · h 37
M. Bozga6 · h 40
Stéphane Devismes2 profiles6 · h 20
T. Dang6 · h 32
Victor Magron5 · h 20
Claire Maïza2 profiles4 · h 3
I. Dragomir4 · h 11
Marie-Laure Potet4 · h 19
M. Moy2 profiles4 · h 15

collaborating institutions

Université Grenoble AlpesFR49 papers
Centre National de la Recherche ScientifiqueFR44 papers
Institut polytechnique de GrenobleFR12 papers
Université Joseph FourierFR7 papers
FortissDE4 papers
Institut des langues et cultures d'Europe, Amérique, Afrique, Asie et AustralieFR4 papers
Institut national de recherche en sciences et technologies du numériqueFR4 papers
Aalto UniversityFI3 papers
Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR3 papers
École Polytechnique Fédérale de LausanneCH3 papers
Laboratoire d'Informatique de GrenobleFR3 papers
LIP6FR3 papers

Showing 2026 · cs.PLShow all

1 paper · 2 filters

cs.PL2026

Max-Policy Iteration, Revisited

David Monniaux, Helmut Seidl

Max-policy iteration is an approach to computing precise numeric program invariants by successive attempts at resolving maximum operators and reduction to mathematical optimization…