David Monniaux

Cited by

	All	Since 2018
Citations	4390	1270
h-index	30	18
i10-index	53	33

300

150

225

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202329 29 47 85 133 97 187 176 217 223 214 266 237 284 273 274 288 282 250 222 243 200 73

Public access

View all

19 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, CIMS, 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
Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-AlpesVerified email at univ-grenoble-alpes.fr
claire maizaGrenobleINP / VerimagVerified email at univ-grenoble-alpes.fr
Julien HenryMathworksVerified email at mathworks.com
Sylvain BoulméUniversité Grenoble Alpes, VerimagVerified email at imag.fr
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 normalesup.org
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexVerified email at sussex.ac.uk
Tim KingGoogle IncVerified email at google.com
Nikolaj BjornerMicrosoft ResearchVerified email at cs.stanford.edu
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	928	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	712	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	303	2002
The pitfalls of verifying floating-point computations D Monniaux ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (3), 1-41, 2008	300	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	174	2007
Abstract interpretation of probabilistic semantics D Monniaux Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA …, 2000	131	2000
Abstracting cryptographic protocols with tree automata D Monniaux Static Analysis: 6th International Symposium, SAS’99 Venice, Italy …, 1999	126	1999
Pagai: A path sensitive static analyser J Henry, D Monniaux, M Moy Electronic Notes in Theoretical Computer Science 289, 15-25, 2012	99	2012
Quantifier elimination by lazy model enumeration D Monniaux Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010	93	2010
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	88	2007
A quantifier elimination algorithm for linear real arithmetic D Monniaux Logic for Programming, Artificial Intelligence, and Reasoning: 15th …, 2008	84	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	61	2009
Efficient generation of correctness certificates for the abstract domain of polyhedra A Fouilhé, D Monniaux, M Périn Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA …, 2013	50	2013
Abstract interpretation of programs as Markov decision processes D Monniaux Science of Computer Programming 58 (1-2), 179-205, 2005	50	2005
An abstract analysis of the probabilistic termination of programs D Monniaux Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July …, 2001	49	2001
Verification of device drivers and intelligent controllers: a case study D Monniaux Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007	48	2007
Abstracting cryptographic protocols with tree automata D Monniaux Science of Computer Programming 47 (2-3), 177-202, 2003	48	2003
Cell morphing: From array programs to array-free horn clauses D Monniaux, L Gonnord Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016	47	2016
Using Bounded Model Checking to Focus Fixpoint Iterations. D Monniaux, L Gonnord SAS 6887, 369-385, 2011	44	2011

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