Pierre Ganty

Cited by

	All	Since 2016
Citations	988	464
h-index	19	12
i10-index	23	15

140

105

20032004200520062007200820092010201120122013201420152016201720182019202020213 14 17 21 24 27 32 33 48 58 67 74 84 125 97 64 64 77 37

Public access

View all

20 articles

0 articles

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
Giorgio DelzannoAssociate Professor, Università di GenovaVerified email at unige.it
Jerome LerouxCNRS researcher, LaBRI, FranceVerified email at labri.fr
Benjamin MonmegeAssistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et SystèmesVerified email at univ-amu.fr
Pedro ValeroIMDEA Software InstituteVerified email at imdea.org
Radu IosifCNRS/VERIMAGVerified email at imag.fr
Samir GenaimUniversidad Complutense de MadridVerified email at fdi.ucm.es
John P GallagherRoskilde UniversityVerified email at ruc.dk
Bishoksan KafleResearch Fellow, The University of Melbourne, AustraliaVerified email at unimelb.edu.au
Mohamed Faouzi AtigUppsala UniversityVerified email at it.uu.se
Stefan KieferAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Alessandro ArmandoUniversity of GenovaVerified email at unige.it
Luca CompagnaSAP Security ResearchVerified email at sap.com
Antoine Durand-GasselinPost-doc, Université Aix-MarseilleVerified email at lif.univ-mrs.fr
Patrick CousotProfessor of Computer Science, CIMS, New York UniversityVerified email at cims.nyu.edu
Andrey RybalchenkoMicrosoft ResearchVerified email at microsoft.com
Elena Gutiérrez ViedmaIMDEA Software Institute, Universidad Politécnica de Madrid (UPM)Verified email at imdea.org
Gilles GeeraertsAssociate Prof. of Computer Science, Université Libre de Bruxelles (ULB)Verified email at ulb.ac.be

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	88	2012
Automatic verification of time sensitive cryptographic protocols G Delzanno, P Ganty International Conference on Tools and Algorithms for the Construction and …, 2004	63	2004
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	62	2011
Verification of Population Protocols J Esparza, P Ganty, J Leroux, R Majumdar 26th International Conference on Concurrency Theory (CONCUR 2015) 42, 470-482, 2015	55	2015
Parameterized Verification of Asynchronous Shared-Memory Systems J Esparza, P Ganty, R Majumdar International Conference on Computer Aided Verification 8044, 124-140, 2013	54	2013
SAT-based model-checking of security protocols using planning graph analysis A Armando, L Compagna, P Ganty International Symposium of Formal Methods Europe, 875-893, 2003	50	2003
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	48	2006
Fixpoint-guided abstraction refinements P Cousot, P Ganty, JF Raskin International Static Analysis Symposium, 333-348, 2007	45	2007
Complexity of pattern-based verification for multithreaded programs J Esparza, P Ganty ACM SIGPLAN Notices 46 (1), 499-510, 2011	43	2011
Proving termination starting from the end P Ganty, S Genaim International Conference on Computer Aided Verification, 397-412, 2013	37	2013
Complexity analysis of the backward coverability algorithm for VASS L Bozzelli, P Ganty International Workshop on Reachability Problems, 96-109, 2011	36	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	36	2009
A Perfect Model for Bounded Verification J Esparza, P Ganty, R Majumdar Symposium on Logic in Computer Science (LICS), 2012	32	2012
Approximating Petri Net Reachability Along Context-free Traces P Ganty, MF Atig IARCS Annual Conference on Foundations of Software Technology and …, 2011	29*	2011
Bounded Underapproximations P Ganty, R Majumdar, B Monmege Formal Methods in System Design, 2012	27	2012
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	26	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	25	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	25*	2013
Bounded underapproximations P Ganty, R Majumdar, B Monmege International Conference on Computer Aided Verification, 600-614, 2010	23	2010
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	19*	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

Upload PDF

Follow this author

Cited by

Co-authors