Pierre Ganty

Cited by

	All	Since 2019
Citations	1290	475
h-index	20	11
i10-index	30	15

140

105

20042005200620072008200920102011201220132014201520162017201820192020202120222023202414 17 23 25 27 29 28 47 59 66 77 85 126 103 63 62 79 114 76 92 52

Public access

View all

22 articles

1 article

available

not available

Based on funding mandates

Co-authors

Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Javier EsparzaProfessor of Computer Science, Technical University of MunichVerified email at in.tum.de
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Francesco RanzatoProfessor of Computer Science, University of Padova, ItalyVerified email at math.unipd.it
Pedro ValeroMeta Platforms, Inc.Verified email at fb.com
Jerome LerouxCNRS researcher, LaBRI, FranceVerified email at labri.fr
Giorgio DelzannoAssociate Professor, Università di GenovaVerified email at unige.it
Stefan KieferProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Radu IosifCNRS/VERIMAGVerified email at imag.fr
Boris KöpfAzure Research, MicrosoftVerified email at microsoft.com
Benjamin MonmegeAssistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et SystèmesVerified email at univ-amu.fr
Elena Gutiérrez ViedmaIMDEA Software Institute, Universidad Politécnica de Madrid (UPM)Verified email at imdea.org
John P GallagherRoskilde UniversityVerified email at ruc.dk
Bishoksan KafleResearch Fellow, The University of Melbourne, AustraliaVerified email at unimelb.edu.au
Samir GenaimUniversidad Complutense de MadridVerified email at fdi.ucm.es
Antoine Durand-GasselinPost-doc, Université Aix-MarseilleVerified email at lif.univ-mrs.fr
Alessandro ArmandoUniversity of GenovaVerified email at unige.it
Luca CompagnaSAP Security ResearchVerified email at sap.com
Patrick CousotProfessor of Computer Science, Courant Institute of Mathematical Sciences, New York UniversityVerified email at cims.nyu.edu
Marco GuarnieriAssistant Research Professor, IMDEA Software InstituteVerified email at imdea.org

Pierre Ganty

Associate Research Professor, IMDEA Software Institute

Verified email at imdea.org - Homepage

verification language theory automata theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Algorithmic verification of asynchronous programs P Ganty, R Majumdar ACM Transactions on Programming Languages and Systems 34 (1), 2012	115	2012
Verification of Population Protocols J Esparza, P Ganty, J Leroux, R Majumdar 26th International Conference on Concurrency Theory (CONCUR 2015) 42, 470-482, 2015	84	2015
Parameterized Verification of Asynchronous Shared-Memory Systems J Esparza, P Ganty, R Majumdar International Conference on Computer Aided Verification 8044, 124-140, 2013	80	2013
Parikhʼs theorem: A simple and direct automaton construction J Esparza, P Ganty, S Kiefer, M Luttenberger Information Processing Letters 111 (12), 614-619, 2011	73	2011
Automatic verification of time sensitive cryptographic protocols G Delzanno, P Ganty International Conference on Tools and Algorithms for the Construction and …, 2004	66	2004
A complete abstract interpretation framework for coverability properties of WSTS P Ganty, JF Raskin, L Van Begin International Workshop on Verification, Model Checking, and Abstract …, 2006	52	2006
SAT-based model-checking of security protocols using planning graph analysis A Armando, L Compagna, P Ganty FME 2003: Formal Methods: International Symposium of Formal Methods Europe …, 2003	51	2003
Complexity analysis of the backward coverability algorithm for VASS L Bozzelli, P Ganty International Workshop on Reachability Problems, 96-109, 2011	49	2011
CacheQuery: learning replacement policies from hardware caches P Vila, P Ganty, M Guarnieri, B Köpf Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020	48	2020
Bounded Underapproximations P Ganty, R Majumdar, B Monmege Formal Methods in System Design, 2012	48	2012
Fixpoint-guided abstraction refinements P Cousot, P Ganty, JF Raskin International Static Analysis Symposium, 333-348, 2007	48	2007
Complexity of pattern-based verification for multithreaded programs J Esparza, P Ganty ACM SIGPLAN Notices 46 (1), 499-510, 2011	44	2011
Verifying liveness for asynchronous programs P Ganty, R Majumdar, A Rybalchenko Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2009	41	2009
Proving termination starting from the end P Ganty, S Genaim Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	37	2013
A Perfect Model for Bounded Verification J Esparza, P Ganty, R Majumdar Symposium on Logic in Computer Science (LICS), 2012	36	2012
Approximating Petri Net Reachability Along Context-free Traces P Ganty, MF Atig IARCS Annual Conference on Foundations of Software Technology and …, 2011	35	2011
From many places to few: Automatic abstraction refinement for Petri nets P Ganty, JF Raskin, L Van Begin Fundamenta Informaticae 88 (3), 275-305, 2008	35	2008
Pattern-based verification for multithreaded programs J Esparza, P Ganty, T Poch ACM Transactions on Programming Languages and Systems (TOPLAS) 36 (3), 1-29, 2014	30	2014
Underapproximation of procedure summaries for integer programs P Ganty, R Iosif, F Konečný International Conference on Tools and Algorithms for the Construction and …, 2013	27*	2013
Symbolic data structure for sets of k-uples P Ganty, C Meuter, G Delzanno, G Kalyon, JF Raskin, L Van Begin Technical report, Université Libre de Bruxelles, 2007	22*	2007

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