David Monniaux

Citée par

	Toutes	Depuis 2018
Citations	4340	1223
indice h	30	18
indice i10	53	32

300

150

225

2001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202330 29 47 85 134 94 187 176 218 223 215 265 242 284 272 274 282 279 251 222 239 200 32

Accès public

Tout afficher

18 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Xavier RivalDirecteur de Recherche, INRIAAdresse e-mail validée de inria.fr
Patrick CousotProfessor of Computer Science, CIMS, New York UniversityAdresse e-mail validée de cims.nyu.edu
Antoine MinéSorbonne Université, LIP6, APRAdresse e-mail validée de lip6.fr
Jérôme FeretChargé de recherche, Inria ParisAdresse e-mail validée de inria.fr
Bruno BlanchetSenior researcher, INRIA ParisAdresse e-mail validée de inria.fr
Laure GonnordUniversity of Lyon - LIPAdresse e-mail validée de ens-lyon.fr
Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-AlpesAdresse e-mail validée de univ-grenoble-alpes.fr
claire maizaGrenobleINP / VerimagAdresse e-mail validée de univ-grenoble-alpes.fr
Julien HenryMathworksAdresse e-mail validée de mathworks.com
Sylvain BoulméUniversité Grenoble Alpes, VerimagAdresse e-mail validée de imag.fr
Matthieu MoyUniversité Claude Bernard Lyon 1, LIPAdresse e-mail validée de univ-lyon1.fr
Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusAdresse e-mail validée de cs.uni-saarland.de
George KarpenkovVERIMAGAdresse e-mail validée de metaworld.me
Francesco AlbertiEolo SpAAdresse e-mail validée de eolo.it
Hang YUVerimagAdresse e-mail validée de inf.ethz.ch
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesAdresse e-mail validée de normalesup.org
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexAdresse e-mail validée de sussex.ac.uk
Tim KingGoogle IncAdresse e-mail validée de google.com
Nikolaj BjornerMicrosoft ResearchAdresse e-mail validée de cs.stanford.edu
Martin BodinInriaAdresse e-mail validée de ens-lyon.org

Suivre

David Monniaux

Researcher in computer science, CNRS, VERIMAG

Adresse e-mail validée de univ-grenoble-alpes.fr - Page d'accueil

Program analysis abstract interpretation decision procedures verified compilation


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	913	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	705	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	302	2002
The pitfalls of verifying floating-point computations D Monniaux ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (3), 1-41, 2008	298	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	170	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	97	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
Abstracting cryptographic protocols with tree automata D Monniaux Science of Computer Programming 47 (2-3), 177-202, 2003	48	2003
An abstract analysis of the probabilistic termination of programs D Monniaux Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July …, 2001	48	2001
Verification of device drivers and intelligent controllers: a case study D Monniaux Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007	46	2007
Cell morphing: From array programs to array-free horn clauses D Monniaux, L Gonnord Static Analysis: 23rd International Symposium, SAS 2016, Edinburgh, UK …, 2016	45	2016
Using Bounded Model Checking to Focus Fixpoint Iterations. D Monniaux, L Gonnord SAS 6887, 369-385, 2011	44	2011

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs