


default search action
Giorgio Delzanno
Person information
- affiliation: University of Genoa, Italy
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j37]Lorenzo Gerini, Giorgio Delzanno
, Giovanna Guerrini
, Fabio Solari
, Manuela Chessa
:
XRCoding: introducing computational thinking and coding in a gamified eXtended reality. Softw. Qual. J. 33(1): 2 (2025) - 2024
- [j36]Daniele Traversaro, Giorgio Delzanno, Giovanna Guerrini:
"Hear" and "Play" Students Misconceptions on Concurrent Programming using Sonic Pi. Informatics Educ. 23(3): 679-718 (2024) - [c114]Georgii Kurshakov, Andrea Maffia, Tiziano Cosso, Renzo Chiostri, Vittorio Sanguineti, Giorgio Delzanno:
Loosely-Coupled GNSS/INS Integration for Foot Trajectory Reconstruction in Outdoor Environments. BioRob 2024: 1409-1414 - [c113]Davide Ponzini, Giovanni Adorni, Giorgio Delzanno, Giovanna Guerrini:
Toward the use of Generative AI to develop Computational Thinking by supporting Problem Decomposition. Ital-IA 2024: 89-94 - [c112]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) - [c111]Lorenzo Gerini, Giorgio Delzanno, Giovanna Guerrini, Fabio Solari, Manuela Chessa:
Gamified Virtual Reality for Computational Thinking. Gamify@SIGSOFT FSE 2023: 13-21 - [c110]Giorgio Delzanno, Daniele Grosso, Giovanna Guerrini, Federico Lebole, Silvia Priarone, Enrica Roccotiello, Angela Sugliano, Giovanni Zanone, Giovanni Adorni:
BotBid - From Botany to Big Data: Combining Citizen Science and Innovative Teaching Methodologies. HELMeTO 2023: 112-127 - [c109]Lorenzo Gerini
, Manuela Chessa
, Giorgio Delzanno
, Giovanna Guerrini
, Fabio Solari
:
A 3D Visual Programming Language for Tangible Coding in Extended Reality. HELMeTO 2023: 699-713 - [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]