Giorgio Delzanno
Giorgio Delzanno
Associate Professor, UniversitÓ di Genova
Email verificata su unige.it
TitoloCitata daAnno
Model checking in CLP
G Delzanno, A Podelski
International Conference on Tools and Algorithms for the Construction andá…, 1999
2251999
Automatic verification of parameterized cache coherence protocols
G Delzanno
International Conference on Computer Aided Verification, 53-68, 2000
2122000
Constraint-based deductive model checking
G Delzanno, A Podelski
International Journal on Software Tools for Technology Transfer 3 (3), 250-270, 2001
1082001
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
1042007
Constraint-based verification of parameterized cache coherence protocols
G Delzanno
Formal Methods in System Design 23 (3), 257-301, 2003
992003
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
962002
Parameterized verification of ad hoc networks
G Delzanno, A Sangnier, G Zavattaro
International Conference on Concurrency Theory, 313-327, 2010
922010
Parameterized verification of infinite-state processes with global conditions
PA Abdulla, G Delzanno, A Rezine
International Conference on Computer Aided Verification, 145-157, 2007
882007
Constraint-based analysis of broadcast protocols
G Delzanno, A Podelski, J Esparza
International Workshop on Computer Science Logic, 50-66, 1999
611999
Automatic verification of time sensitive cryptographic protocols
G Delzanno, P Ganty
International Conference on Tools and Algorithms for the Construction andá…, 2004
602004
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
552011
On the complexity of parameterized reachability in reconfigurable broadcast networks
G Delzanno, A Sangnier, R Traverso, G Zavattaro
412012
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
402012
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
402008
Beyond parameterized verification
M Bozzano, G Delzanno
International Conference on Tools and Algorithms for the Construction andá…, 2002
392002
Attacking symbolic state explosion
G Delzanno, JF Raskin, L Van Begin
International Conference on Computer Aided Verification, 298-310, 2001
392001
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
391999
Verification of ad hoc networks with node and communication failures
G Delzanno, A Sangnier, G Zavattaro
Formal Techniques for Distributed Systems, 235-250, 2012
372012
Symbolic representation of upward-closed sets
G Delzanno, JF Raskin
International Conference on Tools and Algorithms for the Construction andá…, 2000
372000
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
362011
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20