Giorgio Delzanno
Giorgio Delzanno
Associate Professor, Università di Genova
Bestätigte E-Mail-Adresse bei unige.it
Titel
Zitiert von
Zitiert von
Jahr
Model checking in CLP
G Delzanno, A Podelski
International Conference on Tools and Algorithms for the Construction and …, 1999
2361999
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
1122001
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
1112007
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
1062002
Constraint-based verification of parameterized cache coherence protocols
G Delzanno
Formal Methods in System Design 23 (3), 257-301, 2003
1052003
Parameterized verification of ad hoc networks
G Delzanno, A Sangnier, G Zavattaro
International Conference on Concurrency Theory, 313-327, 2010
1002010
Parameterized verification of infinite-state processes with global conditions
PA Abdulla, G Delzanno, A Rezine
International Conference on Computer Aided Verification, 145-157, 2007
892007
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
632004
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
582011
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
462012
On the complexity of parameterized reachability in reconfigurable broadcast networks
G Delzanno, A Sangnier, R Traverso, G Zavattaro
452012
Beyond parameterized verification
M Bozzano, G Delzanno
International Conference on Tools and Algorithms for the Construction and …, 2002
432002
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
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
Attacking symbolic state explosion
G Delzanno, JF Raskin, L Van Begin
International Conference on Computer Aided Verification, 298-310, 2001
412001
Verification of ad hoc networks with node and communication failures
G Delzanno, A Sangnier, G Zavattaro
Formal Techniques for Distributed Systems, 235-250, 2012
402012
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
382016
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20