Concepedia

David Monniaux

DM

Statistics

Publications

28

Citations

2K

H-Index

18

Active since

2002

Affiliations

Verimag(Current)

Centre National de la Recherche Scientifique

Université Grenoble Alpes

Institut polytechnique de Grenoble

École Normale Supérieure

David Monniaux is an author at Verimag specializing in formal verification, formal methods, and computer science.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationProgram AnalysisSoftware AnalysisVerificationComputer EngineeringAutomated ReasoningSoftware Engineering

Publications per year

2002–2023

28

Publications

28

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · ACM SIGPLAN Notices · 2003 · 572 citations

Program Checking, Engineering, Verification +22

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · 2003 · 303 citations · Full text

Program Checking, Engineering, Verification +22

Ascertaining Uncertainty for Efficient Exact Cache Analysis

Valentin Touzeau, Claire Maïza, David Monniaux et al. · arXiv (Cornell University) · 2017 · 252 citations · Full text

Engineering, Verification, Computer Architecture +25

The pitfalls of verifying floating-point computations

David Monniaux · ACM Transactions on Programming Languages and Systems · 2008 · 203 citations · Full text

Engineering, Compiler Technology, Verification +19

A static analyzer for large safety-critical software

Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · 2003 · 85 citations

Program Checking, Engineering, Verification +22

1–5 of 28