Giorgio Delzanno
Giorgio Delzanno
Associate Professor, UniversitÓ di Genova
Email verificata su unige.it
Titolo
Citata da
Citata da
Anno
Model checking in CLP
G Delzanno, A Podelski
International Conference on Tools and Algorithms for the Construction andá…, 1999
2271999
Automatic verification of parameterized cache coherence protocols
G Delzanno
International Conference on Computer Aided Verification, 53-68, 2000
2132000
Constraint-based deductive model checking
G Delzanno, A Podelski
International Journal on Software Tools for Technology Transfer 3 (3), 250-270, 2001
1102001
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
1072007
Constraint-based verification of parameterized cache coherence protocols
G Delzanno
Formal Methods in System Design 23 (3), 257-301, 2003
1012003
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
992002
Parameterized verification of ad hoc networks
G Delzanno, A Sangnier, G Zavattaro
International Conference on Concurrency Theory, 313-327, 2010
952010
Parameterized verification of infinite-state processes with global conditions
PA Abdulla, G Delzanno, A Rezine
International Conference on Computer Aided Verification, 145-157, 2007
902007
Constraint-based analysis of broadcast protocols
G Delzanno, A Podelski, J Esparza
International Workshop on Computer Science Logic, 50-66, 1999
651999
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
542011
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
422012
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
422008
Beyond parameterized verification
M Bozzano, G Delzanno
International Conference on Tools and Algorithms for the Construction andá…, 2002
412002
On the complexity of parameterized reachability in reconfigurable broadcast networks
G Delzanno, A Sangnier, R Traverso, G Zavattaro
402012
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
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
372011
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 (2-3), 268-297, 2004
372004
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20