Giorgio Delzanno

Cited by

	All	Since 2018
Citations	3087	619
h-index	30	14
i10-index	67	22

220

110

165

199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202311 13 4 38 57 68 102 86 161 108 96 166 133 164 140 104 170 175 155 145 214 109 120 129 97 152 101 19

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
Maurizio MartelliUniversity of GenovaVerified email at unige.it
Marco BozzanoFondazione Bruno KesslerVerified email at fbk.eu
Ahmed RezineLinköping UniversityVerified email at liu.se
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Giovanna GuerriniUniversità di GenovaVerified email at unige.it
Viviana MascardiAssociate Professor, University of Genova, ItalyVerified email at unige.it
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Maurizio GabbrielliProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Floriano ZiniFree University of Bozen-BolzanoVerified email at unibz.it
Pierre GantyAssociate Research Professor, IMDEA Software InstituteVerified email at imdea.org
Javier EsparzaProfessor of Computer Science, Technical University of MunichVerified email at in.tum.de
Marco MontaliFull Professor, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaVerified email at unive.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikVerified email at uni-due.de
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verified email at inf.unibz.it
Luigi LiquoriDirecteur de Recherche INRIAVerified email at inria.fr
Bianca FedericiUniversity of Genova, ItalyVerified email at unige.it
Tevfik BultanProfessor of Computer Science, University of California, Santa BarbaraVerified email at cs.ucsb.edu

Giorgio Delzanno

Associate Professor, Università di Genova

Verified email at unige.it

Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Model checking in CLP G Delzanno, A Podelski Tools and Algorithms for the Construction and Analysis of Systems: 5th …, 1999	246	1999
Automatic verification of parameterized cache coherence protocols G Delzanno Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000	224	2000
Regular model checking without transducers (on efficient verification of parameterized systems) PA Abdulla, G Delzanno, NB Henda, A Rezine Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007	123	2007
Constraint-based deductive model checking G Delzanno, A Podelski International Journal on Software Tools for Technology Transfer 3, 250-270, 2001	117	2001
Parameterized verification of ad hoc networks G Delzanno, A Sangnier, G Zavattaro CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010	115	2010
Constraint-based verification of parameterized cache coherence protocols G Delzanno Formal Methods in System Design 23, 257-301, 2003	115	2003
Towards the automated verification of multithreaded Java programs G Delzanno, JF Raskin, L Van Begin TACAS 2, 173-187, 2002	115	2002
Parameterized verification of infinite-state processes with global conditions PA Abdulla, G Delzanno, A Rezine Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007	94	2007
Constraint-based analysis of broadcast protocols G Delzanno, A Podelski, J Esparza Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999	69	1999
Automatic verification of time sensitive cryptographic protocols G Delzanno, P Ganty Tools and Algorithms for the Construction and Analysis of Systems: 10th …, 2004	65	2004
On the power of cliques in the parameterized verification of ad hoc networks G Delzanno, A Sangnier, G Zavattaro Foundations of Software Science and Computational Structures: 14th …, 2011	61	2011
On the complexity of parameterized reachability in reconfigurable broadcast networks G Delzanno, A Sangnier, R Traverso, G Zavattaro	55	2012
On the decidability status of reachability and coverability in graph transformation systems N Bertrand, G Delzanno, B König, A Sangnier, J Stückrath 23rd International Conference on Rewriting Techniques and Applications (RTA'12), 2012	52	2012
Handling parameterized systems with non-atomic global conditions PA Abdulla, N Ben Henda, G Delzanno, A Rezine Verification, Model Checking, and Abstract Interpretation: 9th International …, 2008	47	2008
Verification of ad hoc networks with node and communication failures G Delzanno, A Sangnier, G Zavattaro Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 …, 2012	45	2012
Logic Programming and Multi-Agent Systems: A synergic combination for applications and semantics M Bozzano, G Delzanno, M Martelli, V Mascardi, F Zini The Logic Programming Paradigm: a 25-Year Perspective, 5-32, 1999	44	1999
Attacking symbolic state explosion G Delzanno, JF Raskin, L Van Begin Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	43	2001
Parameterized verification through view abstraction P Abdulla, F Haziza, L Holík International Journal on Software Tools for Technology Transfer 18 (5), 495-516, 2016	42	2016
Beyond parameterized verification M Bozzano, G Delzanno Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002	42	2002
On the verification of timed ad hoc networks PA Abdulla, G Delzanno, O Rezine, A Sangnier, R Traverso Formal Modeling and Analysis of Timed Systems: 9th International Conference …, 2011	39	2011

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