DELZANNO, GIORGIO
DELZANNO, GIORGIO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A Biologically Inspired Model with Fusion and Clonation of Membranes
2008-01-01 Delzanno, Giorgio; L., Van Begin
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations
2009-01-01 Abdulla, P; Delzanno, Giorgio; VAN BEGIN, L.
Algorithmic Verification of Invalidation-Based Protocols
2002-01-01 M., Bozzano; Delzanno, Giorgio
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs
2001-01-01 M., Bozzano; Delzanno, Giorgio; Martelli, Maurizio
APCSE'20 Workshop Chairs' Welcome
2020-01-01 Delzanno, G.; Guerrini, G.; Traversaro, D.
Approximated Context-Sensitive Analysis for Parameterized Verification.
2009-01-01 Abdulla, P; Delzanno, Giorgio; Rezine, A.
Attacking Symbolic State Explosion
2001-01-01 Delzanno, Giorgio; J. F., Raskin; L., Van Begin
Automatic Verification of Directory-Based Consistency Protocols
2009-01-01 Abdulla, P; Delzanno, Giorgio; Rezine, A.
Automatic Verification of Parameterized Cache Coherence Protocols
2000-01-01 Delzanno, Giorgio
Automatic Verification of Time Sensitive Cryptographic Protocols
2004-01-01 Delzanno, Giorgio; P., Ganty
Beyond Parameterized Verification
2002-01-01 M., Bozzano; Delzanno, Giorgio
Coding Maps: A Distance Laboratory on Computational Thinking Inspired by Modal Logic
2023-01-01 Delzanno, G.; Ferrando, A.; Guerrini, G.; Pusceddu, M.; Zanone, G.
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets
2001-01-01 Carvajal Schiaffino, R.; Delzanno, Giorgio; Chiola, G.
Comparing the Expressive Power of Well-Structured Transition Systems
2007-01-01 Abdulla, P. A.; Delzanno, Giorgio; VAN BEGIN, L.
Compositional Verification of Asynchronous Processes via Constraint Solving
2005-01-01 Delzanno, Giorgio; Gabbrielli, M.
Computational Logic in Genova
2008-01-01 Mascardi, Viviana; Delzanno, Giorgio; Martelli, Maurizio
Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification
2010-01-01 Abdulla, P; Chen, Y. F.; Delzanno, Giorgio; Haziza, F; Hong, C. D.; Rezine, A.
Constraint-Based Analysis of Broadcast Protocols
1999-01-01 Delzanno, Giorgio; J., Esparza; A., Podelski
Constraint-Based Model Checking for Parameterized Synchronous Systems
2002-01-01 Delzanno, Giorgio
Constraint-Based Verification of Client-Server Protocols
2001-01-01 Delzanno, Giorgio; T., Bultan