dblp.uni-trier.dewww.uni-trier.de

Giorgio Delzanno

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
67EEParosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin: A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations. LATA 2009: 71-82
66EEParosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Approximated parameterized verification of infinite-state processes with global conditions. Formal Methods in System Design 34(2): 126-156 (2009)
2008
65EEParosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine: Parameterized Tree Systems. FORTE 2008: 69-83
64EEParosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Monotonic Abstraction in Action. ICTAC 2008: 50-65
63EEGiorgio Delzanno, Laurent Van Begin: A Biologically Inspired Model with Fusion and Clonation of Membranes. UC 2008: 64-82
62EEParosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine: Handling Parameterized Systems with Non-atomic Global Conditions. VMCAI 2008: 22-36
61EEParosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin: On the Qualitative Analysis of Conformon P Systems. Workshop on Membrane Computing 2008: 78-94
60EEParosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Monotonic Abstraction in Parameterized Verification. Electr. Notes Theor. Comput. Sci. 223: 3-14 (2008)
59EEGiorgio Delzanno, Roberto Montagna: Reachability analysis of fragments of mobile ambients in AC term rewriting. Formal Asp. Comput. 20(4-5): 407-428 (2008)
2007
58EEParosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Parameterized Verification of Infinite-State Processes with Global Conditions. CAV 2007: 145-157
57EEParosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin: Comparing the Expressive Power of Well-Structured Transition Systems. CSL 2007: 99-114
56EEParosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine: Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). TACAS 2007: 721-736
55EEGiorgio Delzanno, Laurent Van Begin: On the Dynamics of PB Systems with Volatile Membranes. Workshop on Membrane Computing 2007: 240-256
54EEGiorgio Delzanno, Roberto Montagna: On Reachability and Spatial Reachability in Fragments of BioAmbients. Electr. Notes Theor. Comput. Sci. 171(2): 69-79 (2007)
53EEGiorgio Delzanno: Constraint-based automatic verification of abstract models of multithreaded programs. TPLP 7(1-2): 67-91 (2007)
2006
52EEGiorgio Delzanno, Javier Esparza, Jirí Srba: Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. ATVA 2006: 415-429
51EEGiorgio Delzanno, Roberto Montagna: Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. ICTAC 2006: 302-316
50EEGiorgio Delzanno: Constraint-based verification of abstract models of multitreaded programs CoRR abs/cs/0601037: (2006)
49EEGiorgio Delzanno: Constraint-based automatic verification of abstract models of multithreaded programs CoRR abs/cs/0601038: (2006)
48EEGiorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli: Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. TPLP 6(3): 225-226 (2006)
2005
47 Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi: BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. EUMAS 2005: 214-223
46EEGiorgio Delzanno, Maurizio Gabbrielli: Compositional Verification of Asynchronous Processes via Constraint Solving. ICALP 2005: 1239-1250
45EEGiorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo: A compositional semantics for CHR. PPDP 2005: 209-217
2004
44EEMassimo D'Antonio, Giorgio Delzanno: SAT-Based Analysis of Cellular Automata. ACRI 2004: 745-754
43EEGiorgio Delzanno, Pierre Ganty: Automatic Verification of Time Sensitive Cryptographic Protocols. TACAS 2004: 342-356
42EEGiorgio Delzanno: A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus: Extended Abstract. Electr. Notes Theor. Comput. Sci. 98: 21-33 (2004)
41EEMarco Bozzano, Giorgio Delzanno: Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols. J. Symb. Comput. 38(5): 1375-1415 (2004)
40EEGiorgio Delzanno, Jean-François Raskin, Laurent Van Begin: Covering sharing trees: a compact data structure for parameterized verification. STTT 5(2-3): 268-297 (2004)
39 Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: Model Checking Linear Logic Specifications. TPLP 4(5-6): 573-619 (2004)
2003
38EEGiorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo: Compositional Verification of Infinite State Systems. ICLP 2003: 47-48
37EEMarco Bozzano, Giorgio Delzanno, Maurizio Martelli: Model Checking Linear Logic Specifications CoRR cs.PL/0309003: (2003)
36EEGiorgio Delzanno: Constraint-Based Verification of Parameterized Cache Coherence Protocols. Formal Methods in System Design 23(3): 257-301 (2003)
2002
35EEMarco Bozzano, Giorgio Delzanno: Algorithmic Verification of Invalidation-Based Protocols. CAV 2002: 295-308
34EEGiorgio Delzanno: Constraint-Based Model Checking for Parameterized Synchronous Systems. FroCos 2002: 72-86
33EEMarco Bozzano, Giorgio Delzanno: Automated protocol verification in linear logic. PPDP 2002: 38-49
32EEGiorgio Delzanno, Jean-François Raskin, Laurent Van Begin: Towards the Automated Verification of Multithreaded Java Programs. TACAS 2002: 173-187
31EEMarco Bozzano, Giorgio Delzanno: Beyond Parameterized Verification. TACAS 2002: 221-235
30EEGiorgio Delzanno: An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems. Electr. Notes Theor. Comput. Sci. 76: (2002)
29 Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: An effective fixpoint semantics for linear logic programs. TPLP 2(1): 85-122 (2002)
2001
28EEGiorgio Delzanno, Jean-François Raskin, Laurent Van Begin: Attacking Symbolic State Explosion. CAV 2001: 298-310
27EEGiorgio Delzanno, Tevfik Bultan: Constraint-Based Verification of Client-Server Protocols. CP 2001: 286-301
26EEGiorgio Delzanno: Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study. FLOPS 2001: 123-137
25EEMarco Bozzano, Giorgio Delzanno, Maurizio Martelli: An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. FLOPS 2001: 138-152
24EEGiorgio Delzanno, Sandro Etalle: Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. LOPSTR 2001: 76-90
23EEPablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski: Model Checking Communication Protocols. SOFSEM 2001: 160-170
22EERubén Carvajal-Schiaffino, Giorgio Delzanno, Giovanni Chiola: Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets. TACAS 2001: 435-449
21EEMarco Bozzano, Giorgio Delzanno, Maurizio Martelli: An Effective Fixpoint Semantics for Linear Logic Programs CoRR cs.PL/0102025: (2001)
20EEMarco Bozzano, Giorgio Delzanno, Maurizio Martelli: On the Relations between Disjunctive and Linear Logic Programming. Electr. Notes Theor. Comput. Sci. 48: (2001)
19EEGiorgio Delzanno: An Assertional Language for the Verification of Systems Parametric in Several Dimensions. Electr. Notes Theor. Comput. Sci. 50(4): (2001)
18EEGiorgio Delzanno, Andreas Podelski: Constraint-based deductive model checking. STTT 3(3): 250-270 (2001)
17EEGiorgio Delzanno, Maurizio Martelli: Proofs as computations in linear logic. Theor. Comput. Sci. 258(1-2): 269-297 (2001)
2000
16 Giorgio Delzanno: Automatic Verification of Parameterized Cache Coherence Protocols. CAV 2000: 53-68
15 Giorgio Delzanno: Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking. FORTE 2000: 171-186
14EEMarco Bozzano, Giorgio Delzanno, Maurizio Martelli: A bottom-up semantics for linear logic programs. PPDP 2000: 92-102
13EEGiorgio Delzanno, Jean-François Raskin: Symbolic Representation of Upward-Closed Sets. TACAS 2000: 426-440
12 Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli: Object calculi in linear logic. J. Log. Comput. 10(1): 75-104 (2000)
1999
11 Giorgio Delzanno, Javier Esparza, Andreas Podelski: Constraint-Based Analysis of Broadcast Protocols. CSL 1999: 50-66
10 Giorgio Delzanno, Andreas Podelski: Verification of Infinite-State Systems in Constraint Logic Programming. JFPLC 1999: 13-22
9EEMarco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini: Multi-agent Systems Development as a Software Engineering Enterprise. PADL 1999: 46-60
8EEGiorgio Delzanno, Andreas Podelski: Model Checking in CLP. TACAS 1999: 223-239
7 Giorgio Delzanno, Didier Galmiche, Maurizio Martelli: A specification logic for concurrent object-oriented programming. Mathematical Structures in Computer Science 9(3): 253-286 (1999)
1997
6 Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases. APPIA-GULP-PRODE 1997: 105-116
1996
5 Giorgio Delzanno, Maurizio Martelli: Proofs as Computations in Linear Logic. APPIA-GULP-PRODE 1996: 155-166
4 Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli: A Linear Logic Calculus Objects. JICSLP 1996: 67-81
1995
3 Giorgio Delzanno, Maurizio Martelli: Forum Objects. GULP-PRODE 1995: 283-294
2 Giorgio Delzanno, Maurizio Martelli: Objects in Forum. ILPS 1995: 115-129
1993
1 Giorgio Delzanno, Maurizio Martelli: A Bottom-Up Characterization of Finite Success. ILPS 1993: 676

