Giorgio Delzanno

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 42

Top Venues

UMAP (Adjunct Publication)

CILC

Fundam. Informaticae

Publications

Giorgio Delzanno, Giovanna Guerrini, Daniele Traversaro
Exploring Student Misconceptions about Concurrency Using the Domain-Specific Programing Language "Sonic Pi". SIGCSE (2) (2024)
Lorenzo Gerini, Giorgio Delzanno, Giovanna Guerrini, Fabio Solari, Manuela Chessa
Gamified Virtual Reality for Computational Thinking. Gamify@SIGSOFT FSE (2023)
Giorgio Delzanno, Luca Caputo, Daniele D'Agostino, Daniele Grosso, Abdul Hannan Mustajab, Luca Bixio, Matteo Rulli
Automatic Passenger Counting on the Edge via Unsupervised Clustering. Sensors 23 (11) (2023)
Angelo Ferrando, Giorgio Delzanno
Incrementally predictive runtime verification. J. Log. Comput. 33 (4) (2023)
Angelo Ferrando, Giorgio Delzanno
HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification. RP (2023)
Giorgio Delzanno, Angelo Ferrando, Giovanna Guerrini, Matteo Pusceddu, Giovanni Zanone
Coding Maps: A Distance Laboratory on Computational Thinking Inspired by Modal Logic. HELMeTO (2022)
Giorgio Delzanno, Luca Gelati, Giovanna Guerrini, Angela Sugliano, Daniele Traversaro
Experience-Based Training in Computer Science Education via Online Multiplayer Games on Computational Thinking. HELMeTO (2022)
Lorenzo Benvenuto, Tiziano Cosso, Giorgio Delzanno
An Adaptive Algorithm for Multipath Mitigation in GNSS Positioning with Android Smartphones. Sensors 22 (15) (2022)
Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction. CILC (2021)
Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier
On the Parameterized Verification of Abstract Models of Contact Tracing Protocols. OVERLAY@GandALF (2021)
Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando
Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker. Fundam. Informaticae 178 (4) (2021)
Angelo Ferrando, Giorgio Delzanno
Incrementally Predictive Runtime Verification. CILC (2021)
Daniele Traversaro, Giovanna Guerrini, Giorgio Delzanno
Sonic Pi for TBL Teaching Units in an Introductory Programming Course. UMAP (Adjunct Publication) (2020)
Luca Bixio, Giorgio Delzanno, Stefano Rebora, Matteo Rulli
Adaptive Real Time IoT Stream Processing in Microservices Architecture. Gabbrielli's Festschrift (2020)
Luca Bixio, Giorgio Delzanno, Stefano Rebora, Matteo Rulli
A Flexible IoT Stream Processing Architecture Based on Microservices. Inf. 11 (12) (2020)
Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi, Daniele Traversaro
PyWeCode: Towards a Collaborative Coding Framework based on the arcade Python Library. UMAP (Adjunct Publication) (2020)
Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi, Luca Gelati, Vincenzo Petito, Francesca Vitali, Angelo Ferrando, Davide Ancona, Manuela Chessa, Nicoletta Noceti, Francesca Odone
Slow Rogaining: An Innovative Teamwork Model for Computer Science Education. UMAP (Adjunct Publication) (2020)
Davide Ancona, Lorenzo Benvenuto, Giorgio Delzanno, Gianluca Gambari
Flow Programming: A Flexible way to bring the Internet of Things into the Lab. UMAP (Adjunct Publication) (2020)
Giorgio Delzanno, Giovanna Guerrini, Daniele Traversaro
APCSE'20 Workshop Chairs' Welcome. UMAP (Adjunct Publication) (2020)
Giorgio Delzanno, Giovanna Guerrini, Simone Perotto, Flavio Traverso, Sofia Mammoliti, Susanna Staglianò
Codinji: Welcome to the Coding Jungle! UMAP (Adjunct Publication) (2020)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali, Arnaud Sangnier
On the Formalization of Decentralized Contact Tracing Protocols. OVERLAY (2020)
Giorgio Delzanno, Giovanna Guerrini, Daniele Traversaro
Adaptation and Personalization in Computer Science Education: APCSE '20. UMAP (2020)
Chiara Capone, Rafael H. Bordini, Viviana Mascardi, Giorgio Delzanno, Angelo Ferrando, Luca Gelati, Giovanna Guerrini
Smart RogAgent: Where Agents and Humans Team Up. PRIMA (2019)
Maurizio Leotta, Vincenzo Petito, Luca Gelati, Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi
Orchestrated crowdsourced testing of a mobile web application: a case study. Programming (2019)
Giorgio Delzanno
Parameterised Verification of Publish/Subscribe Networks with Exception Handling. RP (2019)
Giorgio Delzanno
Towards the Automated Verification of Publish/Subscribe Networks. OVERLAY@AI*IA (2019)
Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando
Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols. NETYS (2018)
Giorgio Delzanno, Giovanna Guerrini, Maurizio Leotta, Marina Ribaudo
Physical Web for Smart Campus Management. WEBIST (2018)
Domenico Cantone, Giorgio Delzanno
Games, automata, logics and formal verification (GandALF 2016). Inf. Comput. 262 (2018)
Giorgio Delzanno
Logic-based Verification of the Distributed Dining Philosophers Protocol. Fundam. Informaticae 161 (1-2) (2018)
Giorgio Delzanno, Giovanna Guerrini
An IoT-enabled Framework for Context-aware Role-based Access Control. SEBD (2018)
Maurizio Leotta, Diego Clerissi, Dario Olianas, Filippo Ricca, Davide Ancona, Giorgio Delzanno, Luca Franceschini, Marina Ribaudo
An acceptance testing approach for Internet of Things systems. IET Softw. 12 (5) (2018)
Giorgio Delzanno
Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model Checking. CILC (2018)
Davide Ancona, Giorgio Delzanno, Luca Franceschini, Maurizio Leotta, Enrico Prampolini, Marina Ribaudo, Filippo Ricca
An Abstract Machine for Asynchronous Programs with Closures and Priority Queues. RP (2017)
Maurizio Leotta, Filippo Ricca, Diego Clerissi, Davide Ancona, Giorgio Delzanno, Marina Ribaudo, Luca Franceschini
Towards an Acceptance Testing Approach for Internet of Things Systems. ICWE Workshops (2017)
Davide Ancona, Luca Franceschini, Giorgio Delzanno, Maurizio Leotta, Marina Ribaudo, Filippo Ricca
Towards Runtime Monitoring of Node.js and Its Application to the Internet of Things. ALP4IoT@iFM (2017)
Parosh Aziz Abdulla, Giorgio Delzanno
Parameterized verification. Int. J. Softw. Tools Technol. Transf. 18 (5) (2016)
Giorgio Delzanno
A Logic-based Approach to Verify Distributed Protocols. CILC (2016)
Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso
Parameterized verification of time-sensitive models of ad hoc network protocols. Theor. Comput. Sci. 612 (2016)
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso
Adding Data Registers to Parameterized Networks with Broadcast. Fundam. Informaticae 143 (3-4) (2016)
Giorgio Delzanno
Reachability Predicates for Graph Assertions. RP (2016)
Giorgio Delzanno
A unified view of parameterized verification of abstract models of broadcast communication. Int. J. Softw. Tools Technol. Transf. 18 (5) (2016)
Giorgio Delzanno
Data Tracking in Parameterized Systems. TGC (2015)
Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella
Computational thinking for beginners: A successful experience using Prolog. CILC (2015)
Parosh Aziz Abdulla, Giorgio Delzanno, Marco Montali
Well Structured Transition Systems with History. GandALF (2015)
Diego Calvanese, Giorgio Delzanno, Marco Montali
Verification of Relational Multiagent Systems with Data Types. AAAI (2015)
Giorgio Delzanno, Jan Stückrath
Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations. CoRR (2014)
Giorgio Delzanno
Parameterized Verification and Model Checking for Distributed Broadcast Protocols. ICGT (2014)
Diego Calvanese, Giorgio Delzanno, Marco Montali
Verification of Relational Multiagent Systems with Data Types (Extended Version). CoRR (2014)
Giorgio Delzanno, Jan Stückrath
Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations. RP (2014)
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, G. Zolezzi
On the Design of an Intelligent Sensor Network for Flash Flood Monitoring, Diagnosis and Management in Urban Areas - Position Paper. ANT/SEIT (2014)
Giorgio Delzanno, Arend Rensink, Riccardo Traverso
Graph- versus Vector-Based Analysis of a Consensus Protocol. GRAPHITE (2014)
Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini
Validating XML document adaptations via Hedge Automata transformations. Theor. Comput. Sci. 560 (2014)
Giorgio Delzanno, Michele Tatarek, Riccardo Traverso
Model Checking Paxos in Spin. GandALF (2014)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Andreas Podelski
Push-Down Automata with Gap-Order Constraints. FSEN (2013)
Giorgio Delzanno, Riccardo Traverso
Specification and Validation of Link Reversal Routing via Graph Transformations. SPIN (2013)
Giorgio Delzanno, Fernando Rosa-Velardo
On the coverability and reachability languages of monotonic extensions of Petri nets. Theor. Comput. Sci. 467 (2013)
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso
Parameterized Verification of Broadcast Networks of Register Automata. RP (2013)
Giorgio Delzanno, Riccardo Traverso
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks. LATA (2013)
Giorgio Delzanno, Igor Potapov
Preface. Int. J. Found. Comput. Sci. 24 (2) (2013)
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro
The Cost of Parameterized Reachability in Mobile Ad Hoc Networks CoRR (2012)
Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini
Static Analysis of XML Document Adaptations. ER Workshops (2012)
Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini
Automata-based Static Analysis of XML Document Adaptation GandALF (2012)
Giorgio Delzanno, Gianluigi Zavattaro
Reachability problems in BioAmbients. Theor. Comput. Sci. 431 (2012)
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
Verification of Ad Hoc Networks with Node and Communication Failures. FMOODS/FORTE (2012)
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks. FSTTCS (2012)
Giorgio Delzanno, Ahmed Rezine
A lightweight regular model checking approach for parameterized systems. Int. J. Softw. Tools Technol. Transf. 14 (2) (2012)
Nathalie Bertrand, Giorgio Delzanno, Barbara König, Arnaud Sangnier, Jan Stückrath
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems. RTA (2012)
Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso
On the Verification of Timed Ad Hoc Networks. FORMATS (2011)
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
Automatic Verification of Directory-Based Consistency Protocols with Graph Constraints. Int. J. Found. Comput. Sci. 22 (4) (2011)
Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli
Some applications of Computational Logic to the development of intelligent systems and verification methods. Intelligenza Artificiale 5 (1) (2011)
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks. FoSSaCS (2011)
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
A classification of the expressive power of well-structured transition systems. Inf. Comput. 209 (3) (2011)
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols PACO (2011)
Fernando Rosa-Velardo, Giorgio Delzanno
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data. LATA (2010)
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)
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro
Parameterized Verification of Ad Hoc Networks. CONCUR (2010)
Giorgio Delzanno, Laurent Van Begin
On the verification of membrane systems with dynamic structure. Nat. Comput. 9 (4) (2010)
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
Approximated Context-Sensitive Analysis for Parameterized Verification. FMOODS/FORTE (2009)
Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro
-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. CMSB (2009)
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)
Giorgio Delzanno, Roberto Montagna
Deciding Reachability in Mobile Ambients with Name Restriction. INFINITY (2009)
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) (2009)
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
Automatic Verification of Directory-Based Consistency Protocols. RP (2009)
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
Approximated parameterized verification of infinite-state processes with global conditions. Formal Methods Syst. Des. 34 (2) (2009)
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
Monotonic Abstraction in Action. ICTAC (2008)
Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli
Computational Logic in Genova. Il Milione (2008)
Giorgio Delzanno, Roberto Montagna
Reachability analysis of fragments of mobile ambients in AC term rewriting. Formal Aspects Comput. 20 (4-5) (2008)
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine
Parameterized Tree Systems. FORTE (2008)
Giorgio Delzanno, Laurent Van Begin
A Biologically Inspired Model with Fusion and Clonation of Membranes. UC (2008)
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
Monotonic Abstraction in Parameterized Verification. Electron. Notes Theor. Comput. Sci. 223 (2008)
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine
Handling Parameterized Systems with Non-atomic Global Conditions. VMCAI (2008)
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
On the Qualitative Analysis of Conformon P Systems. Workshop on Membrane Computing (2008)
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine
Parameterized Verification of Infinite-State Processes with Global Conditions. CAV (2007)
Parosh Aziz Abdulla, Giorgio Delzanno, Noomene Ben Henda, Ahmed Rezine
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems). TACAS (2007)
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin
Comparing the Expressive Power of Well-Structured Transition Systems. CSL (2007)
Giorgio Delzanno, Laurent Van Begin
On the Dynamics of PB Systems with Volatile Membranes. Workshop on Membrane Computing (2007)
Giorgio Delzanno, Roberto Montagna
On Reachability and Spatial Reachability in Fragments of BioAmbients. Electron. Notes Theor. Comput. Sci. 171 (2) (2007)
Giorgio Delzanno
Constraint-based automatic verification of abstract models of multithreaded programs. Theory Pract. Log. Program. 7 (1-2) (2007)
Giorgio Delzanno, Javier Esparza, Jirí Srba
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. ATVA (2006)

Giorgio Delzanno.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Giorgio Delzanno