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 2020 · cs.FLShow all

1 paper · 2 filters

cs.FL2020

Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET $^{S M T}$

Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos

The analysis and verification of hybrid automata (HA) models against rich formal properties can be a challenging task. Existing methods and tools can mainly reason whether a given…

Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFETSMT

Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET $^{S M T}$