Giorgio Delzanno

	2012
86		Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro: The Cost of Parameterized Reachability in Mobile Ad Hoc Networks CoRR abs/1202.5850: (2012)
85		Giorgio Delzanno, Ahmed Rezine: A lightweight regular model checking approach for parameterized systems. STTT 14(2): 207-222 (2012)
	2011
84		Giorgio Delzanno, Igor Potapov: Reachability Problems - 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings Springer 2011
83		Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso: On the Verification of Timed Ad Hoc Networks. FORMATS 2011: 256-270
82		Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro: On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks. FOSSACS 2011: 441-455
81		Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro: Parameterized Verification of Safety Properties in Ad Hoc Network Protocols PACO 2011: 56-65
80		Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin: A classification of the expressive power of well-structured transition systems. Inf. Comput. 209(3): 248-279 (2011)
79		Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints. Int. J. Found. Comput. Sci. 22(4): 761-782 (2011)
78		Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli: Some applications of Computational Logic to the development of intelligent systems and verification methods. Intelligenza Artificiale 5(1): 145-149 (2011)
	2010
77		Giorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato: Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. 25 Years GULP 2010: 136-158
76		Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro: Parameterized Verification of Ad Hoc Networks. CONCUR 2010: 313-327
75		Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine: Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. CONCUR 2010: 86-101
74		Fernando Rosa-Velardo, Giorgio Delzanno: Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data. LATA 2010: 524-535
73		Giorgio Delzanno, Laurent Van Begin: On the verification of membrane systems with dynamic structure. Natural Computing 9(4): 795-818 (2010)
	2009
72		Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro: The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. CMSB 2009: 158-172
71		Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Approximated Context-Sensitive Analysis for Parameterized Verification. FMOODS/FORTE 2009: 41-56
70		Parosh 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
69		Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Automatic Verification of Directory-Based Consistency Protocols. RP 2009: 36-50
68		Giorgio Delzanno, Roberto Montagna: Deciding Reachability in Mobile Ambients with Name Restriction. Electr. Notes Theor. Comput. Sci. 239: 5-15 (2009)
67		Parosh 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)
66		Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine: Monotonic Abstraction: on Efficient Verification of Parameterized Systems. Int. J. Found. Comput. Sci. 20(5): 779-801 (2009)
	2008
65		Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine: Parameterized Tree Systems. FORTE 2008: 69-83
64		Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Monotonic Abstraction in Action. ICTAC 2008: 50-65
63		Giorgio Delzanno, Laurent Van Begin: A Biologically Inspired Model with Fusion and Clonation of Membranes. UC 2008: 64-82
62		Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine: Handling Parameterized Systems with Non-atomic Global Conditions. VMCAI 2008: 22-36
61		Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin: On the Qualitative Analysis of Conformon P Systems. Workshop on Membrane Computing 2008: 78-94
60		Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Monotonic Abstraction in Parameterized Verification. Electr. Notes Theor. Comput. Sci. 223: 3-14 (2008)
59		Giorgio Delzanno, Roberto Montagna: Reachability analysis of fragments of mobile ambients in AC term rewriting. Formal Asp. Comput. 20(4-5): 407-428 (2008)
	2007
58		Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine: Parameterized Verification of Infinite-State Processes with Global Conditions. CAV 2007: 145-157
57		Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin: Comparing the Expressive Power of Well-Structured Transition Systems. CSL 2007: 99-114
56		Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine: Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). TACAS 2007: 721-736
55		Giorgio Delzanno, Laurent Van Begin: On the Dynamics of PB Systems with Volatile Membranes. Workshop on Membrane Computing 2007: 240-256
54		Giorgio Delzanno, Roberto Montagna: On Reachability and Spatial Reachability in Fragments of BioAmbients. Electr. Notes Theor. Comput. Sci. 171(2): 69-79 (2007)
53		Giorgio Delzanno: Constraint-based automatic verification of abstract models of multithreaded programs. TPLP 7(1-2): 67-91 (2007)
	2006
52		Giorgio Delzanno, Javier Esparza, Jirí Srba: Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. ATVA 2006: 415-429
51		Giorgio Delzanno, Roberto Montagna: Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. ICTAC 2006: 302-316
50		Giorgio Delzanno: Constraint-based verification of abstract models of multitreaded programs CoRR abs/cs/0601037: (2006)
49		Giorgio Delzanno: Constraint-based automatic verification of abstract models of multithreaded programs CoRR abs/cs/0601038: (2006)
48		Giorgio 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
46		Giorgio Delzanno, Maurizio Gabbrielli: Compositional Verification of Asynchronous Processes via Constraint Solving. ICALP 2005: 1239-1250
45		Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo: A compositional semantics for CHR. PPDP 2005: 209-217
	2004
44		Massimo D'Antonio, Giorgio Delzanno: SAT-Based Analysis of Cellular Automata. ACRI 2004: 745-754
43		Giorgio Delzanno, Pierre Ganty: Automatic Verification of Time Sensitive Cryptographic Protocols. TACAS 2004: 342-356
42		Giorgio Delzanno: A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus: Extended Abstract. Electr. Notes Theor. Comput. Sci. 98: 21-33 (2004)
41		Marco Bozzano, Giorgio Delzanno: Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols. J. Symb. Comput. 38(5): 1375-1415 (2004)
40		Giorgio 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
38		Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo: Compositional Verification of Infinite State Systems. ICLP 2003: 47-48
37		Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: Model Checking Linear Logic Specifications CoRR cs.PL/0309003: (2003)
36		Giorgio Delzanno: Constraint-Based Verification of Parameterized Cache Coherence Protocols. Formal Methods in System Design 23(3): 257-301 (2003)
	2002
