![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Giorgio Delzanno
Person information
- affiliation: University of Genoa, Italy
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c110]Giorgio Delzanno
, Giovanna Guerrini
, Daniele Traversaro
:
Exploring Student Misconceptions about Concurrency Using the Domain-Specific Programing Language "Sonic Pi". SIGCSE (2) 2024: 1622-1623 - 2023
- [j35]Angelo Ferrando, Giorgio Delzanno:
Incrementally predictive runtime verification. J. Log. Comput. 33(4): 796-817 (2023) - [j34]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): 5210 (2023) - [c109]Lorenzo Gerini, Giorgio Delzanno, Giovanna Guerrini, Fabio Solari, Manuela Chessa:
Gamified Virtual Reality for Computational Thinking. Gamify@SIGSOFT FSE 2023: 13-21 - [c108]Angelo Ferrando
, Giorgio Delzanno
:
HyperMonitor: A Python Prototype for Hyper Predictive Runtime Verification. RP 2023: 171-182 - 2022
- [j33]Lorenzo Benvenuto
, Tiziano Cosso, Giorgio Delzanno:
An Adaptive Algorithm for Multipath Mitigation in GNSS Positioning with Android Smartphones. Sensors 22(15): 5790 (2022) - [c107]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: 459-470 - [c106]Giorgio Delzanno
, Angelo Ferrando
, Giovanna Guerrini
, Matteo Pusceddu, Giovanni Zanone:
Coding Maps: A Distance Laboratory on Computational Thinking Inspired by Modal Logic. HELMeTO 2022: 497-508 - 2021
- [j32]Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando
:
Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker. Fundam. Informaticae 178(4): 347-378 (2021) - [c105]Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier:
Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction. CILC 2021: 77-91 - [c104]Angelo Ferrando, Giorgio Delzanno:
Incrementally Predictive Runtime Verification. CILC 2021: 92-106 - [c103]Sylvain Conchon, Giorgio Delzanno, Arnaud Sangnier:
On the Parameterized Verification of Abstract Models of Contact Tracing Protocols. OVERLAY@GandALF 2021: 61-66 - 2020
- [j31]Luca Bixio, Giorgio Delzanno, Stefano Rebora
, Matteo Rulli:
A Flexible IoT Stream Processing Architecture Based on Microservices. Inf. 11(12): 565 (2020) - [c102]Luca Bixio, Giorgio Delzanno, Stefano Rebora, Matteo Rulli:
Adaptive Real Time IoT Stream Processing in Microservices Architecture. Gabbrielli's Festschrift 2020: 12:1-12:20 - [c101]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Marco Montali, Arnaud Sangnier:
On the Formalization of Decentralized Contact Tracing Protocols. OVERLAY 2020: 65-70 - [c100]Giorgio Delzanno, Giovanna Guerrini, Daniele Traversaro:
APCSE'20 Workshop Chairs' Welcome. UMAP (Adjunct Publication) 2020: 105-106 - [c99]Giorgio Delzanno, Giovanna Guerrini, Viviana Mascardi, Daniele Traversaro:
PyWeCode: Towards a Collaborative Coding Framework based on the arcade Python Library. UMAP (Adjunct Publication) 2020: 107-113 - [c98]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: 119-126 - [c97]Daniele Traversaro, Giovanna Guerrini, Giorgio Delzanno:
Sonic Pi for TBL Teaching Units in an Introductory Programming Course. UMAP (Adjunct Publication) 2020: 143-150 - [c96]Giorgio Delzanno, Giovanna Guerrini, Simone Perotto, Flavio Traverso, Sofia Mammoliti, Susanna Staglianò:
Codinji: Welcome to the Coding Jungle! UMAP (Adjunct Publication) 2020: 151-154 - [c95]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: 155-158 - [c94]Giorgio Delzanno, Giovanna Guerrini, Daniele Traversaro:
Adaptation and Personalization in Computer Science Education: APCSE '20. UMAP 2020: 400-401
2010 – 2019
- 2019
- [c93]Giorgio Delzanno:
Towards the Automated Verification of Publish/Subscribe Networks. OVERLAY@AI*IA 2019: 35-40 - [c92]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: 541-549 - [c91]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: 17:1-17:6 - [c90]Giorgio Delzanno:
Parameterised Verification of Publish/Subscribe Networks with Exception Handling. RP 2019: 107-120 - 2018
- [j30]Giorgio Delzanno:
Logic-based Verification of the Distributed Dining Philosophers Protocol. Fundam. Informaticae 161(1-2): 113-133 (2018) - [j29]Domenico Cantone, Giorgio Delzanno:
Games, automata, logics and formal verification (GandALF 2016). Inf. Comput. 262: 187-188 (2018) - [j28]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): 430-436 (2018) - [c89]Giorgio Delzanno:
Parameterized Verification of Publish/Subcribe Protocols via Infinite-state Model Checking. CILC 2018: 97-111 - [c88]Sylvain Conchon, Giorgio Delzanno, Angelo Ferrando
:
Declarative Parameterized Verification of Topology-Sensitive Distributed Protocols. NETYS 2018: 209-224 - [c87]Giorgio Delzanno, Giovanna Guerrini:
An IoT-enabled Framework for Context-aware Role-based Access Control. SEBD 2018 - [c86]Giorgio Delzanno, Giovanna Guerrini, Maurizio Leotta, Marina Ribaudo:
Physical Web for Smart Campus Management. WEBIST 2018: 277-284 - 2017
- [c85]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: 125-138 - [c84]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: 59-74 - [c83]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: 27-42 - 2016
- [j27]Giorgio Delzanno, Arnaud Sangnier
, Riccardo Traverso:
Adding Data Registers to Parameterized Networks with Broadcast. Fundam. Informaticae 143(3-4): 287-316 (2016) - [j26]Parosh Aziz Abdulla, Giorgio Delzanno:
Parameterized verification. Int. J. Softw. Tools Technol. Transf. 18(5): 469-473 (2016) - [j25]Giorgio Delzanno:
A unified view of parameterized verification of abstract models of broadcast communication. Int. J. Softw. Tools Technol. Transf. 18(5): 475-493 (2016) - [j24]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: 1-22 (2016) - [c82]Giorgio Delzanno:
A Logic-based Approach to Verify Distributed Protocols. CILC 2016: 86-101 - [c81]Giorgio Delzanno:
Reachability Predicates for Graph Assertions. RP 2016: 63-76 - [e2]Domenico Cantone, Giorgio Delzanno:
Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016. EPTCS 226, 2016 [contents] - 2015
- [c80]Diego Calvanese, Giorgio Delzanno, Marco Montali:
Verification of Relational Multiagent Systems with Data Types. AAAI 2015: 2031-2037 - [c79]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: 31-45 - [c78]Giorgio Delzanno:
Data Tracking in Parameterized Systems. TGC 2015: 32-46 - [c77]Parosh Aziz Abdulla, Giorgio Delzanno, Marco Montali:
Well Structured Transition Systems with History. GandALF 2015: 115-128 - 2014
- [j23]Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini:
Validating XML document adaptations via Hedge Automata transformations. Theor. Comput. Sci. 560: 251-268 (2014) - [c76]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
:
On the Design of an Intelligent Sensor Network for Flash Flood Monitoring, Diagnosis and Management in Urban Areas - Position Paper. ANT/SEIT 2014: 941-946 - [c75]Giorgio Delzanno:
Parameterized Verification and Model Checking for Distributed Broadcast Protocols. ICGT 2014: 1-16 - [c74]Giorgio Delzanno, Jan Stückrath:
Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations. RP 2014: 72-84 - [c73]Giorgio Delzanno, Arend Rensink, Riccardo Traverso:
Graph- versus Vector-Based Analysis of a Consensus Protocol. GRAPHITE 2014: 44-57 - [c72]Giorgio Delzanno, Michele Tatarek, Riccardo Traverso:
Model Checking Paxos in Spin. GandALF 2014: 131-146 - [i7]Giorgio Delzanno, Jan Stückrath:
Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations. CoRR abs/1407.4394 (2014) - [i6]Diego Calvanese, Giorgio Delzanno, Marco Montali:
Verification of Relational Multiagent Systems with Data Types (Extended Version). CoRR abs/1411.4516 (2014) - 2013
- [j22]Giorgio Delzanno, Igor Potapov:
Preface. Int. J. Found. Comput. Sci. 24(2): 161-164 (2013) - [j21]Giorgio Delzanno, Fernando Rosa-Velardo
:
On the coverability and reachability languages of monotonic extensions of Petri nets. Theor. Comput. Sci. 467: 12-29 (2013) - [c71]Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Andreas Podelski:
Push-Down Automata with Gap-Order Constraints. FSEN 2013: 199-216 - [c70]Giorgio Delzanno, Riccardo Traverso:
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks. LATA 2013: 238-249 - [c69]Giorgio Delzanno, Arnaud Sangnier
, Riccardo Traverso:
Parameterized Verification of Broadcast Networks of Register Automata. RP 2013: 109-121 - [c68]Giorgio Delzanno, Riccardo Traverso:
Specification and Validation of Link Reversal Routing via Graph Transformations. SPIN 2013: 160-177 - 2012
- [j20]Giorgio Delzanno, Ahmed Rezine:
A lightweight regular model checking approach for parameterized systems. Int. J. Softw. Tools Technol. Transf. 14(2): 207-222 (2012) - [j19]Giorgio Delzanno, Gianluigi Zavattaro:
Reachability problems in BioAmbients. Theor. Comput. Sci. 431: 56-74 (2012) - [c67]Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini:
Static Analysis of XML Document Adaptations. ER Workshops 2012: 57-66 - [c66]Giorgio Delzanno, Arnaud Sangnier
, Gianluigi Zavattaro:
Verification of Ad Hoc Networks with Node and Communication Failures. FMOODS/FORTE 2012: 235-250 - [c65]Giorgio Delzanno, Arnaud Sangnier
, Riccardo Traverso, Gianluigi Zavattaro:
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks. FSTTCS 2012: 289-300 - [c64]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: 101-116 - [c63]Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini:
Automata-based Static Analysis of XML Document Adaptation. GandALF 2012: 85-98 - [i5]Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro:
The Cost of Parameterized Reachability in Mobile Ad Hoc Networks. CoRR abs/1202.5850 (2012) - 2011
- [j18]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) - [j17]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) - [j16]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) - [c62]Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier
, Riccardo Traverso:
On the Verification of Timed Ad Hoc Networks. FORMATS 2011: 256-270 - [c61]Giorgio Delzanno, Arnaud Sangnier
, Gianluigi Zavattaro:
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks. FoSSaCS 2011: 441-455 - [c60]Giorgio Delzanno, Arnaud Sangnier
, Gianluigi Zavattaro:
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols. PACO 2011: 56-65 - [e1]Giorgio Delzanno, Igor Potapov:
Reachability Problems - 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings. Lecture Notes in Computer Science 6945, Springer 2011, ISBN 978-3-642-24287-8 [contents] - 2010
- [j15]Giorgio Delzanno, Laurent Van Begin:
On the verification of membrane systems with dynamic structure. Nat. Comput. 9(4): 795-818 (2010) - [c59]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 - [c58]Giorgio Delzanno, Arnaud Sangnier
, Gianluigi Zavattaro:
Parameterized Verification of Ad Hoc Networks. CONCUR 2010: 313-327 - [c57]Fernando Rosa-Velardo
, Giorgio Delzanno:
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data. LATA 2010: 524-535 - [p2]Giorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato:
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. 25 Years GULP 2010: 136-158
2000 – 2009
- 2009
- [j14]Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Approximated parameterized verification of infinite-state processes with global conditions. Formal Methods Syst. Des. 34(2): 126-156 (2009) - [j13]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) - [c56]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 - [c55]Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Approximated Context-Sensitive Analysis for Parameterized Verification. FMOODS/FORTE 2009: 41-56 - [c54]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 - [c53]Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Automatic Verification of Directory-Based Consistency Protocols. RP 2009: 36-50 - [c52]Giorgio Delzanno, Roberto Montagna:
Deciding Reachability in Mobile Ambients with Name Restriction. INFINITY 2009: 5-15 - 2008
- [j12]Giorgio Delzanno, Roberto Montagna:
Reachability analysis of fragments of mobile ambients in AC term rewriting. Formal Aspects Comput. 20(4-5): 407-428 (2008) - [c51]Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli:
Computational Logic in Genova. Il Milione 2008 - [c50]Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine:
Parameterized Tree Systems. FORTE 2008: 69-83 - [c49]Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Monotonic Abstraction in Action. ICTAC 2008: 50-65 - [c48]Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin:
On the Qualitative Analysis of Conformon P Systems. Workshop on Membrane Computing 2008: 78-94 - [c47]Giorgio Delzanno, Laurent Van Begin:
A Biologically Inspired Model with Fusion and Clonation of Membranes. UC 2008: 64-82 - [c46]Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine:
Handling Parameterized Systems with Non-atomic Global Conditions. VMCAI 2008: 22-36 - [c45]Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Monotonic Abstraction in Parameterized Verification. RP 2008: 3-14 - 2007
- [j11]Giorgio Delzanno:
Constraint-based automatic verification of abstract models of multithreaded programs. Theory Pract. Log. Program. 7(1-2): 67-91 (2007) - [c44]Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Parameterized Verification of Infinite-State Processes with Global Conditions. CAV 2007: 145-157 - [c43]Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin:
Comparing the Expressive Power of Well-Structured Transition Systems. CSL 2007: 99-114 - [c42]Giorgio Delzanno, Laurent Van Begin:
On the Dynamics of PB Systems with Volatile Membranes. Workshop on Membrane Computing 2007: 240-256 - [c41]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 - 2006
- [j10]Giorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli
:
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. Theory Pract. Log. Program. 6(3): 225-226 (2006) - [c40]Giorgio Delzanno, Javier Esparza
, Jirí Srba
:
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. ATVA 2006: 415-429 - [c39]Giorgio Delzanno, Roberto Montagna:
Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. ICTAC 2006: 302-316 - [c38]Giorgio Delzanno, Roberto Montagna:
On Reachability and Spatial Reachability in Fragments of BioAmbients. MeCBIC@ICALP 2006: 69-79 - [i4]Giorgio Delzanno:
Constraint-based verification of abstract models of multitreaded programs. CoRR abs/cs/0601037 (2006) - [i3]Giorgio Delzanno:
Constraint-based automatic verification of abstract models of multithreaded programs. CoRR abs/cs/0601038 (2006) - 2005
- [c37]Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi:
BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. EUMAS 2005: 214-223 - [c36]Giorgio Delzanno, Maurizio Gabbrielli
:
Compositional Verification of Asynchronous Processes via Constraint Solving. ICALP 2005: 1239-1250 - [c35]Giorgio Delzanno, Maurizio Gabbrielli
, Maria Chiara Meo
:
A compositional semantics for CHR. PPDP 2005: 209-217 - 2004
- [j9]Marco Bozzano
, Giorgio Delzanno:
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols. J. Symb. Comput. 38(5): 1375-1415 (2004) - [j8]Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin:
Covering sharing trees: a compact data structure for parameterized verification. Int. J. Softw. Tools Technol. Transf. 5(2-3): 268-297 (2004) - [j7]Marco Bozzano
, Giorgio Delzanno, Maurizio Martelli:
Model Checking Linear Logic Specifications. Theory Pract. Log. Program. 4(5-6): 573-619 (2004) - [c34]Massimo D'Antonio, Giorgio Delzanno:
SAT-Based Analysis of Cellular Automata. ACRI 2004: 745-754 - [c33]Giorgio Delzanno, Pierre Ganty:
Automatic Verification of Time Sensitive Cryptographic Protocols. TACAS 2004: 342-356 - 2003
- [j6]Giorgio Delzanno:
Constraint-Based Verification of Parameterized Cache Coherence Protocols. Formal Methods Syst. Des. 23(3): 257-301 (2003) - [c32]Giorgio Delzanno, Maurizio Gabbrielli
, Maria Chiara Meo
:
Compositional Verification of Infinite State Systems. ICLP 2003: 47-48 - [c31]Giorgio Delzanno:
A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus: Extended Abstract. INFINITY 2003: 21-33 - [i2]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
Model Checking Linear Logic Specifications. CoRR cs.PL/0309003 (2003) - 2002
- [j5]Marco Bozzano
, Giorgio Delzanno, Maurizio Martelli:
An effective fixpoint semantics for linear logic programs. Theory Pract. Log. Program. 2(1): 85-122 (2002) - [c30]Marco Bozzano, Giorgio Delzanno:
Algorithmic Verification of Invalidation-Based Protocols. CAV 2002: 295-308 - [c29]Giorgio Delzanno:
Constraint-Based Model Checking for Parameterized Synchronous Systems. FroCoS 2002: 72-86 - [c28]Marco Bozzano
, Giorgio Delzanno:
Automated protocol verification in linear logic. PPDP 2002: 38-49 - [c27]Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin:
Towards the Automated Verification of Multithreaded Java Programs. TACAS 2002: 173-187 - [c26]Marco Bozzano, Giorgio Delzanno:
Beyond Parameterized Verification. TACAS 2002: 221-235 - [c25]Giorgio Delzanno:
An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems. WFLP 2002: 65-82 - 2001
- [j4]Giorgio Delzanno, Andreas Podelski:
Constraint-based deductive model checking. Int. J. Softw. Tools Technol. Transf. 3(3): 250-270 (2001) - [j3]Giorgio Delzanno, Maurizio Martelli:
Proofs as computations in linear logic. Theor. Comput. Sci. 258(1-2): 269-297 (2001) - [c24]Giorgio Delzanno, Maurizio Martelli:
An embedding of calculi for negation as failure into linear logic. APPIA-GULP-PRODE 2001: 165-179 - [c23]Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin:
Attacking Symbolic State Explosion. CAV 2001: 298-310 - [c22]Giorgio Delzanno, Tevfik Bultan:
Constraint-Based Verification of Client-Server Protocols. CP 2001: 286-301 - [c21]Giorgio Delzanno:
Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study. FLOPS 2001: 123-137 - [c20]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. FLOPS 2001: 138-152 - [c19]Giorgio Delzanno, Sandro Etalle:
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. LOPSTR 2001: 76-90 - [c18]Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski:
Model Checking Communication Protocols. SOFSEM 2001: 160-170 - [c17]Rubén Carvajal-Schiaffino, Giorgio Delzanno, Giovanni Chiola:
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets. TACAS 2001: 435-449 - [c16]Marco Bozzano
, Giorgio Delzanno, Maurizio Martelli:
On the Relations between Disjunctive and Linear Logic Programming. APPIA-GULP-PRODE 2001: 65-89 - [c15]Giorgio Delzanno:
An Assertional Language for the Verification of Systems Parametric in Several Dimensions. VEPAS 2001: 371-385 - [i1]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
An Effective Fixpoint Semantics for Linear Logic Programs. CoRR cs.PL/0102025 (2001) - 2000
- [j2]Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli:
Object calculi in linear logic. J. Log. Comput. 10(1): 75-104 (2000) - [c14]Giorgio Delzanno:
Automatic Verification of Parameterized Cache Coherence Protocols. CAV 2000: 53-68 - [c13]Giorgio Delzanno:
Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking. FORTE 2000: 171-186 - [c12]Marco Bozzano
, Giorgio Delzanno, Maurizio Martelli:
A bottom-up semantics for linear logic programs. PPDP 2000: 92-102 - [c11]Giorgio Delzanno, Jean-François Raskin:
Symbolic Representation of Upward-Closed Sets. TACAS 2000: 426-440
1990 – 1999
- 1999
- [j1]Giorgio Delzanno, Didier Galmiche, Maurizio Martelli:
A specification logic for concurrent object-oriented programming. Math. Struct. Comput. Sci. 9(3): 253-286 (1999) - [c10]Giorgio Delzanno, Javier Esparza
, Andreas Podelski:
Constraint-Based Analysis of Broadcast Protocols. CSL 1999: 50-66 - [c9]Giorgio Delzanno, Andreas Podelski:
Verification of Infinite-State Systems in Constraint Logic Programming. JFPLC 1999: 13-22 - [c8]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
:
Multi-agent Systems Development as a Software Engineering Enterprise. PADL 1999: 46-60 - [c7]Giorgio Delzanno, Andreas Podelski:
Model Checking in CLP. TACAS 1999: 223-239 - [p1]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini
:
Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics. The Logic Programming Paradigm 1999: 5-32 - 1997
- [c6]Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases. APPIA-GULP-PRODE 1997: 105-116 - 1996
- [c5]Giorgio Delzanno, Maurizio Martelli:
Proofs as Computations in Linear Logic. APPIA-GULP-PRODE 1996: 155-166 - [c4]Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli:
A Linear Logic Calculus Objects. JICSLP 1996: 67-81 - 1995
- [c3]Giorgio Delzanno, Maurizio Martelli:
Forum Objects. GULP-PRODE 1995: 283-294 - [c2]Giorgio Delzanno, Maurizio Martelli:
Objects in Forum. ILPS 1995: 115-129 - 1993
- [c1]Giorgio Delzanno, Maurizio Martelli:
A Bottom-Up Characterization of Finite Success. ILPS 1993: 676
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint