Giorgio Delzanno

168 papers A* 6A 9B 11C 17Misc 2Journal 45Unranked 74

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	A methodological approach for applications of generative AI to support students and teachers. Ital-IA Davide Ponzini, Giovanni Adorni, Daniele D'Agostino, Giorgio Delzanno, Giovanna Guerrini
2025	C	`conf`	Decidability Problems for Micro-Stipula. COORDINATION Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro
2025	J	`jnl`	Decidability Problems for Micro-Stipula. CoRR Giorgio Delzanno, Cosimo Laneve, Arnaud Sangnier, Gianluigi Zavattaro
2025	C	`conf`	Exploring Student Misconceptions about Concurrency Using Sonic Pi. PDP Giorgio Delzanno, Giovanna Guerrini, Daniele Traversaro
2025	—	`conf`	Learning AI with Music: A Sound‑based Dissemination Activity for High School Students. edu4AI@ECAI Guido Vallarino, Giorgio Delzanno, Matteo Moro, Giovanna Guerrini, Lorenzo Luciano Morelato
2025	—	`conf`	Towards an AI-assisted T1DM Data Analysis Pipeline. ITADATA Anna Khristodulo, Giancarlo Mascetti, Giorgio Delzanno, Marta Bassi, Nicola Minuto
2025	J	`jnl`	XRCoding: introducing computational thinking and coding in a gamified eXtended reality. Softw. Qual. J. Lorenzo Gerini, Giorgio Delzanno, Giovanna Guerrini, Fabio Solari, Manuela Chessa
2024	J	`jnl`	"Hear" and "Play" Students Misconceptions on Concurrent Programming using Sonic Pi. Informatics Educ. Daniele Traversaro, Giorgio Delzanno, Giovanna Guerrini
2024	—	`conf`	Exploring Student Misconceptions about Concurrency Using the Domain-Specific Programing Language "Sonic Pi". SIGCSE (2) Giorgio Delzanno, Giovanna Guerrini, Daniele Traversaro
2024	—	`conf`	Loosely-Coupled GNSS/INS Integration for Foot Trajectory Reconstruction in Outdoor Environments. BioRob Georgii Kurshakov, Andrea Maffia, Tiziano Cosso, Renzo Chiostri, Vittorio Sanguineti, Giorgio Delzanno
2024	—	`conf`	Toward the use of Generative AI to develop Computational Thinking by supporting Problem Decomposition. Ital-IA Davide Ponzini, Giovanni Adorni, Giorgio Delzanno, Giovanna Guerrini
2023	—	`conf`	A 3D Visual Programming Language for Tangible Coding in Extended Reality. HELMeTO Lorenzo Gerini, Manuela Chessa, Giorgio Delzanno, Giovanna Guerrini, Fabio Solari
2023	J	`jnl`	Automatic Passenger Counting on the Edge via Unsupervised Clustering. Sensors Giorgio Delzanno, Luca Caputo, Daniele D'Agostino, Daniele Grosso, Abdul Hannan Mustajab, Luca Bixio, Matteo Rulli
2023	—	`conf`	BotBid - From Botany to Big Data: Combining Citizen Science and Innovative Teaching Methodologies. HELMeTO Giorgio Delzanno, Daniele Grosso, Giovanna Guerrini, Federico Lebole, Silvia Priarone, Enrica Roccotiello, Angela Sugliano, Giovanni Zanone, Giovanni Adorni
2023	—	`conf`	Gamified Virtual Reality for Computational Thinking. Gamify@SIGSOFT FSE Lorenzo Gerini, Giorgio Delzanno, Giovanna Guerrini, Fabio Solari, Manuela Chessa
2023	—	`conf`	HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification. RP Angelo Ferrando, Giorgio Delzanno
2023	J	`jnl`	Incrementally predictive runtime verification. J. Log. Comput. Angelo Ferrando, Giorgio Delzanno
2022	J	`jnl`	An Adaptive Algorithm for Multipath Mitigation in GNSS Positioning with Android Smartphones. Sensors Lorenzo Benvenuto, Tiziano Cosso, Giorgio Delzanno
2022	—	`conf`	Coding Maps: A Distance Laboratory on Computational Thinking Inspired by Modal Logic. HELMeTO Giorgio Delzanno, Angelo Ferrando, Giovanna Guerrini, Matteo Pusceddu, Giovanni Zanone
2022	—	`conf`	Experience-Based Training in Computer Science Education via Online Multiplayer Games on Computational Thinking. HELMeTO Giorgio Delzanno, Luca Gelati, Giovanna Guerrini, Angela Sugliano, Daniele Traversaro
2021	J	`jnl`	Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker. Fundam. Informaticae Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando
2021	—	`conf`	Incrementally Predictive Runtime Verification. CILC Angelo Ferrando, Giorgio Delzanno
2021	—	`conf`	On the Parameterized Verification of Abstract Models of Contact Tracing Protocols. OVERLAY@GandALF Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier
2021	—	`conf`	Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction. CILC Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier
2020	J	`jnl`	A Flexible IoT Stream Processing Architecture Based on Microservices. Inf. Luca Bixio, Giorgio Delzanno, Stefano Rebora, Matteo Rulli
2020	—	`conf`	APCSE'20 Workshop Chairs' Welcome. UMAP (Adjunct Publication) Giorgio Delzanno, Giovanna Guerrini, Daniele Traversaro
2020	A	`conf`	Adaptation and Personalization in Computer Science Education: APCSE '20. UMAP Giorgio Delzanno, Giovanna Guerrini, Daniele Traversaro
2020	—	`conf`	Adaptive Real Time IoT Stream Processing in Microservices Architecture. Gabbrielli's Festschrift Luca Bixio, Giorgio Delzanno, Stefano Rebora, Matteo Rulli
2020	—	`conf`	Codinji: Welcome to the Coding Jungle! UMAP (Adjunct Publication) Giorgio Delzanno, Giovanna Guerrini, Simone Perotto, Flavio Traverso, Sofia Mammoliti, Susanna Staglianò
2020	—	`conf`	Flow Programming: A Flexible way to bring the Internet of Things into the Lab. UMAP (Adjunct Publication) Davide Ancona, Lorenzo Benvenuto, Giorgio Delzanno, Gianluca Gambari
2020	—	`conf`	On the Formalization of Decentralized Contact Tracing Protocols. OVERLAY Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali, Arnaud Sangnier
2020	—	`conf`	PyWeCode: Towards a Collaborative Coding Framework based on the arcade Python Library. UMAP (Adjunct Publication) Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi, Daniele Traversaro
2020	—	`conf`	Slow Rogaining: An Innovative Teamwork Model for Computer Science Education. UMAP (Adjunct Publication) Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi, Luca Gelati, Vincenzo Petito, Francesca Vitali, Angelo Ferrando, Davide Ancona, Manuela Chessa, Nicoletta Noceti, Francesca Odone
2020	—	`conf`	Sonic Pi for TBL Teaching Units in an Introductory Programming Course. UMAP (Adjunct Publication) Daniele Traversaro, Giovanna Guerrini, Giorgio Delzanno
2019	—	`conf`	Orchestrated crowdsourced testing of a mobile web application: a case study. Programming Maurizio Leotta, Vincenzo Petito, Luca Gelati, Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi
2019	—	`conf`	Parameterised Verification of Publish/Subscribe Networks with Exception Handling. RP Giorgio Delzanno
2019	B	`conf`	Smart RogAgent: Where Agents and Humans Team Up. PRIMA Chiara Capone, Rafael H. Bordini, Viviana Mascardi, Giorgio Delzanno, Angelo Ferrando, Luca Gelati, Giovanna Guerrini
2019	—	`conf`	Towards the Automated Verification of Publish/Subscribe Networks. OVERLAY@AI*IA Giorgio Delzanno
2018	—	`conf`	An IoT-enabled Framework for Context-aware Role-based Access Control. SEBD Giorgio Delzanno, Giovanna Guerrini
2018	J	`jnl`	An acceptance testing approach for Internet of Things systems. IET Softw. Maurizio Leotta, Diego Clerissi, Dario Olianas, Filippo Ricca, Davide Ancona, Giorgio Delzanno, Luca Franceschini, Marina Ribaudo
2018	—	`conf`	Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols. NETYS Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando
2018	J	`jnl`	Games, automata, logics and formal verification (GandALF 2016). Inf. Comput. Domenico Cantone, Giorgio Delzanno
2018	J	`jnl`	Logic-based Verification of the Distributed Dining Philosophers Protocol. Fundam. Informaticae Giorgio Delzanno
2018	—	`conf`	Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model Checking. CILC Giorgio Delzanno
2018	C	`conf`	Physical Web for Smart Campus Management. WEBIST Giorgio Delzanno, Giovanna Guerrini, Maurizio Leotta, Marina Ribaudo
2017	—	`conf`	An Abstract Machine for Asynchronous Programs with Closures and Priority Queues. RP Davide Ancona, Giorgio Delzanno, Luca Franceschini, Maurizio Leotta, Enrico Prampolini, Marina Ribaudo, Filippo Ricca
2017	—	`conf`	Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things. ALP4IoT@iFM Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo, Filippo Ricca
2017	—	`conf`	Towards an Acceptance Testing Approach for Internet of Things Systems. ICWE Workshops Maurizio Leotta, Filippo Ricca, Diego Clerissi, Davide Ancona, Giorgio Delzanno, Marina Ribaudo, Luca Franceschini
2016	—	`conf`	A Logic-based Approach to Verify Distributed Protocols. CILC Giorgio Delzanno
2016	J	`jnl`	A unified view of parameterized verification of abstract models of broadcast communication. Int. J. Softw. Tools Technol. Transf. Giorgio Delzanno
2016	J	`jnl`	Adding Data Registers to Parameterized Networks with Broadcast. Fundam. Informaticae Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso
2016	J	`jnl`	Parameterized verification of time-sensitive models of ad hoc network protocols. Theor. Comput. Sci. Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso
2016	J	`jnl`	Parameterized verification. Int. J. Softw. Tools Technol. Transf. Parosh Aziz Abdulla, Giorgio Delzanno
2016	—	`ed.`	Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016. GandALF Domenico Cantone, Giorgio Delzanno
2016	—	`conf`	Reachability Predicates for Graph Assertions. RP Giorgio Delzanno
2015	—	`conf`	Computational thinking for beginners: A successful experience using Prolog. CILC Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella
2015	—	`conf`	Data Tracking in Parameterized Systems. TGC Giorgio Delzanno
2015	A*	`conf`	Verification of Relational Multiagent Systems with Data Types. AAAI Diego Calvanese, Giorgio Delzanno, Marco Montali
2015	—	`conf`	Well Structured Transition Systems with History. GandALF Parosh Aziz Abdulla, Giorgio Delzanno, Marco Montali
2014	—	`conf`	Graph- versus Vector-Based Analysis of a Consensus Protocol. GRAPHITE Giorgio Delzanno, Arend Rensink, Riccardo Traverso
2014	—	`conf`	Model Checking Paxos in Spin. GandALF Giorgio Delzanno, Michele Tatarek, Riccardo Traverso
2014	—	`conf`	On the Design of an Intelligent Sensor Network for Flash Flood Monitoring, Diagnosis and Management in Urban Areas - Position Paper. ANT/SEIT 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
2014	B	`conf`	Parameterized Verification and Model Checking for Distributed Broadcast Protocols. ICGT Giorgio Delzanno
2014	—	`conf`	Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations. RP Giorgio Delzanno, Jan Stückrath
2014	J	`jnl`	Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations. CoRR Giorgio Delzanno, Jan Stückrath
2014	J	`jnl`	Validating XML document adaptations via Hedge Automata transformations. Theor. Comput. Sci. Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini
2014	J	`jnl`	Verification of Relational Multiagent Systems with Data Types (Extended Version). CoRR Diego Calvanese, Giorgio Delzanno, Marco Montali
2013	C	`conf`	Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks. LATA Giorgio Delzanno, Riccardo Traverso
2013	J	`jnl`	On the coverability and reachability languages of monotonic extensions of Petri nets. Theor. Comput. Sci. Giorgio Delzanno, Fernando Rosa-Velardo
2013	—	`conf`	Parameterized Verification of Broadcast Networks of Register Automata. RP Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso
2013	J	`jnl`	Preface. Int. J. Found. Comput. Sci. Giorgio Delzanno, Igor Potapov
2013	—	`conf`	Push-Down Automata with Gap-Order Constraints. FSEN Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Andreas Podelski
2013	—	`conf`	Specification and Validation of Link Reversal Routing via Graph Transformations. SPIN Giorgio Delzanno, Riccardo Traverso
2012	J	`jnl`	A lightweight regular model checking approach for parameterized systems. Int. J. Softw. Tools Technol. Transf. Giorgio Delzanno, Ahmed Rezine
2012	—	`conf`	Automata-based Static Analysis of XML Document Adaptation GandALF Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini
2012	—	`conf`	On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks. FSTTCS Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro
2012	—	`conf`	On the Decidability Status of Reachability and Coverability in Graph Transformation Systems. RTA Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, Jan Stückrath
2012	J	`jnl`	Reachability problems in BioAmbients. Theor. Comput. Sci. Giorgio Delzanno, Gianluigi Zavattaro
2012	—	`conf`	Static Analysis of XML Document Adaptations. ER Workshops Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini
2012	J	`jnl`	The Cost of Parameterized Reachability in Mobile Ad Hoc Networks CoRR Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro
2012	—	`conf`	Verification of Ad Hoc Networks with Node and Communication Failures. FMOODS/FORTE Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
2011	J	`jnl`	A classification of the expressive power of well-structured transition systems. Inf. Comput. Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
2011	J	`jnl`	Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints. Int. J. Found. Comput. Sci. Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
2011	B	`conf`	On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks. FoSSaCS Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
2011	—	`conf`	On the Verification of Timed Ad Hoc Networks. FORMATS Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso
2011	—	`conf`	Parameterized Verification of Safety Properties in Ad Hoc Network Protocols PACO Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
2011	—	`ed.`	Reachability Problems - 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings RP Giorgio Delzanno, Igor Potapov
2011	J	`jnl`	Some applications of Computational Logic to the development of intelligent systems and verification methods. Intelligenza Artificiale Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli
2010	B	`conf`	Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. CONCUR Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, Ahmed Rezine
2010	C	`conf`	Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data. LATA Fernando Rosa-Velardo, Giorgio Delzanno
2010	J	`jnl`	On the verification of membrane systems with dynamic structure. Nat. Comput. Giorgio Delzanno, Laurent Van Begin
2010	B	`conf`	Parameterized Verification of Ad Hoc Networks. CONCUR Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
2010	—	`ch.`	Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. 25 Years GULP Giorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato
2009	C	`conf`	A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations. LATA Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
2009	—	`conf`	Approximated Context-Sensitive Analysis for Parameterized Verification. FMOODS/FORTE Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
2009	J	`jnl`	Approximated parameterized verification of infinite-state processes with global conditions. Formal Methods Syst. Des. Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
2009	—	`conf`	Automatic Verification of Directory-Based Consistency Protocols. RP Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
2009	—	`conf`	Deciding Reachability in Mobile Ambients with Name Restriction. INFINITY Giorgio Delzanno, Roberto Montagna
2009	J	`jnl`	Monotonic Abstraction: on Efficient Verification of Parameterized Systems. Int. J. Found. Comput. Sci. Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine
2009	—	`conf`	The CMSB Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro
2008	C	`conf`	A Biologically Inspired Model with Fusion and Clonation of Membranes. UC Giorgio Delzanno, Laurent Van Begin
2008	—	`conf`	Computational Logic in Genova. Il Milione Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli
2008	B	`conf`	Handling Parameterized Systems with Non-atomic Global Conditions. VMCAI Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine
2008	C	`conf`	Monotonic Abstraction in Action. ICTAC Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
2008	—	`conf`	Monotonic Abstraction in Parameterized Verification. RP Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
2008	—	`conf`	On the Qualitative Analysis of Conformon P Systems. Workshop on Membrane Computing Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
2008	C	`conf`	Parameterized Tree Systems. FORTE Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine
2008	J	`jnl`	Reachability analysis of fragments of mobile ambients in AC term rewriting. Formal Aspects Comput. Giorgio Delzanno, Roberto Montagna
2007	B	`conf`	Comparing the Expressive Power of Well-Structured Transition Systems. CSL Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
2007	J	`jnl`	Constraint-based automatic verification of abstract models of multithreaded programs. Theory Pract. Log. Program. Giorgio Delzanno
2007	—	`conf`	On the Dynamics of PB Systems with Volatile Membranes. Workshop on Membrane Computing Giorgio Delzanno, Laurent Van Begin
2007	A*	`conf`	Parameterized Verification of Infinite-State Processes with Global Conditions. CAV Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
2007	A	`conf`	Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). TACAS Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine
2006	J	`jnl`	Constraint-based automatic verification of abstract models of multithreaded programs CoRR Giorgio Delzanno
2006	J	`jnl`	Constraint-based verification of abstract models of multitreaded programs CoRR Giorgio Delzanno
2006	J	`jnl`	Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. Theory Pract. Log. Program. Giorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli
2006	B	`conf`	Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. ATVA Giorgio Delzanno, Javier Esparza, Jirí Srba
2006	—	`conf`	On Reachability and Spatial Reachability in Fragments of BioAmbients. MeCBIC@ICALP Giorgio Delzanno, Roberto Montagna
2006	C	`conf`	Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. ICTAC Giorgio Delzanno, Roberto Montagna
2005	C	`conf`	A compositional semantics for CHR. PPDP Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
2005	C	`conf`	BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. EUMAS Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi
2005	A*	`conf`	Compositional Verification of Asynchronous Processes via Constraint Solving. ICALP Giorgio Delzanno, Maurizio Gabbrielli
2004	A	`conf`	Automatic Verification of Time Sensitive Cryptographic Protocols. TACAS Giorgio Delzanno, Pierre Ganty
2004	J	`jnl`	Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols. J. Symb. Comput. Marco Bozzano, Giorgio Delzanno
2004	J	`jnl`	Covering sharing trees: a compact data structure for parameterized verification. Int. J. Softw. Tools Technol. Transf. Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin
2004	J	`jnl`	Model Checking Linear Logic Specifications. Theory Pract. Log. Program. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
2004	—	`conf`	SAT-Based Analysis of Cellular Automata. ACRI Massimo D'Antonio, Giorgio Delzanno
2003	—	`conf`	A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus: Extended Abstract. INFINITY Giorgio Delzanno
2003	B	`conf`	Compositional Verification of Infinite State Systems. ICLP Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo
2003	J	`jnl`	Constraint-Based Verification of Parameterized Cache Coherence Protocols. Formal Methods Syst. Des. Giorgio Delzanno
2003	J	`jnl`	Model Checking Linear Logic Specifications CoRR Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
2002	A*	`conf`	Algorithmic Verification of Invalidation-Based Protocols. CAV Marco Bozzano, Giorgio Delzanno
2002	—	`conf`	An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems. WFLP Giorgio Delzanno
2002	J	`jnl`	An effective fixpoint semantics for linear logic programs. Theory Pract. Log. Program. Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
2002	C	`conf`	Automated protocol verification in linear logic. PPDP Marco Bozzano, Giorgio Delzanno
2002	A	`conf`	Beyond Parameterized Verification. TACAS Marco Bozzano, Giorgio Delzanno
2002	—	`conf`	Constraint-Based Model Checking for Parameterized Synchronous Systems. FroCoS Giorgio Delzanno
2002	A	`conf`	Towards the Automated Verification of Multithreaded Java Programs. TACAS Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin
2001	—	`conf`	An Assertional Language for the Verification of Systems Parametric in Several Dimensions. VEPAS Giorgio Delzanno
2001	Misc	`conf`	An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. FLOPS Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
2001	J	`jnl`	An Effective Fixpoint Semantics for Linear Logic Programs CoRR Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
2001	—	`conf`	An embedding of calculi for negation as failure into linear logic. APPIA-GULP-PRODE Giorgio Delzanno, Maurizio Martelli
2001	A*	`conf`	Attacking Symbolic State Explosion. CAV Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin
2001	A	`conf`	Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets. TACAS Rubén Carvajal-Schiaffino, Giorgio Delzanno, Giovanni Chiola
2001	A	`conf`	Constraint-Based Verification of Client-Server Protocols. CP Giorgio Delzanno, Tevfik Bultan
2001	J	`jnl`	Constraint-based deductive model checking. Int. J. Softw. Tools Technol. Transf. Giorgio Delzanno, Andreas Podelski
2001	B	`conf`	Model Checking Communication Protocols. SOFSEM Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski
2001	—	`conf`	On the Relations between Disjunctive and Linear Logic Programming. APPIA-GULP-PRODE Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
2001	C	`conf`	Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. LOPSTR Giorgio Delzanno, Sandro Etalle
2001	J	`jnl`	Proofs as computations in linear logic. Theor. Comput. Sci. Giorgio Delzanno, Maurizio Martelli
2001	Misc	`conf`	Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study. FLOPS Giorgio Delzanno
2000	C	`conf`	A bottom-up semantics for linear logic programs. PPDP Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
2000	A*	`conf`	Automatic Verification of Parameterized Cache Coherence Protocols. CAV Giorgio Delzanno
2000	J	`jnl`	Object calculi in linear logic. J. Log. Comput. Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli
2000	A	`conf`	Symbolic Representation of Upward-Closed Sets. TACAS Giorgio Delzanno, Jean-François Raskin
2000	C	`conf`	Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking. FORTE Giorgio Delzanno
1999	J	`jnl`	A specification logic for concurrent object-oriented programming. Math. Struct. Comput. Sci. Giorgio Delzanno, Didier Galmiche, Maurizio Martelli
1999	B	`conf`	Constraint-Based Analysis of Broadcast Protocols. CSL Giorgio Delzanno, Javier Esparza, Andreas Podelski
1999	—	`ch.`	Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics. The Logic Programming Paradigm Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
1999	A	`conf`	Model Checking in CLP. TACAS Giorgio Delzanno, Andreas Podelski
1999	C	`conf`	Multi-agent Systems Development as a Software Engineering Enterprise. PADL Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
1999	—	`conf`	Verification of Infinite-State Systems in Constraint Logic Programming. JFPLC Giorgio Delzanno, Andreas Podelski
1997	—	`conf`	A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases. APPIA-GULP-PRODE Marco Bozzano, Giorgio Delzanno, Maurizio Martelli
1996	—	`conf`	A Linear Logic Calculus Objects. JICSLP Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli
1996	—	`conf`	Proofs as Computations in Linear Logic. APPIA-GULP-PRODE Giorgio Delzanno, Maurizio Martelli
1995	—	`conf`	Forum Objects. GULP-PRODE Giorgio Delzanno, Maurizio Martelli
1995	—	`conf`	Objects in Forum. ILPS Giorgio Delzanno, Maurizio Martelli
1993	—	`conf`	A Bottom-Up Characterization of Finite Success. ILPS Giorgio Delzanno, Maurizio Martelli