David Monniaux

Dikutip oleh

	Semua	Sejak 2020
Kutipan	4782	1217
indeks-h	31	17
indeks-i10	63	35

280

140

210

200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202528 28 47 84 139 98 185 174 216 222 204 258 234 277 256 271 273 278 235 220 253 194 270 244 36

Akses publik

Lihat semua

22 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Xavier RivalDirecteur de Recherche, INRIAEmail yang diverifikasi di inria.fr
Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityEmail yang diverifikasi di cims.nyu.edu
Antoine MinéSorbonne Université, LIP6, APREmail yang diverifikasi di lip6.fr
Jérôme FeretChargé de recherche, Inria ParisEmail yang diverifikasi di inria.fr
Sylvain BoulméUniversité Grenoble Alpes, VerimagEmail yang diverifikasi di imag.fr
Bruno BlanchetSenior researcher, INRIA, ParisEmail yang diverifikasi di inria.fr
Laure GonnordUniversity of Lyon - LIPEmail yang diverifikasi di ens-lyon.fr
claire maizaUniv. Grenoble Alpes, GrenobleINP / VerimagEmail yang diverifikasi di univ-grenoble-alpes.fr
Michaël PÉRINAssistant professor, VERIMAG / Univ. Grenoble-AlpesEmail yang diverifikasi di univ-grenoble-alpes.fr
Julien HenryMathworksEmail yang diverifikasi di mathworks.com
Matthieu MoyUniversité Claude Bernard Lyon 1, LIPEmail yang diverifikasi di univ-lyon1.fr
Jan ReinekeProfessor of Computer Science, Saarland University, Saarland Informatics CampusEmail yang diverifikasi di cs.uni-saarland.de
George KarpenkovVERIMAGEmail yang diverifikasi di metaworld.me
Hang YUVerimagEmail yang diverifikasi di inf.ethz.ch
Francesco AlbertiEolo SpAEmail yang diverifikasi di eolo.it
Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesEmail yang diverifikasi di cnrs.fr
Peter SchrammelDiffblue Ltd & Lecturer in Computer Science, University of SussexEmail yang diverifikasi di diffblue.com
Nikolaj BjornerMicrosoft ResearchEmail yang diverifikasi di cs.stanford.edu
Tim KingAmazonEmail yang diverifikasi di amazon.com
Diego Caminha B de OliveiraFormer Postdoctoral Researcher, University of Utah and Verimag/CNRSEmail yang diverifikasi di cs.utah.edu

Ikuti

David Monniaux

Researcher in computer science, CNRS, VERIMAG

Email yang diverifikasi di univ-grenoble-alpes.fr - Beranda

Program analysis abstract interpretation decision procedures verified compilation


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	964	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	755	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	313	2002
The pitfalls of verifying floating-point computations D Monniaux ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (3), 1-41, 2008	311	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	197	2007
Abstract interpretation of probabilistic semantics D Monniaux International Static Analysis Symposium, 322-339, 2000	138	2000
Abstracting cryptographic protocols with tree automata D Monniaux International Static Analysis Symposium, 149-163, 1999	127	1999
Quantifier elimination by lazy model enumeration D Monniaux International Conference on Computer Aided Verification, 585-599, 2010	108	2010
Pagai: A path sensitive static analyser J Henry, D Monniaux, M Moy Electronic Notes in Theoretical Computer Science 289, 15-25, 2012	104	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	95	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	74	2001
Automatic modular abstractions for linear constraints DP Monniaux ACM SIGPLAN Notices 44 (1), 140-151, 2009	67	2009
Cell morphing: From array programs to array-free horn clauses D Monniaux, L Gonnord International Static Analysis Symposium, 361-382, 2016	61	2016
A survey of satisfiability modulo theory D Monniaux Computer Algebra in Scientific Computing: 18th International Workshop, CASC …, 2016	61	2016
An abstract analysis of the probabilistic termination of programs D Monniaux International Static Analysis Symposium, 111-126, 2001	58	2001
Verification of device drivers and intelligent controllers: a case study D Monniaux Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007	51	2007
Abstracting cryptographic protocols with tree automata D Monniaux Science of Computer Programming 47 (2-3), 177-202, 2003	51	2003
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	49	2013
Abstract interpretation of programs as Markov decision processes D Monniaux Science of Computer Programming 58 (1-2), 179-205, 2005	49	2005

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama