Statistics
Publications
30
Citations
2.1K
H-Index
19
Active since
2002
David Monniaux is an author at Verimag specializing in computer science, computing, and abstract interpretation.
Publications per year
2002–2023
30
30
A static analyzer for large safety-critical software
Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · ACM SIGPLAN Notices · 2003 · 577 citations
A static analyzer for large safety-critical software
Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · 2003 · 312 citations · Full text
Ascertaining Uncertainty for Efficient Exact Cache Analysis
Valentin Touzeau, Claire Maïza, David Monniaux et al. · arXiv (Cornell University) · 2017 · 252 citations · Full text
A static analyzer for large safety-critical software
Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · 2003 · 87 citations
1–5 of 30