| 2025 | Coordination | Decidability Problems for Micro-Stipula. | Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro |
| 2025 | PDP | Exploring Student Misconceptions about Concurrency Using Sonic Pi. | Giorgio Delzanno, Giovanna Guerrini, Daniele Traversaro |
| 2024 | SIGCSE | Exploring Student Misconceptions about Concurrency Using the Domain-Specific Programing Language "Sonic Pi". | Giorgio Delzanno, Giovanna Guerrini, Daniele Traversaro |
| 2019 | PRIMA | Smart RogAgent: Where Agents and Humans Team Up. | Chiara Capone, Rafael H. Bordini, Viviana Mascardi, Giorgio Delzanno, Angelo Ferrando, Luca Gelati, Giovanna Guerrini |
| 2018 | WEBIST | Physical Web for Smart Campus Management. | Giorgio Delzanno, Giovanna Guerrini, Maurizio Leotta, Marina Ribaudo |
| 2017 | ICWE | Towards an Acceptance Testing Approach for Internet of Things Systems. | Maurizio Leotta, Filippo Ricca, Diego Clerissi, Davide Ancona, Giorgio Delzanno, Marina Ribaudo, Luca Franceschini |
| 2015 | AAAI | Verification of Relational Multiagent Systems with Data Types. | Diego Calvanese, Giorgio Delzanno, Marco Montali |
| 2014 | ANT | On the Design of an Intelligent Sensor Network for Flash Flood Monitoring, Diagnosis and Management in Urban Areas - Position Paper. | Massimo Ancona, N. Corradi, A. Dellacasa, Giorgio Delzanno, Jean-Luc Dugelay, Bianca Federici, Philippe Gourbesville, Giovanna Guerrini, Andrea La Camera, Paolo Rosso, J. Stephens, Armando Tacchella, Guido Zolezzi |
| 2013 | LATA | Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks. | Giorgio Delzanno, Riccardo Traverso |
| 2012 | ER | Static Analysis of XML Document Adaptations. | Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini |
| 2012 | FORTE | Verification of Ad Hoc Networks with Node and Communication Failures. | Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro |
| 2011 | FOSSACS | On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks. | Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro |
| 2010 | CONCUR | Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. | Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frdric Haziza, Chih-Duo Hong, Ahmed Rezine |
| 2010 | CONCUR | Parameterized Verification of Ad Hoc Networks. | Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro |
| 2010 | LATA | Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data. | Fernando Rosa-Velardo, Giorgio Delzanno |
| 2009 | FORTE | Approximated Context-Sensitive Analysis for Parameterized Verification. | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
| 2009 | LATA | A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations. | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
| 2008 | FORTE | Parameterized Tree Systems. | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frdric Haziza, Ahmed Rezine |
| 2008 | ICTAC | Monotonic Abstraction in Action. | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
| 2008 | UC | A Biologically Inspired Model with Fusion and Clonation of Membranes. | Giorgio Delzanno, Laurent Van Begin |
| 2008 | VMCAI | Handling Parameterized Systems with Non-atomic Global Conditions. | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine |
| 2007 | CAV | Parameterized Verification of Infinite-State Processes with Global Conditions. | Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine |
| 2007 | CSL | Comparing the Expressive Power of Well-Structured Transition Systems. | Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin |
| 2007 | TACAS | Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). | Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine |
| 2006 | ATVA | Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. | Giorgio Delzanno, Javier Esparza, Jir Srba |
| 2006 | ICTAC | Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. | Giorgio Delzanno, Roberto Montagna |
| 2005 | EUMAS | BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. | Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi |
| 2005 | ICALP | Compositional Verification of Asynchronous Processes via Constraint Solving. | Giorgio Delzanno, Maurizio Gabbrielli |
| 2005 | PPDP | A compositional semantics for CHR. | Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo |
| 2004 | TACAS | Automatic Verification of Time Sensitive Cryptographic Protocols. | Giorgio Delzanno, Pierre Ganty |
| 2003 | ICLP | Compositional Verification of Infinite State Systems. | Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo |
| 2002 | CAV | Algorithmic Verification of Invalidation-Based Protocols. | Marco Bozzano, Giorgio Delzanno |
| 2002 | PPDP | Automated protocol verification in linear logic. | Marco Bozzano, Giorgio Delzanno |
| 2002 | TACAS | Beyond Parameterized Verification. | Marco Bozzano, Giorgio Delzanno |
| 2002 | TACAS | Towards the Automated Verification of Multithreaded Java Programs. | Giorgio Delzanno, Jean-Franois Raskin, Laurent Van Begin |
| 2001 | CAV | Attacking Symbolic State Explosion. | Giorgio Delzanno, Jean-Franois Raskin, Laurent Van Begin |
| 2001 | CP | Constraint-Based Verification of Client-Server Protocols. | Giorgio Delzanno, Tevfik Bultan |
| 2001 | FLOPS | An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
| 2001 | FLOPS | Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study. | Giorgio Delzanno |
| 2001 | LOPSTR | Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. | Giorgio Delzanno, Sandro Etalle |
| 2001 | SOFSEM | Model Checking Communication Protocols. | Pablo Argn, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski |
| 2001 | TACAS | Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets. | Rubn Carvajal-Schiaffino, Giorgio Delzanno, Giovanni Chiola |
| 2000 | CAV | Automatic Verification of Parameterized Cache Coherence Protocols. | Giorgio Delzanno |
| 2000 | FORTE | Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking. | Giorgio Delzanno |
| 2000 | PPDP | A bottom-up semantics for linear logic programs. | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli |
| 2000 | TACAS | Symbolic Representation of Upward-Closed Sets. | Giorgio Delzanno, Jean-Franois Raskin |
| 1999 | CSL | Constraint-Based Analysis of Broadcast Protocols. | Giorgio Delzanno, Javier Esparza, Andreas Podelski |
| 1999 | PADL | Multi-agent Systems Development as a Software Engineering Enterprise. | Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini |
| 1999 | TACAS | Model Checking in CLP. | Giorgio Delzanno, Andreas Podelski |
| 1996 | ICLP | A Linear Logic Calculus Objects. | Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli |