Pierre Ganty

Citado por

	Total	Desde 2016
Citas	975	452
Índice h	19	12
Índice i10	23	15

140

105

20032004200520062007200820092010201120122013201420152016201720182019202020213 14 17 21 24 27 32 32 48 58 67 74 84 125 97 64 64 78 24

Coautores

Rupak MajumdarMPI for Software SystemsDirección de correo verificada de mpi-sws.org
Javier EsparzaProfessor of Computer Science, Technical University of MunichDirección de correo verificada de in.tum.de
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Dirección de correo verificada de ulb.ac.be
Giorgio DelzannoAssociate Professor, Università di GenovaDirección de correo verificada de unige.it
Jerome LerouxCNRS researcher, LaBRI, FranceDirección de correo verificada de labri.fr
Benjamin MonmegeAssistant Professor, Aix-Marseille Université, Laboratoire d'Informatique et SystèmesDirección de correo verificada de univ-amu.fr
Radu IosifCNRS/VERIMAGDirección de correo verificada de imag.fr
Pedro ValeroIMDEA Software InstituteDirección de correo verificada de imdea.org
Samir GenaimUniversidad Complutense de MadridDirección de correo verificada de fdi.ucm.es
John P GallagherRoskilde UniversityDirección de correo verificada de ruc.dk
Bishoksan KafleResearch Fellow, The University of Melbourne, AustraliaDirección de correo verificada de unimelb.edu.au
Mohamed Faouzi AtigUppsala UniversityDirección de correo verificada de it.uu.se
Stefan KieferAssociate Professor, University of OxfordDirección de correo verificada de cs.ox.ac.uk
Alessandro ArmandoUniversity of GenovaDirección de correo verificada de unige.it
Luca CompagnaSAP Security ResearchDirección de correo verificada de sap.com
Antoine Durand-GasselinPost-doc, Université Aix-MarseilleDirección de correo verificada de lif.univ-mrs.fr
Patrick CousotProfessor of Computer Science, CIMS, New York UniversityDirección de correo verificada de cims.nyu.edu
Andrey RybalchenkoMicrosoft ResearchDirección de correo verificada de microsoft.com
Elena Gutiérrez ViedmaIMDEA Software Institute, Universidad Politécnica de Madrid (UPM)Dirección de correo verificada de imdea.org
Gilles GeeraertsAssociate Prof. of Computer Science, Université Libre de Bruxelles (ULB)Dirección de correo verificada de ulb.ac.be

Pierre Ganty

Associate Research Professor, IMDEA Software Institute

Dirección de correo verificada de imdea.org - Página principal

verification language theory automata theory


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Algorithmic verification of asynchronous programs P Ganty, R Majumdar ACM Transactions on Programming Languages and Systems 34 (1), 2012	87	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	54	2015
Parameterized Verification of Asynchronous Shared-Memory Systems J Esparza, P Ganty, R Majumdar International Conference on Computer Aided Verification 8044, 124-140, 2013	53	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	44	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	35	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	35	2009
A Perfect Model for Bounded Verification J Esparza, P Ganty, R Majumdar Symposium on Logic in Computer Science (LICS), 2012	32	2012
Bounded Underapproximations P Ganty, R Majumdar, B Monmege Formal Methods in System Design, 2012	27	2012
Approximating Petri Net Reachability Along Context-free Traces P Ganty, MF Atig IARCS Annual Conference on Foundations of Software Technology and …, 2011	27*	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	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	24*	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Subir PDF

Seguir a este autor

Citado por

Coautores