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
International Conference on Tools and Algorithms for the Construction andá…, 1999
2391999
Automatic verification of parameterized cache coherence protocols
G Delzanno
International Conference on Computer Aided Verification, 53-68, 2000
2192000
Regular model checking without transducers (on efficient verification of parameterized systems)
PA Abdulla, G Delzanno, NB Henda, A Rezine
International Conference on Tools and Algorithms for the Construction andá…, 2007
1202007
Towards the automated verification of multithreaded Java programs
G Delzanno, JF Raskin, LV Begin
International Conference on Tools and Algorithms for the Construction andá…, 2002
1132002
Constraint-based deductive model checking
G Delzanno, A Podelski
International Journal on Software Tools for Technology Transfer 3 (3), 250-270, 2001
1132001
Parameterized verification of ad hoc networks
G Delzanno, A Sangnier, G Zavattaro
International Conference on Concurrency Theory, 313-327, 2010
1112010
Constraint-based verification of parameterized cache coherence protocols
G Delzanno
Formal Methods in System Design 23 (3), 257-301, 2003
1102003
Parameterized verification of infinite-state processes with global conditions
PA Abdulla, G Delzanno, A Rezine
International Conference on Computer Aided Verification, 145-157, 2007
962007
Constraint-based analysis of broadcast protocols
G Delzanno, A Podelski, J Esparza
International Workshop on Computer Science Logic, 50-66, 1999
671999
Automatic verification of time sensitive cryptographic protocols
G Delzanno, P Ganty
International Conference on Tools and Algorithms for the Construction andá…, 2004
642004
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
592016
On the power of cliques in the parameterized verification of ad hoc networks
G Delzanno, A Sangnier, G Zavattaro
International Conference on Foundations of Software Science andá…, 2011
592011
On the complexity of parameterized reachability in reconfigurable broadcast networks
G Delzanno, A Sangnier, R Traverso, G Zavattaro
522012
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
512012
Handling parameterized systems with non-atomic global conditions
PA Abdulla, NB Henda, G Delzanno, A Rezine
International Workshop on Verification, Model Checking, and Abstractá…, 2008
462008
Verification of ad hoc networks with node and communication failures
G Delzanno, A Sangnier, G Zavattaro
Formal Techniques for Distributed Systems, 235-250, 2012
422012
Beyond parameterized verification
M Bozzano, G Delzanno
International Conference on Tools and Algorithms for the Construction andá…, 2002
422002
Attacking symbolic state explosion
G Delzanno, JF Raskin, LV Begin
International Conference on Computer Aided Verification, 298-310, 2001
422001
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, 5-32, 1999
421999
A classification of the expressive power of well-structured transition systems
PA Abdulla, G Delzanno, L Van Begin
Information and computation 209 (3), 248-279, 2011
382011
The system can't perform the operation now. Try again later.
Articles 1–20