David Monniaux

Cited by

	All	Since 2019
Citations	4686	1360
h-index	30	18
i10-index	61	34

280

140

210

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202428 28 47 84 138 99 183 175 216 222 204 261 230 277 255 267 276 278 235 219 252 193 261 200

Public access

View all

21 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Xavier RivalDirecteur de Recherche, INRIAVerified email at inria.fr
Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityVerified email at cims.nyu.edu
Antoine MinéSorbonne Université, LIP6, APRVerified email at lip6.fr
Jérôme FeretChargé de recherche, Inria ParisVerified email at inria.fr
Bruno BlanchetSenior researcher, INRIA, ParisVerified email at inria.fr
Laure GonnordUniversity of Lyon - LIPVerified email at ens-lyon.fr
Sylvain BoulméUniversité Grenoble Alpes, VerimagVerified email at imag.fr
claire maizaUniv. Grenoble Alpes, GrenobleINP / VerimagVerified email at univ-grenoble-alpes.fr
Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-AlpesVerified email at univ-grenoble-alpes.fr
Julien HenryMathworksVerified email at mathworks.com
Matthieu MoyUniversité Claude Bernard Lyon 1, LIPVerified email at univ-lyon1.fr
Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusVerified email at cs.uni-saarland.de
George KarpenkovVERIMAGVerified email at metaworld.me
Hang YUVerimagVerified email at inf.ethz.ch
Francesco AlbertiEolo SpAVerified email at eolo.it
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerified email at cnrs.fr
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at diffblue.com
Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
Tim KingGoogle IncVerified email at google.com
Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSVerified email at cs.utah.edu

David Monniaux

Researcher in computer science, CNRS, VERIMAG

Verified email at univ-grenoble-alpes.fr - Homepage

Program analysis abstract interpretation decision procedures verified compilation


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A static analyzer for large safety-critical software B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, ... Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 2003	954	2003
The ASTRÉE analyzer P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, D Monniaux, X Rival Programming Languages and Systems: 14th European Symposium on Programming …, 2005	741	2005
Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, ... The essence of computation: complexity, analysis, transformation, 85-108, 2002	312	2002
The pitfalls of verifying floating-point computations D Monniaux ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (3), 1-41, 2008	304	2008
Combination of abstractions in the Astrée static analyzer P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, D Monniaux, X Rival Advances in Computer Science-ASIAN 2006. Secure Software and Related Issues …, 2007	193	2007
Abstract interpretation of probabilistic semantics D Monniaux International Static Analysis Symposium, 322-339, 2000	137	2000
Abstracting cryptographic protocols with tree automata D Monniaux International Static Analysis Symposium, 149-163, 1999	125	1999
Quantifier elimination by lazy model enumeration D Monniaux International Conference on Computer Aided Verification, 585-599, 2010	106	2010
Pagai: A path sensitive static analyser J Henry, D Monniaux, M Moy Electronic Notes in Theoretical Computer Science 289, 15-25, 2012	103	2012
Varieties of static analyzers: A comparison with ASTRÉE P Cousot, R Cousot, J Feret, M Antoine, L Mauborgne, D Monniaux, ... First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007	94	2007
A quantifier elimination algorithm for linear real arithmetic D Monniaux International Conference on Logic for Programming Artificial Intelligence …, 2008	92	2008
An abstract Monte-Carlo method for the analysis of probabilistic programs D Monniaux Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001	73	2001
Automatic modular abstractions for linear constraints DP Monniaux ACM SIGPLAN Notices 44 (1), 140-151, 2009	66	2009
Cell morphing: From array programs to array-free horn clauses D Monniaux, L Gonnord International Static Analysis Symposium, 361-382, 2016	59	2016
A survey of satisfiability modulo theory D Monniaux Computer Algebra in Scientific Computing: 18th International Workshop, CASC …, 2016	56	2016
An abstract analysis of the probabilistic termination of programs D Monniaux International Static Analysis Symposium, 111-126, 2001	56	2001
Abstracting cryptographic protocols with tree automata D Monniaux Science of Computer Programming 47 (2-3), 177-202, 2003	51	2003
Verification of device drivers and intelligent controllers: a case study D Monniaux Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007	49	2007
Abstract interpretation of programs as Markov decision processes D Monniaux Science of Computer Programming 58 (1-2), 179-205, 2005	49	2005
Efficient generation of correctness certificates for the abstract domain of polyhedra A Fouilhé, D Monniaux, M Périn International Static Analysis Symposium, 345-365, 2013	48	2013

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors