Giorgio Delzanno

Citado por

	Total	Desde 2019
Citas	3296	729
Índice h	32	15
Índice i10	72	29

220

110

165

1996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202412 10 4 40 55 71 96 86 159 104 97 159 133 159 143 102 168 177 155 135 216 111 117 128 95 147 102 115 135

Acceso público

Ver todo

5 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Parosh AbdullaProfessor of Computer Science, Uppsala UniversityDirección de correo verificada de it.uu.se
Maurizio MartelliUniversity of GenovaDirección de correo verificada de unige.it
Giovanna GuerriniUniversità di GenovaDirección de correo verificada de unige.it
Ahmed RezineLinköping UniversityDirección de correo verificada de liu.se
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityDirección de correo verificada de informatik.uni-freiburg.de
Marco BozzanoFondazione Bruno KesslerDirección de correo verificada de fbk.eu
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaDirección de correo verificada de cs.unibo.it
Viviana MascardiAssociate Professor, University of Genova, ItalyDirección de correo verificada de unige.it
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Dirección de correo verificada de ulb.ac.be
Maurizio GabbrielliProfessor of Computer Science, University of BolognaDirección de correo verificada de cs.unibo.it
Floriano ZiniFree University of Bozen-BolzanoDirección de correo verificada de unibz.it
Pierre GantyAssociate Research Professor, IMDEA Software InstituteDirección de correo verificada de imdea.org
Javier EsparzaProfessor of Computer Science, Technical University of MunichDirección de correo verificada de in.tum.de
Marco MontaliFull Professor in Computer Engineering, Free University of Bozen-BolzanoDirección de correo verificada de inf.unibz.it
Michele BugliesiProfessor of Computer Science, Universita' Ca' Foscari VeneziaDirección de correo verificada de unive.it
Barbara KönigUniversität Duisburg-Essen, Theoretische InformatikDirección de correo verificada de uni-due.de
Bianca FedericiUniversity of Genova, ItalyDirección de correo verificada de unige.it
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Dirección de correo verificada de unibz.it
Luigi LiquoriDirecteur de Recherche INRIADirección de correo verificada de inria.fr
Yu-Fang ChenResearch Fellow/Professor, Academia SinicaDirección de correo verificada de iis.sinica.edu.tw

Seguir

Giorgio Delzanno

Associate Professor, Università di Genova

Dirección de correo verificada de unige.it

Computer Science


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Model checking in CLP G Delzanno, A Podelski International Conference on Tools and Algorithms for the Construction and …, 1999	252	1999
Automatic verification of parameterized cache coherence protocols G Delzanno Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000	227	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	126	2007
Parameterized verification of ad hoc networks G Delzanno, A Sangnier, G Zavattaro CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010	121	2010
Constraint-based deductive model checking G Delzanno, A Podelski International Journal on Software Tools for Technology Transfer 3, 250-270, 2001	121	2001
Towards the automated verification of multithreaded Java programs G Delzanno, JF Raskin, L Van Begin International Conference on Tools and Algorithms for the Construction and …, 2002	119	2002
Constraint-based verification of parameterized cache coherence protocols G Delzanno Formal Methods in System Design 23, 257-301, 2003	116	2003
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	99	2007
Constraint-based analysis of broadcast protocols G Delzanno, A Podelski, J Esparza Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999	70	1999
Automatic verification of time sensitive cryptographic protocols G Delzanno, P Ganty International Conference on Tools and Algorithms for the Construction and …, 2004	66	2004
On the complexity of parameterized reachability in reconfigurable broadcast networks G Delzanno, A Sangnier, R Traverso, G Zavattaro	64	2012
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
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	60	2016
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 …, 2012	50	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	50	2008
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	47	1999
Attacking symbolic state explosion G Delzanno, JF Raskin, L Van Begin Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001	46	2001
Verification of ad hoc networks with node and communication failures G Delzanno, A Sangnier, G Zavattaro International Conference on Formal Methods for Open Object-Based Distributed …, 2012	45	2012
Covering sharing trees: a compact data structure for parameterized verification G Delzanno, JF Raskin, L Van Begin International journal on software tools for technology transfer 5, 268-297, 2004	41	2004
Beyond parameterized verification M Bozzano, G Delzanno International Conference on Tools and Algorithms for the Construction and …, 2002	41	2002

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

Seguir

Citado por

Coautores