Giorgio Delzanno's selected publications
List from DBLP
List from Citeseer (and citation index)
Previous work: Please
visit the DISI
Tecnical Report page
In International journals
Monotonic Abstraction (On Efficient Verification of Parameterized Systems)Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed RezineTo appear in the Int. Journal of Foundation of Computer Science, May 2009
Approximated Parameterized Verification of Infinite-state Processes with Global
Conditions
Parosh A. Abdulla and Giorgio Delzanno and Ahmed Rezine
Formal Methods in System Design 34(2): 126-156 (2009)
Reachability Analysis of Fragments of Mobile
Ambients in AC Term Rewriting
Giorgio Delzanno and Roberto Montagna
Formal Aspects of Computing 20: 407-428 (2008)
Constraint-based Automatic Verification of Abstract Models of Multitreaded
Programs
Giorgio Delzanno
Theory and Practice of Logic Programming 7 (1&2): 67-91 (2007)
Automated Verification of Secrecy Properties
for Linear Logic Specifications of Cryptographic Protocols
Marco Bozzano, Giorgio Delzanno
Journal of Symbolic Computation 38(5): 1375-1415 (2004).
Model Checking Linear Logic Specifications
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
CoRR cs.PL/0309003: (2003)
Journal of Theory and Practice of Logic Programming 4(5-6): 573-619 (2004)
Covering Sharing Trees: Compact Data Structures for Parameterized
Verification
Giorgio Delzanno, Jean-Framcois Raskin, Laurent Van Begin
Journal of Software and Tools for Technology Transfer 5(2-3): 268-297 (2004)
Constraint-based Verification of Parameterized Cache Coherence Protocols
Giorgio Delzanno
Formal Methods in System Design 23(3): 257-301 (2003)
An Effective Fixpoint Semantics for Linear Logic Programs
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
Theory and Practice of Logic Programming 2(1):85-122 (2002)
Constraint-based Deductive Model Checking
Giorgio Delzanno & Andreas Podelski
Journal of Software and Tools for Technology Transfer 3(3): 250-270
(2001)
Springer LINK
Proofs as Computations in Linear Logic
Giorgio Delzanno & Maurizio Martelli
Theoretical Computer Science 258(1-2): 269-297 (2001)
Abstract
Object Calculi in Linear Logic
Michele Bugliesi, Giorgio Delzanno, Luigi Liquori & Maurizio Martelli
Journal of Logic and Computation 10(1): 75-104 (2000)
A Specification Logic for Concurrent Object-oriented Programming
Giorgio Delzanno, Didier Galmiche & Maurizio Martelli
Mathematical Structures in Computer Science 9(3): 253-286 (1999)
In Electronic journals
A Symbolic Procedure for Control Reachability
in the Asynchronous Pi-calculus
Giorgio Delzanno
Electronic Notes in Theoretical Computer Science 98: 21-33 (2004)
An Overview of MSR(C): A CLP-based
Framework for the Symbolic Verification of Parameterized Concurrent
Systems
Giorgio Delzanno
Electronic Notes in Theoretical Computer Science 76, (2002)
Elsevier Link
An Assertional Language for the Verification of Systems Parametric in
Several Dimensions
G. Delzanno
Electronic Notes in Theoretical Computer Science 50 (2001)
Elsevier Link
On the relation between disjunctive and linear
logic programming
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
Electronic Notes in Theoretical Computer Science 48 (2001)
Elsevier Link
Spefication of Term Rewriting in Linear Logic
Giorgio Delzanno
Electronic Notes in Theoretical Computer Science 17 (1999).
The kappa-lattice: Decidability Boundaries for Qualitative Analysis in Biological LanguagesGiorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi ZavattaroCMSB 2009
Approximated Context-sensitive Analysis for
Parameterized Verification
Parosh A. Abdulla, Giorgio Delzanno, and Ahmed Rezine
FORTE 2009
A Language-Based Comparison of Extensions of
Petri Nets with and without Whole-Place Operations.
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
LATA
2009
A Biologically Inspired Model with Fusion and
Clonation of Membranes
Giorgio
Delzanno and Laurent Van Begin
UC
2008
Monotonic Abstraction in Action (Automatic
Verification of Distributed Mutex Algorithms)
Parosh A. Abdulla, Giorgio Delzanno, and Ahmed Rezine
ICTAC 2008
On the Qualitative Analysis of Conformon
P-Systems
Parosh A. Abdulla, Giorgio Delzanno, and Laurent
Van Begin
WMC 2008
Parameterized Tree Protocols
Parosh Aziz Abdulla, Frederic Haziza, Noomene Ben
Henda, Giorgio Delzanno, and Ahmed Rezine
FORTE 2008
Handling Parameterized Systems with
Non-Atomic Global Conditions
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio
Delzanno, and Ahmed Rezine
VMCAI 2008
Comparing the
Expressive Power of Well-structured Transition Systems
Parosh A. Abdulla, Giorgio Delzanno, and Laurent Van Begin
CSL 2007
On the Dynamics
of PB Systems with Volatile Membranes
Giorgio Delzanno, Laurent Van Begin
WMC 2007
Parameterized Verification of Infinite-state
Processes with Global Conditions
Parosh Aziz
Abdulla, Giorgio Delzanno, and Ahmed Rezine
CAV 2007
Regular Model Checking without Transducers
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, and Ahmed Rezine
TACAS 2007
Reachability Analysis of Mobile Ambients in
Fragments of AC Term Rewriting
Giorgio Delzanno and Roberto Montagna
ICTAC 2006
Monotonic Set-Extended Prefix Rewriting and
Verification of Recursive
Ping-Pong Protocols
Giorgio Delzanno, Javier Esparza and Jiri Srba
ATVA 2006
On the Reachability Problem for Fragments of
Mobile Ambients with Name Restriction
Giorgio Delzanno and Roberto Montagna
Infinity 2006
On Reachability and Spatial Reachability for Fragments of BioAmbients
Giorgio Delzanno and Roberto Montagna
MeCBIC 2006
On the
Coverability Problem for Constrained Multiset Rewriting
Parosh Aziz Abdulla and Giorgio Delzanno
AVIS 2006
BDIATL : An Alternating-Time BDI
Logic for Multiagent Systems
Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, and Viviana Mascardi
EUMAS 2005
Compositional Verification of Asynchronous Processes via Constraint Solving
Giorgio Delzanno and Maurizio Gabbrielli
ICALP 2005
A Compositional Semantics for CHR
Giorgio Delzanno, Maurizio Gabbrielli and Maria Chiara Meo
PPDP 2005
SAT-based Analysis of Cellular Automata
Massimo D'Antonio and Giorgio Delzanno
ACRI 2004
Automatic Verification of Time-sensitive Cryptographic Protocols
Giorgio Delzanno and Pierre Ganty
TACAS 2004
A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus
Giorgio Delzanno
Infinity 2003
Constraint-based Automatic Verification of Time Dependent Security
Properties.
Pierluigi Ammirati and Giorgio Delzanno
SPV 2003
Symbolic Methods for Automatically Proving Secrecy and Authentication in
Infinite-state Models of Cryptographic Protocols
Giorgio Delzanno and Pierre Ganty
WISP 2003
Automated Protocol Verification in Linear Logic
Marco Bozzano and Giorgio Delzanno
PPDP 2002
Algorithmic Verification of Invalidation-based Protocols
Marco Bozzano and Giorgio Delzanno
CAV 2002
Toward the Automated Verification of Multithreaded Java Programs
Giorgio Delzanno, Laurent Van Begin, and Jean-Francois Raskin
TACAS 2002
Beyond Parameterized Verification
Giorgio Delzanno and Marco Bozzano
TACAS 2002
Constraint-based Verification of Client-server Protocols
Giorgio Delzanno and Tevfik Bultan
CP 2001
An Assertional Language for Verification of Systems Parametric in Several
Dimensions
Giorgio Delzanno
VEPAS 2001
Attacking Symbolic State Explosion
Giorgio Delzanno, Laurent Van Begin, Jean-Francois Raskin
CAV 2001
Combining Structural and Enumerative Techniques for the Validation of
Bounded Petri Nets (tech-rep DISI)
Ruben Carvajal-Schiaffino, Giorgio Delzanno, Giovanni Chiola
TACAS 2001
An Effective Bottom-Up Semantics for First Order Linear Logic Programs
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
FLOPS 2001
Verification of Consistency Protocols via Infinite-state Symbolic Model
Checking: A Case Study
Giorgio Delzanno.
FORTE/PSTV 2000
Automatic Verification of Parameterized Cache Coherence Protocols (extended
and revised version)
Giorgio Delzanno
CAV 2000
A Bottom-up Semantics for LO
Marco Bozzano, Giorgio Delzanno & Maurizio Martelli
PPDP 2000
Symbolic Representation of Upward-closed Sets
Giorgio Delzanno & Jean-Francois Raskin
TACAS 2000
Constraint-based Analysis of Broadcast Protocols
Giorgio Delzanno, Javier Esparza & Andreas Podelski
CSL 99
Model Checking in CLP
Giorgio Delzanno & Andreas Podelski
TACAS 99