35		Marco Bozzano, Giorgio Delzanno: Algorithmic Verification of Invalidation-Based Protocols. CAV 2002: 295-308
34		Giorgio Delzanno: Constraint-Based Model Checking for Parameterized Synchronous Systems. FroCos 2002: 72-86
33		Marco Bozzano, Giorgio Delzanno: Automated protocol verification in linear logic. PPDP 2002: 38-49
32		Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin: Towards the Automated Verification of Multithreaded Java Programs. TACAS 2002: 173-187
31		Marco Bozzano, Giorgio Delzanno: Beyond Parameterized Verification. TACAS 2002: 221-235
30		Giorgio Delzanno: An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems. Electr. Notes Theor. Comput. Sci. 76: 65-82 (2002)
29		Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: An effective fixpoint semantics for linear logic programs. TPLP 2(1): 85-122 (2002)
	2001
28		Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin: Attacking Symbolic State Explosion. CAV 2001: 298-310
27		Giorgio Delzanno, Tevfik Bultan: Constraint-Based Verification of Client-Server Protocols. CP 2001: 286-301
26		Giorgio Delzanno: Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study. FLOPS 2001: 123-137
25		Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. FLOPS 2001: 138-152
24		Giorgio Delzanno, Sandro Etalle: Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. LOPSTR 2001: 76-90
23		Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski: Model Checking Communication Protocols. SOFSEM 2001: 160-170
22		Rubén Carvajal-Schiaffino, Giorgio Delzanno, Giovanni Chiola: Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets. TACAS 2001: 435-449
21		Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: An Effective Fixpoint Semantics for Linear Logic Programs CoRR cs.PL/0102025: (2001)
20		Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: On the Relations between Disjunctive and Linear Logic Programming. Electr. Notes Theor. Comput. Sci. 48: 65-89 (2001)
19		Giorgio Delzanno: An Assertional Language for the Verification of Systems Parametric in Several Dimensions. Electr. Notes Theor. Comput. Sci. 50(4): 371-385 (2001)
18		Giorgio Delzanno, Andreas Podelski: Constraint-based deductive model checking. STTT 3(3): 250-270 (2001)
17		Giorgio 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
14		Marco Bozzano, Giorgio Delzanno, Maurizio Martelli: A bottom-up semantics for linear logic programs. PPDP 2000: 92-102
13		Giorgio 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
9		Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini: Multi-agent Systems Development as a Software Engineering Enterprise. PADL 1999: 46-60
8		Giorgio 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

1	Parosh Aziz Abdulla	[56] [57] [58] [60] [61] [62] [64] [65] [66] [67] [69] [70] [71] [75] [79] [80] [83]
2	Pablo Argón	[23]
3	Laurent Van Begin	[28] [32] [40] [55] [57] [61] [63] [70] [73] [80]
4	Marco Bozzano	[6] [9] [14] [20] [21] [25] [29] [31] [33] [35] [37] [39] [41]
5	Michele Bugliesi	[4] [12]
6	Tevfik Bultan	[27]
7	Rubén Carvajal-Schiaffino	[22]
8	Yu-Fang Chen	[75]
9	Giovanni Chiola	[22]
10	Massimo D'Antonio	[44]
11	Javier Esparza	[11] [52]
12	Sandro Etalle	[24] [48]
13	Maurizio Gabbrielli	[38] [45] [46] [48] [72]
14	Didier Galmiche	[7]
15	Pierre Ganty	[43]
16	Roberto Giacobazzi	[77]
17	Cinzia Di Giusto	[72]
18	Frédéric Haziza	[65] [75]
19	Noomene Ben Henda	[56] [62] [65] [66]
20	Chih-Duo Hong	[75]
21	Cosimo Laneve	[72]
22	Luigi Liquori	[4] [12]
23	Maurizio Martelli	[1] [2] [3] [4] [5] [6] [7] [9] [12] [14] [17] [20] [21] [25] [29] [37] [39] [47] [78]
24	Viviana Mascardi	[9] [47] [78]
25	Maria Chiara Meo	[38] [45]
26	Roberto Montagna	[47] [51] [54] [59] [68]
27	Supratik Mukhopadhyay	[23]
28	Andreas Podelski	[8] [10] [11] [18] [23]
29	Igor Potapov	[84]
30	Francesco Ranzato	[77]
31	Jean-François Raskin	[13] [28] [32] [40]
32	Ahmed Rezine	[56] [58] [60] [62] [64] [65] [66] [67] [69] [71] [75] [79] [85]
33	Othmane Rezine	[83]
34	Fernando Rosa-Velardo	[74]
35	Arnaud Sangnier	[76] [81] [82] [83] [86]
36	Jirí Srba	[52]
37	Riccardo Traverso	[83] [86]
38	Gianluigi Zavattaro	[72] [76] [81] [82] [86]
39	Floriano Zini	[9]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page