Obserwuj
Giorgio Delzanno
Giorgio Delzanno
Associate Professor, Università di Genova
Zweryfikowany adres z unige.it
Tytuł
Cytowane przez
Cytowane przez
Rok
Model checking in CLP
G Delzanno, A Podelski
International Conference on Tools and Algorithms for the Construction and …, 1999
2581999
Automatic verification of parameterized cache coherence protocols
G Delzanno
Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000
2312000
Parameterized verification of ad hoc networks
G Delzanno, A Sangnier, G Zavattaro
CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010
1292010
Regular model checking without transducers (on efficient verification of parameterized systems)
PA Abdulla, G Delzanno, NB Henda, A Rezine
Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007
1292007
Constraint-based deductive model checking
G Delzanno, A Podelski
International Journal on Software Tools for Technology Transfer 3 (3), 250-270, 2001
1252001
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
1202002
Constraint-based verification of parameterized cache coherence protocols
G Delzanno
Formal Methods in System Design 23, 257-301, 2003
1182003
Parameterized verification of infinite-state processes with global conditions
PA Abdulla, G Delzanno, A Rezine
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
1012007
Constraint-based analysis of broadcast protocols
G Delzanno, A Podelski, J Esparza
Computer Science Logic: 13th International Workshop, CSL’99 8th Annual …, 1999
721999
On the complexity of parameterized reachability in reconfigurable broadcast networks
G Delzanno, A Sangnier, R Traverso, G Zavattaro
712012
Automatic verification of time sensitive cryptographic protocols
G Delzanno, P Ganty
International Conference on Tools and Algorithms for the Construction and …, 2004
672004
On the power of cliques in the parameterized verification of ad hoc networks
G Delzanno, A Sangnier, G Zavattaro
Foundations of Software Science and Computational Structures: 14th …, 2011
662011
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
642016
Handling parameterized systems with non-atomic global conditions
PA Abdulla, N Ben Henda, G Delzanno, A Rezine
Verification, Model Checking, and Abstract Interpretation: 9th International …, 2008
532008
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 …, 2012
522012
Attacking symbolic state explosion
G Delzanno, JF Raskin, L Van Begin
International Conference on Computer Aided Verification, 298-310, 2001
472001
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: a 25-Year Perspective, 5-32, 1999
471999
Verification of ad hoc networks with node and communication failures
G Delzanno, A Sangnier, G Zavattaro
International Conference on Formal Methods for Open Object-Based Distributed …, 2012
462012
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, 268-297, 2004
432004
Symbolic representation of upward-closed sets
G Delzanno, JF Raskin
Tools and Algorithms for the Construction and Analysis of Systems: 6th …, 2000
432000
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20