ask others

Giorgio Delzanno

> Home > Persons

Person information

affiliation: University of Genoa, Italy

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c78]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icwe/LeottaRCADRF17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icwe/LeottaRCADRF17
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
[c77]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rp/AnconaDFLPRR17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rp/AnconaDFLPRR17
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
[c76]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1802-01790
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1802-01790
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
[j34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fuin/DelzannoST16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fuin/DelzannoST16
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso:
Adding Data Registers to Parameterized Networks with Broadcast. Fundam. Inform. 143(3-4): 287-316 (2016)
[j33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/AbdullaD16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/AbdullaD16
Parosh Aziz Abdulla, Giorgio Delzanno:
Parameterized verification. STTT 18(5): 469-473 (2016)
[j32]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/Delzanno16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/Delzanno16
Giorgio Delzanno:
A unified view of parameterized verification of abstract models of broadcast communication. STTT 18(5): 475-493 (2016)
[j31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/AbdullaDRST16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/AbdullaDRST16
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)
[c75]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/cilc/Delzanno16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cilc/Delzanno16
Giorgio Delzanno:
A Logic-based Approach to Verify Distributed Protocols. CILC 2016: 86-101
[c74]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rp/Delzanno16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rp/Delzanno16
Giorgio Delzanno:
Reachability Predicates for Graph Assertions. RP 2016: 63-76
[e2]
- view
- export record
  dblp key:
  - journals/corr/CantoneD16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/CantoneD16
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
[c73]
- view
  - electronic edition @ aaai.org
- export record
  dblp key:
  - conf/aaai/CalvaneseDM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aaai/CalvaneseDM15
Diego Calvanese, Giorgio Delzanno, Marco Montali:
Verification of Relational Multiagent Systems with Data Types. AAAI 2015: 2031-2037
[c72]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/cilc/BeuxBCDFFGMOPST15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cilc/BeuxBCDFFGMOPST15
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
[c71]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tgc/Delzanno15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tgc/Delzanno15
Giorgio Delzanno:
Data Tracking in Parameterized Systems. TGC 2015: 32-46
[c70]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/AbdullaDM15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/AbdullaDM15
Parosh Aziz Abdulla, Giorgio Delzanno, Marco Montali:
Well Structured Transition Systems with History. GandALF 2015: 115-128
2014
[j30]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/SolimandoDG14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/SolimandoDG14
Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini:
Validating XML document adaptations via Hedge Automata transformations. Theor. Comput. Sci. 560: 251-268 (2014)
[c69]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ant/AnconaCDDDFGGCRSTZ14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ant/AnconaCDDDFGGCRSTZ14
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: 941-946
[c68]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/gg/Delzanno14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/gg/Delzanno14
Giorgio Delzanno:
Parameterized Verification and Model Checking for Distributed Broadcast Protocols. ICGT 2014: 1-16
[c67]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rp/DelzannoS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rp/DelzannoS14
Giorgio Delzanno, Jan Stückrath:
Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations. RP 2014: 72-84
[c66]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/DelzannoRT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/DelzannoRT14
Giorgio Delzanno, Arend Rensink, Riccardo Traverso:
Graph- versus Vector-Based Analysis of a Consensus Protocol. GRAPHITE 2014: 44-57
[c65]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/DelzannoTT14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/DelzannoTT14
Giorgio Delzanno, Michele Tatarek, Riccardo Traverso:
Model Checking Paxos in Spin. GandALF 2014: 131-146
[i7]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/DelzannoS14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/DelzannoS14
Giorgio Delzanno, Jan Stückrath:
Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations. CoRR abs/1407.4394 (2014)
[i6]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/CalvaneseDM14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/CalvaneseDM14
Diego Calvanese, Giorgio Delzanno, Marco Montali:
Verification of Relational Multiagent Systems with Data Types (Extended Version). CoRR abs/1411.4516 (2014)
2013
[j29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ijfcs/DelzannoP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ijfcs/DelzannoP13
Giorgio Delzanno, Igor Potapov:
Preface. Int. J. Found. Comput. Sci. 24(2): 161-164 (2013)
[j28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/DelzannoR13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/DelzannoR13
Giorgio Delzanno, Fernando Rosa-Velardo:
On the coverability and reachability languages of monotonic extensions of Petri nets. Theor. Comput. Sci. 467: 12-29 (2013)
[c64]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsen/AbdullaADP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsen/AbdullaADP13
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Giorgio Delzanno, Andreas Podelski:
Push-Down Automata with Gap-Order Constraints. FSEN 2013: 199-216
[c63]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lata/DelzannoT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lata/DelzannoT13
Giorgio Delzanno, Riccardo Traverso:
Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks. LATA 2013: 238-249
[c62]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rp/DelzannoST13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rp/DelzannoST13
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso:
Parameterized Verification of Broadcast Networks of Register Automata. RP 2013: 109-121
[c61]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/spin/DelzannoT13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/spin/DelzannoT13
Giorgio Delzanno, Riccardo Traverso:
Specification and Validation of Link Reversal Routing via Graph Transformations. SPIN 2013: 160-177
2012
[j27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/DelzannoR12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/DelzannoR12
Giorgio Delzanno, Ahmed Rezine:
A lightweight regular model checking approach for parameterized systems. STTT 14(2): 207-222 (2012)
[j26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/DelzannoZ12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/DelzannoZ12
Giorgio Delzanno, Gianluigi Zavattaro:
Reachability problems in BioAmbients. Theor. Comput. Sci. 431: 56-74 (2012)
[c60]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/er/SolimandoDG12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/er/SolimandoDG12
Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini:
Static Analysis of XML Document Adaptations. ER Workshops 2012: 57-66
[c59]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/forte/DelzannoSZ12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/DelzannoSZ12
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro:
Verification of Ad Hoc Networks with Node and Communication Failures. FMOODS/FORTE 2012: 235-250
[c58]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fsttcs/DelzannoSTZ12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fsttcs/DelzannoSTZ12
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro:
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks. FSTTCS 2012: 289-300
[c57]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rta/BertrandDKSS12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rta/BertrandDKSS12
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
[c56]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1210-2453
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1210-2453
Alessandro Solimando, Giorgio Delzanno, Giovanna Guerrini:
Automata-based Static Analysis of XML Document Adaptation. GandALF 2012: 85-98
[i5]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1202-5850
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1202-5850
Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro:
The Cost of Parameterized Reachability in Mobile Ad Hoc Networks. CoRR abs/1202.5850 (2012)
2011
[j25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ia/MascardiDM11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ia/MascardiDM11
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)
[j24]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/AbdullaDB11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/AbdullaDB11
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)
[j23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ijfcs/AbdullaDR11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ijfcs/AbdullaDR11
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)
[c55]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/formats/AbdullaDRST11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/formats/AbdullaDRST11
Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso:
On the Verification of Timed Ad Hoc Networks. FORMATS 2011: 256-270
[c54]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/fossacs/DelzannoSZ11
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/fossacs/DelzannoSZ11
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro:
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks. FOSSACS 2011: 441-455
[c53]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1108-1864
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1108-1864
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro:
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols. PACO 2011: 56-65
[e1]
- view
  - table of contents in dblp
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rp/2011
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rp/2011
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
[j22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/nc/DelzannoB10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/nc/DelzannoB10
Giorgio Delzanno, Laurent Van Begin:
On the verification of membrane systems with dynamic structure. Natural Computing 9(4): 795-818 (2010)
[c52]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/agp/DelzannoGR10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/agp/DelzannoGR10
Giorgio Delzanno, Roberto Giacobazzi, Francesco Ranzato:
Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming. 25 Years GULP 2010: 136-158
[c51]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/AbdullaCDHHR10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/AbdullaCDHHR10
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
[c50]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/concur/DelzannoSZ10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/concur/DelzannoSZ10
Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro:
Parameterized Verification of Ad Hoc Networks. CONCUR 2010: 313-327
[c49]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lata/VelardoD10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lata/VelardoD10
Fernando Rosa-Velardo, Giorgio Delzanno:
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data. LATA 2010: 524-535

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[j21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/DelzannoM09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/DelzannoM09
Giorgio Delzanno, Roberto Montagna:
Deciding Reachability in Mobile Ambients with Name Restriction. Electr. Notes Theor. Comput. Sci. 239: 5-15 (2009)
[j20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/AbdullaDR09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/AbdullaDR09
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Approximated parameterized verification of infinite-state processes with global conditions. Formal Methods in System Design 34(2): 126-156 (2009)
[j19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/ijfcs/AbdullaDHR09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/ijfcs/AbdullaDHR09
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)
[c48]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cmsb/DelzannoGGLZ09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cmsb/DelzannoGGLZ09
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
[c47]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/forte/AbdullaDR09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/AbdullaDR09
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Approximated Context-Sensitive Analysis for Parameterized Verification. FMOODS/FORTE 2009: 41-56
[c46]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lata/AbdullaDB09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lata/AbdullaDB09
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
[c45]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rp/AbdullaDR09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rp/AbdullaDR09
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Automatic Verification of Directory-Based Consistency Protocols. RP 2009: 36-50
2008
[j18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/AbdullaDR08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/AbdullaDR08
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Monotonic Abstraction in Parameterized Verification. Electr. Notes Theor. Comput. Sci. 223: 3-14 (2008)
[j17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fac/DelzannoM08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fac/DelzannoM08
Giorgio Delzanno, Roberto Montagna:
Reachability analysis of fragments of mobile ambients in AC term rewriting. Formal Asp. Comput. 20(4-5): 407-428 (2008)
[c44]
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/birthday/MascardiDM08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/birthday/MascardiDM08
Viviana Mascardi, Giorgio Delzanno, Maurizio Martelli:
Computational Logic in Genova. Il Milione 2008
[c43]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/forte/AbdullaHDHR08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/AbdullaHDHR08
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine:
Parameterized Tree Systems. FORTE 2008: 69-83
[c42]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ictac/AbdullaDR08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ictac/AbdullaDR08
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Monotonic Abstraction in Action. ICTAC 2008: 50-65
[c41]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/membrane/AbdullaDB08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/membrane/AbdullaDB08
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin:
On the Qualitative Analysis of Conformon P Systems. Workshop on Membrane Computing 2008: 78-94
[c40]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/uc/DelzannoB08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/uc/DelzannoB08
Giorgio Delzanno, Laurent Van Begin:
A Biologically Inspired Model with Fusion and Clonation of Membranes. UC 2008: 64-82
[c39]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/vmcai/AbdullaHDR08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/vmcai/AbdullaHDR08
Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine:
Handling Parameterized Systems with Non-atomic Global Conditions. VMCAI 2008: 22-36
2007
[j16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/DelzannoM07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/DelzannoM07
Giorgio Delzanno, Roberto Montagna:
On Reachability and Spatial Reachability in Fragments of BioAmbients. Electr. Notes Theor. Comput. Sci. 171(2): 69-79 (2007)
[j15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tplp/Delzanno07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tplp/Delzanno07
Giorgio Delzanno:
Constraint-based automatic verification of abstract models of multithreaded programs. TPLP 7(1-2): 67-91 (2007)
[c38]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/AbdullaDR07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/AbdullaDR07
Parosh Aziz Abdulla, Giorgio Delzanno, Ahmed Rezine:
Parameterized Verification of Infinite-State Processes with Global Conditions. CAV 2007: 145-157
[c37]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/AbdullaDB07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/AbdullaDB07
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van Begin:
Comparing the Expressive Power of Well-Structured Transition Systems. CSL 2007: 99-114
[c36]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/membrane/DelzannoB07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/membrane/DelzannoB07
Giorgio Delzanno, Laurent Van Begin:
On the Dynamics of PB Systems with Volatile Membranes. Workshop on Membrane Computing 2007: 240-256
[c35]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/AbdullaDHR07
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/AbdullaDHR07
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
[j14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tplp/DelzannoEG06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tplp/DelzannoEG06
Giorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli:
Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems. TPLP 6(3): 225-226 (2006)
[c34]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/atva/DelzannoES06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/atva/DelzannoES06
Giorgio Delzanno, Javier Esparza, Jirí Srba:
Monotonic Set-Extended Prefix Rewriting and Verification of Recursive Ping-Pong Protocols. ATVA 2006: 415-429
[c33]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/ictac/DelzannoM06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ictac/DelzannoM06
Giorgio Delzanno, Roberto Montagna:
Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting. ICTAC 2006: 302-316
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0601037
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0601037
Giorgio Delzanno:
Constraint-based verification of abstract models of multitreaded programs. CoRR abs/cs/0601037 (2006)
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-cs-0601038
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-cs-0601038
Giorgio Delzanno:
Constraint-based automatic verification of abstract models of multithreaded programs. CoRR abs/cs/0601038 (2006)
2005
[c32]
- no documents available
- export record
  dblp key:
  - conf/eumas/MontagnaDMM05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/eumas/MontagnaDMM05
Roberto Montagna, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi:
BDI^ATL : An Alternating-Time BDI Logic for Multiagent Systems. EUMAS 2005: 214-223
[c31]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/DelzannoG05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/DelzannoG05
Giorgio Delzanno, Maurizio Gabbrielli:
Compositional Verification of Asynchronous Processes via Constraint Solving. ICALP 2005: 1239-1250
[c30]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ppdp/DelzannoGM05
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ppdp/DelzannoGM05
Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo:
A compositional semantics for CHR. PPDP 2005: 209-217
2004
[j13]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Delzanno04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/Delzanno04
Giorgio Delzanno:
A Symbolic Procedure for Control Reachability in the Asynchronous Pi-calculus: Extended Abstract. Electr. Notes Theor. Comput. Sci. 98: 21-33 (2004)
[j12]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jsc/BozzanoD04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsc/BozzanoD04
Marco Bozzano, Giorgio Delzanno:
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols. J. Symb. Comput. 38(5): 1375-1415 (2004)
[j11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/DelzannoRB04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/DelzannoRB04
Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin:
Covering sharing trees: a compact data structure for parameterized verification. STTT 5(2-3): 268-297 (2004)
[j10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tplp/BozzanoDM04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tplp/BozzanoDM04
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
Model Checking Linear Logic Specifications. TPLP 4(5-6): 573-619 (2004)
[c29]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/acri/DAntonioD04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/acri/DAntonioD04
Massimo D'Antonio, Giorgio Delzanno:
SAT-Based Analysis of Cellular Automata. ACRI 2004: 745-754
[c28]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/DelzannoG04
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/DelzannoG04
Giorgio Delzanno, Pierre Ganty:
Automatic Verification of Time Sensitive Cryptographic Protocols. TACAS 2004: 342-356
2003
[j9]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/fmsd/Delzanno03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/fmsd/Delzanno03
Giorgio Delzanno:
Constraint-Based Verification of Parameterized Cache Coherence Protocols. Formal Methods in System Design 23(3): 257-301 (2003)
[c27]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/iclp/DelzannoGM03
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iclp/DelzannoGM03
Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo:
Compositional Verification of Infinite State Systems. ICLP 2003: 47-48
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/cs-PL-0309003
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/cs-PL-0309003
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
Model Checking Linear Logic Specifications. CoRR cs.PL/0309003 (2003)
2002
[j8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Delzanno02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/Delzanno02
Giorgio Delzanno:
An Overview of MSR(C): A CLP-based Framework for the Symbolic Verification of Parameterized Concurrent Systems. Electr. Notes Theor. Comput. Sci. 76: 65-82 (2002)
[j7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tplp/BozzanoDM02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tplp/BozzanoDM02
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
An effective fixpoint semantics for linear logic programs. TPLP 2(1): 85-122 (2002)
[c26]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/BozzanoD02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/BozzanoD02
Marco Bozzano, Giorgio Delzanno:
Algorithmic Verification of Invalidation-Based Protocols. CAV 2002: 295-308
[c25]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/frocos/Delzanno02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/frocos/Delzanno02
Giorgio Delzanno:
Constraint-Based Model Checking for Parameterized Synchronous Systems. FroCoS 2002: 72-86
[c24]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ppdp/BozzanoD02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ppdp/BozzanoD02
Marco Bozzano, Giorgio Delzanno:
Automated protocol verification in linear logic. PPDP 2002: 38-49
[c23]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/DelzannoRB02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/DelzannoRB02
Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin:
Towards the Automated Verification of Multithreaded Java Programs. TACAS 2002: 173-187
[c22]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/BozzanoD02
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/BozzanoD02
Marco Bozzano, Giorgio Delzanno:
Beyond Parameterized Verification. TACAS 2002: 221-235
2001
[j6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BozzanoDM01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/BozzanoDM01
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
On the Relations between Disjunctive and Linear Logic Programming. Electr. Notes Theor. Comput. Sci. 48: 65-89 (2001)
[j5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Delzanno01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/Delzanno01
Giorgio Delzanno:
An Assertional Language for the Verification of Systems Parametric in Several Dimensions. Electr. Notes Theor. Comput. Sci. 50(4): 371-385 (2001)
[j4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/sttt/DelzannoP01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/sttt/DelzannoP01
Giorgio Delzanno, Andreas Podelski:
Constraint-based deductive model checking. STTT 3(3): 250-270 (2001)
[j3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/tcs/DelzannoM01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/tcs/DelzannoM01
Giorgio Delzanno, Maurizio Martelli:
Proofs as computations in linear logic. Theor. Comput. Sci. 258(1-2): 269-297 (2001)
[c21]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/DelzannoRB01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/DelzannoRB01
Giorgio Delzanno, Jean-François Raskin, Laurent Van Begin:
Attacking Symbolic State Explosion. CAV 2001: 298-310
[c20]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cp/DelzannoB01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cp/DelzannoB01
Giorgio Delzanno, Tevfik Bultan:
Constraint-Based Verification of Client-Server Protocols. CP 2001: 286-301
[c19]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/flops/Delzanno01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/flops/Delzanno01
Giorgio Delzanno:
Specifying and Debugging Security Protocols via Hereditary Harrop Formulas and \lambda Prolog - A Case-study. FLOPS 2001: 123-137
[c18]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/flops/BozzanoDM01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/flops/BozzanoDM01
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
An Effective Bottom-Up Semantics for First-Order Linear Logic Programs. FLOPS 2001: 138-152
[c17]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lopstr/DelzannoE01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lopstr/DelzannoE01
Giorgio Delzanno, Sandro Etalle:
Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols. LOPSTR 2001: 76-90
[c16]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/sofsem/ArgonDMP01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/sofsem/ArgonDMP01
Pablo Argón, Giorgio Delzanno, Supratik Mukhopadhyay, Andreas Podelski:
Model Checking Communication Protocols. SOFSEM 2001: 160-170
[c15]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/Carvajal-SchiaffinoDC01
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/Carvajal-SchiaffinoDC01
Rubén Carvajal-Schiaffino, Giorgio Delzanno, Giovanni Chiola:
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets. TACAS 2001: 435-449
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/cs-PL-0102025
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/cs-PL-0102025
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
An Effective Fixpoint Semantics for Linear Logic Programs. CoRR cs.PL/0102025 (2001)
2000
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/logcom/BugliesiDLM00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/logcom/BugliesiDLM00
Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli:
Object calculi in linear logic. J. Log. Comput. 10(1): 75-104 (2000)
[c14]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cav/Delzanno00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cav/Delzanno00
Giorgio Delzanno:
Automatic Verification of Parameterized Cache Coherence Protocols. CAV 2000: 53-68
[c13]
- no documents available
- export record
  dblp key:
  - conf/forte/Delzanno00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/forte/Delzanno00
Giorgio Delzanno:
Verification of Consistency Protocols via Infinite-Stae Symbolic Model Checking. FORTE 2000: 171-186
[c12]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/ppdp/BozzanoDM00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ppdp/BozzanoDM00
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli:
A bottom-up semantics for linear logic programs. PPDP 2000: 92-102
[c11]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/DelzannoR00
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/DelzannoR00
Giorgio Delzanno, Jean-François Raskin:
Symbolic Representation of Upward-Closed Sets. TACAS 2000: 426-440

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[j1]
- view
  - electronic edition @ cambridge.org
- export record
  dblp key:
  - journals/mscs/DelzannoGM99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/DelzannoGM99
Giorgio Delzanno, Didier Galmiche, Maurizio Martelli:
A specification logic for concurrent object-oriented programming. Mathematical Structures in Computer Science 9(3): 253-286 (1999)
[c10]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/csl/DelzannoEP99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/csl/DelzannoEP99
Giorgio Delzanno, Javier Esparza, Andreas Podelski:
Constraint-Based Analysis of Broadcast Protocols. CSL 1999: 50-66
[c9]
- no documents available
- export record
  dblp key:
  - conf/jfplc/DelzannoP99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/jfplc/DelzannoP99
Giorgio Delzanno, Andreas Podelski:
Verification of Infinite-State Systems in Constraint Logic Programming. JFPLC 1999: 13-22
[c8]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/padl/BozzanoDMMZ99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/padl/BozzanoDMMZ99
Marco Bozzano, Giorgio Delzanno, Maurizio Martelli, Viviana Mascardi, Floriano Zini:
Multi-agent Systems Development as a Software Engineering Enterprise. PADL 1999: 46-60
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/tacas/DelzannoP99
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/tacas/DelzannoP99
Giorgio Delzanno, Andreas Podelski:
Model Checking in CLP. TACAS 1999: 223-239
1997
[c6]
- no documents available
- export record
  dblp key:
  - conf/agp/BozzanoDM97
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/agp/BozzanoDM97
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]
- no documents available
- export record
  dblp key:
  - conf/agp/DelzannoM96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/agp/DelzannoM96
Giorgio Delzanno, Maurizio Martelli:
Proofs as Computations in Linear Logic. APPIA-GULP-PRODE 1996: 155-166
[c4]
- view
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/iclp/BugliesiDML96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/iclp/BugliesiDML96
Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli:
A Linear Logic Calculus Objects. JICSLP 1996: 67-81
1995
[c3]
- no documents available
- export record
  dblp key:
  - conf/agp/DelzannoM95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/agp/DelzannoM95
Giorgio Delzanno, Maurizio Martelli:
Forum Objects. GULP-PRODE 1995: 283-294
[c2]
- view
  - electronic edition @ ieee.org
- export record
  dblp key:
  - conf/slp/DelzannoM95
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/slp/DelzannoM95
Giorgio Delzanno, Maurizio Martelli:
Objects in Forum. ILPS 1995: 115-129
1993
[c1]
- no documents available
- export record
  dblp key:
  - conf/slp/DelzannoM93
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/slp/DelzannoM93
Giorgio Delzanno, Maurizio Martelli:
A Bottom-Up Characterization of Finite Success. ILPS 1993: 676

Coauthor Index

see FAQ

maintained by