| 2009 |
|---|
| 67 | EE | 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 |
| 66 | EE | 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) |
| 2008 |
|---|
| 65 | EE | Parosh Aziz Abdulla,
Noomene Ben Henda,
Giorgio Delzanno,
Frédéric Haziza,
Ahmed Rezine:
Parameterized Tree Systems.
FORTE 2008: 69-83 |
| 64 | EE | Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine:
Monotonic Abstraction in Action.
ICTAC 2008: 50-65 |
| 63 | EE | Giorgio Delzanno,
Laurent Van Begin:
A Biologically Inspired Model with Fusion and Clonation of Membranes.
UC 2008: 64-82 |
| 62 | EE | Parosh Aziz Abdulla,
Noomene Ben Henda,
Giorgio Delzanno,
Ahmed Rezine:
Handling Parameterized Systems with Non-atomic Global Conditions.
VMCAI 2008: 22-36 |
| 61 | EE | Parosh Aziz Abdulla,
Giorgio Delzanno,
Laurent Van Begin:
On the Qualitative Analysis of Conformon P Systems.
Workshop on Membrane Computing 2008: 78-94 |
| 60 | EE | Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine:
Monotonic Abstraction in Parameterized Verification.
Electr. Notes Theor. Comput. Sci. 223: 3-14 (2008) |
| 59 | EE | 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 | EE | Parosh Aziz Abdulla,
Giorgio Delzanno,
Ahmed Rezine:
Parameterized Verification of Infinite-State Processes with Global Conditions.
CAV 2007: 145-157 |
| 57 | EE | Parosh Aziz Abdulla,
Giorgio Delzanno,
Laurent Van Begin:
Comparing the Expressive Power of Well-Structured Transition Systems.
CSL 2007: 99-114 |
| 56 | EE | 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 | EE | Giorgio Delzanno,
Laurent Van Begin:
On the Dynamics of PB Systems with Volatile Membranes.
Workshop on Membrane Computing 2007: 240-256 |
| 54 | EE | Giorgio Delzanno,
Roberto Montagna:
On Reachability and Spatial Reachability in Fragments of BioAmbients.
Electr. Notes Theor. Comput. Sci. 171(2): 69-79 (2007) |
| 53 | EE | Giorgio Delzanno:
Constraint-based automatic verification of abstract models of multithreaded programs.
TPLP 7(1-2): 67-91 (2007) |
| 2006 |
|---|
| 52 | EE | Giorgio Delzanno,
Javier Esparza,
Jirí Srba:
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols.
ATVA 2006: 415-429 |
| 51 | EE | Giorgio Delzanno,
Roberto Montagna:
Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting.
ICTAC 2006: 302-316 |
| 50 | EE | Giorgio Delzanno:
Constraint-based verification of abstract models of multitreaded programs
CoRR abs/cs/0601037: (2006) |
| 49 | EE | Giorgio Delzanno:
Constraint-based automatic verification of abstract models of multithreaded programs
CoRR abs/cs/0601038: (2006) |
| 48 | EE | 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 | EE | Giorgio Delzanno,
Maurizio Gabbrielli:
Compositional Verification of Asynchronous Processes via Constraint Solving.
ICALP 2005: 1239-1250 |
| 45 | EE | Giorgio Delzanno,
Maurizio Gabbrielli,
Maria Chiara Meo:
A compositional semantics for CHR.
PPDP 2005: 209-217 |
| 2004 |
|---|
| 44 | EE | Massimo D'Antonio,
Giorgio Delzanno:
SAT-Based Analysis of Cellular Automata.
ACRI 2004: 745-754 |
| 43 | EE | Giorgio Delzanno,
Pierre Ganty:
Automatic Verification of Time Sensitive Cryptographic Protocols.
TACAS 2004: 342-356 |
| 42 | EE | 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 | EE | 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 | EE | 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 | EE | Giorgio Delzanno,
Maurizio Gabbrielli,
Maria Chiara Meo:
Compositional Verification of Infinite State Systems.
ICLP 2003: 47-48 |
| 37 | EE | Marco Bozzano,
Giorgio Delzanno,
Maurizio Martelli:
Model Checking Linear Logic Specifications
CoRR cs.PL/0309003: (2003) |
| 36 | EE | Giorgio Delzanno:
Constraint-Based Verification of Parameterized Cache Coherence Protocols.
Formal Methods in System Design 23(3): 257-301 (2003) |
| 2002 |
|---|
| 35 | EE | Marco Bozzano,
Giorgio Delzanno:
Algorithmic Verification of Invalidation-Based Protocols.
CAV 2002: 295-308 |
| 34 | EE | Giorgio Delzanno:
Constraint-Based Model Checking for Parameterized Synchronous Systems.
FroCos 2002: 72-86 |
| 33 | EE | Marco Bozzano,
Giorgio Delzanno:
Automated protocol verification in linear logic.
PPDP 2002: 38-49 |
| 32 | EE | Giorgio Delzanno,
Jean-François Raskin,
Laurent Van Begin:
Towards the Automated Verification of Multithreaded Java Programs.
TACAS 2002: 173-187 |
| 31 | EE | Marco Bozzano,
Giorgio Delzanno:
Beyond Parameterized Verification.
TACAS 2002: 221-235 |
| 30 | EE | 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: (2002) |
| 29 | | Marco Bozzano,
Giorgio Delzanno,
Maurizio Martelli:
An effective fixpoint semantics for linear logic programs.
TPLP 2(1): 85-122 (2002) |
| 2001 |
|---|
| 28 | EE | Giorgio Delzanno,
Jean-François Raskin,
Laurent Van Begin:
Attacking Symbolic State Explosion.
CAV 2001: 298-310 |
| 27 | EE | Giorgio Delzanno,
Tevfik Bultan:
Constraint-Based Verification of Client-Server Protocols.
CP 2001: 286-301 |
| 26 | EE | Giorgio Delzanno:
Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study.
FLOPS 2001: 123-137 |
| 25 | EE | Marco Bozzano,
Giorgio Delzanno,
Maurizio Martelli:
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs.
FLOPS 2001: 138-152 |
| 24 | EE | Giorgio Delzanno,
Sandro Etalle:
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols.
LOPSTR 2001: 76-90 |
| 23 | EE | Pablo Argón,
Giorgio Delzanno,
Supratik Mukhopadhyay,
Andreas Podelski:
Model Checking Communication Protocols.
SOFSEM 2001: 160-170 |
| 22 | EE | 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 | EE | Marco Bozzano,
Giorgio Delzanno,
Maurizio Martelli:
An Effective Fixpoint Semantics for Linear Logic Programs
CoRR cs.PL/0102025: (2001) |
| 20 | EE | Marco Bozzano,
Giorgio Delzanno,
Maurizio Martelli:
On the Relations between Disjunctive and Linear Logic Programming.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
| 19 | EE | Giorgio Delzanno:
An Assertional Language for the Verification of Systems Parametric in Several Dimensions.
Electr. Notes Theor. Comput. Sci. 50(4): (2001) |
| 18 | EE | Giorgio Delzanno,
Andreas Podelski:
Constraint-based deductive model checking.
STTT 3(3): 250-270 (2001) |
| 17 | EE | 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 | EE | Marco Bozzano,
Giorgio Delzanno,
Maurizio Martelli:
A bottom-up semantics for linear logic programs.
PPDP 2000: 92-102 |
| 13 | EE | 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 | EE | Marco Bozzano,
Giorgio Delzanno,
Maurizio Martelli,
Viviana Mascardi,
Floriano Zini:
Multi-agent Systems Development as a Software Engineering Enterprise.
PADL 1999: 46-60 |
| 8 | EE | 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 |
