Giorgio Delzanno
Giorgio Delzanno
Associate Professor, Università di Genova
確認したメール アドレス: unige.it
タイトル
引用先
引用先
Model checking in CLP
G Delzanno, A Podelski
International Conference on Tools and Algorithms for the Construction and …, 1999
2381999
Automatic verification of parameterized cache coherence protocols
G Delzanno
International Conference on Computer Aided Verification, 53-68, 2000
2172000
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
1152007
Constraint-based deductive model checking
G Delzanno, A Podelski
International Journal on Software Tools for Technology Transfer 3 (3), 250-270, 2001
1102001
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
1082002
Constraint-based verification of parameterized cache coherence protocols
G Delzanno
Formal Methods in System Design 23 (3), 257-301, 2003
1072003
Parameterized verification of ad hoc networks
G Delzanno, A Sangnier, G Zavattaro
International Conference on Concurrency Theory, 313-327, 2010
1062010
Parameterized verification of infinite-state processes with global conditions
PA Abdulla, G Delzanno, A Rezine
International Conference on Computer Aided Verification, 145-157, 2007
912007
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
622004
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 complexity of parameterized reachability in reconfigurable broadcast networks
G Delzanno, A Sangnier, R Traverso, G Zavattaro
472012
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
472012
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
442008
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
Beyond parameterized verification
M Bozzano, G Delzanno
International Conference on Tools and Algorithms for the Construction and …, 2002
432002
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
431999
Verification of ad hoc networks with node and communication failures
G Delzanno, A Sangnier, G Zavattaro
Formal Techniques for Distributed Systems, 235-250, 2012
412012
Attacking symbolic state explosion
G Delzanno, JF Raskin, L Van Begin
International Conference on Computer Aided Verification, 298-310, 2001
412001
On the verification of timed ad hoc networks
PA Abdulla, G Delzanno, O Rezine, A Sangnier, R Traverso
International Conference on Formal Modeling and Analysis of Timed Systems …, 2011
372011
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20