Follow
Giorgio Delzanno
Giorgio Delzanno
Associate Professor, UniversitÓ di Genova
Verified email at unige.it
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
2461999
Automatic verification of parameterized cache coherence protocols
G Delzanno
Computer Aided Verification: 12th International Conference, CAV 2000á…, 2000
2242000
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
1232007
Constraint-based deductive model checking
G Delzanno, A Podelski
International Journal on Software Tools for Technology Transfer 3, 250-270, 2001
1172001
Parameterized verification of ad hoc networks
G Delzanno, A Sangnier, G Zavattaro
CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010á…, 2010
1152010
Constraint-based verification of parameterized cache coherence protocols
G Delzanno
Formal Methods in System Design 23, 257-301, 2003
1152003
Towards the automated verification of multithreaded Java programs
G Delzanno, JF Raskin, L Van Begin
TACAS 2, 173-187, 2002
1152002
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
952007
Constraint-based analysis of broadcast protocols
G Delzanno, A Podelski, J Esparza
Computer Science Logic: 13th International Workshop, CSL’99 8th Annualá…, 1999
691999
Automatic verification of time sensitive cryptographic protocols
G Delzanno, P Ganty
Tools and Algorithms for the Construction and Analysis of Systems: 10thá…, 2004
652004
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
612011
On the complexity of parameterized reachability in reconfigurable broadcast networks
G Delzanno, A Sangnier, R Traverso, G Zavattaro
552012
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
522012
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
472008
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
452012
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
441999
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
432016
Attacking symbolic state explosion
G Delzanno, JF Raskin, L Van Begin
Computer Aided Verification: 13th International Conference, CAV 2001 Parisá…, 2001
432001
Beyond parameterized verification
M Bozzano, G Delzanno
Tools and Algorithms for the Construction and Analysis of Systems: 8thá…, 2002
422002
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
392011
The system can't perform the operation now. Try again later.
Articles 1–20