DELZANNO, GIORGIO

DELZANNO, GIORGIO  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

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