Coauthor Index

1Parosh Aziz Abdulla [56] [57] [58] [60] [61] [62] [64] [65] [66] [67]
2Pablo Argón [23]
3Laurent Van Begin [28] [32] [40] [55] [57] [61] [63] [67]
4Marco Bozzano [6] [9] [14] [20] [21] [25] [29] [31] [33] [35] [37] [39] [41]
5Michele Bugliesi [4] [12]
6Tevfik Bultan [27]
7Rubén Carvajal-Schiaffino [22]
8Giovanni Chiola [22]
9Massimo D'Antonio [44]
10Javier Esparza [11] [52]
11Sandro Etalle [24] [48]
12Maurizio Gabbrielli [38] [45] [46] [48]
13Didier Galmiche [7]
14Pierre Ganty [43]
15Frédéric Haziza [65]
16Noomene Ben Henda [56] [62] [65]
17Luigi Liquori [4] [12]
18Maurizio Martelli [1] [2] [3] [4] [5] [6] [7] [9] [12] [14] [17] [20] [21] [25] [29] [37] [39] [47]
19Viviana Mascardi [9] [47]
20Maria Chiara Meo [38] [45]
21Roberto Montagna [47] [51] [54] [59]
22Supratik Mukhopadhyay [23]
23Andreas Podelski [8] [10] [11] [18] [23]
24Jean-François Raskin [13] [28] [32] [40]
25Ahmed Rezine [56] [58] [60] [62] [64] [65] [66]
26Jirí Srba [52]
27Floriano Zini [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)