Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Vincenzo Ciancia
@article{DBLP:journals/sttt/BasileBBC23,
author = {Davide Basile and
Maurice H. ter Beek and
Laura Bussi and
Vincenzo Ciancia},
title = {A toolchain for strategy synthesis with spatial properties},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {25},
number = {5},
pages = {641--658},
year = {2023},
url = {https://doi.org/10.1007/s10009-023-00730-1},
doi = {10.1007/S10009-023-00730-1},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/BasileBBC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dali/BussiCG23,
author = {Laura Bussi and
Vincenzo Ciancia and
Fabio Gadducci},
editor = {Nina Gierasimczuk and
Fernando R. Vel{\'{a}}zquez{-}Quesada},
title = {A Spatial Logic with Time and Quantifiers},
booktitle = {Dynamic Logic. New Trends and Applications - 5th International Workshop,
DaL{\'{\i}} 2023, Tbilisi, Georgia, September 15-16, 2023, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14401},
pages = {1--19},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-51777-8\_1},
doi = {10.1007/978-3-031-51777-8\_1},
timestamp = {Thu, 18 Jan 2024 08:27:16 +0100},
biburl = {https://dblp.org/rec/conf/dali/BussiCG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/CianciaGLMV23,
author = {Vincenzo Ciancia and
Jan Friso Groote and
Diego Latella and
Mieke Massink and
Erik P. de Vink},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {Minimisation of Spatial Models Using Branching Bisimilarity},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {263--281},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_16},
doi = {10.1007/978-3-031-27481-7\_16},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/CianciaGLMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CianciaGLMV23,
author = {Vincenzo Ciancia and
David Gabelaia and
Diego Latella and
Mieke Massink and
Erik P. de Vink},
editor = {Marieke Huisman and
Ant{\'{o}}nio Ravara},
title = {On Bisimilarity for Polyhedral Models and {SLCS}},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 43rd {IFIP} {WG} 6.1 International Conference, {FORTE} 2023, Held
as Part of the 18th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23,
2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13910},
pages = {132--151},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35355-0\_9},
doi = {10.1007/978-3-031-35355-0\_9},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/CianciaGLMV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-11634,
author = {Vincenzo Ciancia and
Diego Latella and
Mieke Massink and
Erik P. de Vink},
title = {On Bisimilarity for Quasi-discrete Closure Spaces},
journal = {CoRR},
volume = {abs/2301.11634},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.11634},
doi = {10.48550/ARXIV.2301.11634},
eprinttype = {arXiv},
eprint = {2301.11634},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-11634.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BezhanishviliCG22,
author = {Nick Bezhanishvili and
Vincenzo Ciancia and
David Gabelaia and
Gianluca Grilletti and
Diego Latella and
Mieke Massink},
title = {Geometric Model Checking of Continuous Space},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {4},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(4:7)2022},
doi = {10.46298/LMCS-18(4:7)2022},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BezhanishviliCG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CianciaLMV22,
author = {Vincenzo Ciancia and
Diego Latella and
Mieke Massink and
Erik P. de Vink},
editor = {Nils Jansen and
Mari{\"{e}}lle Stoelinga and
Petra van den Bos},
title = {Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces},
booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning
- Essays Dedicated to Frits Vaandrager on the Occasion of His 60th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {13560},
pages = {98--115},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15629-8\_6},
doi = {10.1007/978-3-031-15629-8\_6},
timestamp = {Sat, 24 Sep 2022 20:46:57 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CianciaLMV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/BrocciaCLM22,
author = {Giovanna Broccia and
Vincenzo Ciancia and
Diego Latella and
Mieke Massink},
editor = {Constantine Stephanidis and
Margherita Antona and
Stavroula Ntoa},
title = {Towards a {GUI} for Declarative Medical Image Analysis: Cognitive
and Memory Load Issues},
booktitle = {{HCI} International 2022 Posters - 24th International Conference on
Human-Computer Interaction, {HCII} 2022, Virtual Event, June 26 -
July 1, 2022, Proceedings, Part {II}},
series = {Communications in Computer and Information Science},
volume = {1581},
pages = {103--111},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06388-6\_14},
doi = {10.1007/978-3-031-06388-6\_14},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hci/BrocciaCLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BasileBC22,
author = {Davide Basile and
Maurice H. ter Beek and
Vincenzo Ciancia},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {An Experimental Toolchain for Strategy Synthesis with Spatial Properties},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {142--164},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_10},
doi = {10.1007/978-3-031-19759-8\_10},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BasileBC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BussiCGLM22,
author = {Laura Bussi and
Vincenzo Ciancia and
Fabio Gadducci and
Diego Latella and
Mieke Massink},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {On Binding in the Spatial Logics for Closure Spaces},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification Principles - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13701},
pages = {479--497},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19849-6\_27},
doi = {10.1007/978-3-031-19849-6\_27},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BussiCGLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/datamod/BussiCGLM21,
author = {Laura Bussi and
Vincenzo Ciancia and
Fabio Gadducci and
Diego Latella and
Mieke Massink},
editor = {Juliana Bowles and
Giovanna Broccia and
Roberto Pellungrini},
title = {Towards Model Checking Video Streams Using VoxLogicA on GPUs},
booktitle = {From Data to Models and Back - 10th International Symposium, DataMod
2021, Virtual Event, December 6-7, 2021, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {13268},
pages = {78--90},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-031-16011-0\_6},
doi = {10.1007/978-3-031-16011-0\_6},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/datamod/BussiCGLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/BeekCLMS21,
author = {Maurice H. ter Beek and
Vincenzo Ciancia and
Diego Latella and
Mieke Massink and
Giorgio Oronzo Spagnolo},
editor = {Alberto Lluch{-}Lafuente and
Anastasia Mavridou},
title = {Spatial Model Checking for Smart Stations - Research Challenges},
booktitle = {Formal Methods for Industrial Critical Systems - 26th International
Conference, {FMICS} 2021, Paris, France, August 24-26, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12863},
pages = {39--47},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-85248-1\_3},
doi = {10.1007/978-3-030-85248-1\_3},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmics/BeekCLMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BussiCG21,
author = {Laura Bussi and
Vincenzo Ciancia and
Fabio Gadducci},
editor = {Kirstin Peters and
Tim A. C. Willemse},
title = {Towards a Spatial Model Checker on {GPU}},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
as Part of the 16th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12719},
pages = {188--196},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78089-0\_12},
doi = {10.1007/978-3-030-78089-0\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/BussiCG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BelmonteBCLM21,
author = {Gina Belmonte and
Giovanna Broccia and
Vincenzo Ciancia and
Diego Latella and
Mieke Massink},
editor = {Simon Bliudze and
Stefania Gnesi and
Nico Plat and
Laura Semini},
title = {Feasibility of Spatial Model Checking for Nevus Segmentation},
booktitle = {9th {IEEE/ACM} International Conference on Formal Methods in Software
Engineering, FormaliSE@ICSE 2021, Madrid, Spain, May 17-21, 2021},
pages = {1--12},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/FormaliSE52586.2021.00007},
doi = {10.1109/FORMALISE52586.2021.00007},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BelmonteBCLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/BelmonteBBCLM21,
author = {Gina Belmonte and
Giovanna Broccia and
Laura Bussi and
Vincenzo Ciancia and
Diego Latella and
Mieke Massink},
editor = {Ladjel Bellatreche and
George A. Chernishev and
Antonio Corral and
Samir Ouchani and
J{\"{u}}ri Vain},
title = {Querying Medical Imaging Datasets Using Spatial Logics (Position Paper)},
booktitle = {Advances in Model and Data Engineering in the Digitalization Era -
{MEDI} 2021 International Workshops: DETECT, SIAS, CSMML, BIOC, HEDA,
Tallinn, Estonia, June 21-23, 2021, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1481},
pages = {285--301},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87657-9\_22},
doi = {10.1007/978-3-030-87657-9\_22},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/medi/BelmonteBBCLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/CianciaBLM21,
author = {Vincenzo Ciancia and
Gina Belmonte and
Diego Latella and
Mieke Massink},
editor = {Alfons Laarman and
Ana Sokolova},
title = {A Hands-On Introduction to Spatial Model Checking Using VoxLogicA
- - Invited Contribution},
booktitle = {Model Checking Software - 27th International Symposium, {SPIN} 2021,
Virtual Event, July 12, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12864},
pages = {22--41},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-84629-9\_2},
doi = {10.1007/978-3-030-84629-9\_2},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/CianciaBLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-06194,
author = {Nick Bezhanishvili and
Vincenzo Ciancia and
David Gabelaia and
Gianluca Grilletti and
Diego Latella and
Mieke Massink},
title = {Geometric Model Checking of Continuous Space},
journal = {CoRR},
volume = {abs/2105.06194},
year = {2021},
url = {https://arxiv.org/abs/2105.06194},
eprinttype = {arXiv},
eprint = {2105.06194},
timestamp = {Tue, 18 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-06194.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-06690,
author = {Vincenzo Ciancia and
Diego Latella and
Mieke Massink and
Erik P. de Vink},
title = {On Bisimilarities for Closure Spaces - Preliminary Version},
journal = {CoRR},
volume = {abs/2105.06690},
year = {2021},
url = {https://arxiv.org/abs/2105.06690},
eprinttype = {arXiv},
eprint = {2105.06690},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-06690.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BuonamiciBCLM20,
author = {Fabrizio Banci Buonamici and
Gina Belmonte and
Vincenzo Ciancia and
Diego Latella and
Mieke Massink},
title = {Spatial logics and model checking for medical imaging},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {2},
pages = {195--217},
year = {2020},
url = {https://doi.org/10.1007/s10009-019-00511-9},
doi = {10.1007/S10009-019-00511-9},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BuonamiciBCLM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-05578,
author = {Vincenzo Ciancia and
Diego Latella and
Mieke Massink and
Erik P. de Vink},
title = {Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic
Characterisations},
journal = {CoRR},
volume = {abs/2005.05578},
year = {2020},
url = {https://arxiv.org/abs/2005.05578},
eprinttype = {arXiv},
eprint = {2005.05578},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-05578.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-07284,
author = {Laura Bussi and
Vincenzo Ciancia and
Fabio Gadducci},
title = {A spatial model checker in {GPU} (extended version)},
journal = {CoRR},
volume = {abs/2010.07284},
year = {2020},
url = {https://arxiv.org/abs/2010.07284},
eprinttype = {arXiv},
eprint = {2010.07284},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-07284.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-13289,
author = {Gina Belmonte and
Giovanna Broccia and
Vincenzo Ciancia and
Diego Latella and
Mieke Massink},
title = {Using Spatial Logic and Model Checking for Nevus Segmentation},
journal = {CoRR},
volume = {abs/2012.13289},
year = {2020},
url = {https://arxiv.org/abs/2012.13289},
eprinttype = {arXiv},
eprint = {2012.13289},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-13289.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BelmonteCLM19,
author = {Gina Belmonte and
Vincenzo Ciancia and
Diego Latella and
Mieke Massink},
editor = {Maurice H. ter Beek and
Alessandro Fantechi and
Laura Semini},
title = {Innovating Medical Image Analysis via Spatial Logics},
booktitle = {From Software Engineering to Formal Methods and Tools, and Back -
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {11865},
pages = {85--109},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30985-5\_7},
doi = {10.1007/978-3-030-30985-5\_7},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BelmonteCLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CianciaLM19,
author = {Vincenzo Ciancia and
Diego Latella and
Mieke Massink},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
title = {Embedding {RCC8D} in the Collective Spatial Logic {CSLCS}},
booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
- Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {260--277},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21485-2\_15},
doi = {10.1007/978-3-030-21485-2\_15},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CianciaLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/CianciaV19,
author = {Vincenzo Ciancia and
Yde Venema},
editor = {Markus Roggenbach and
Ana Sokolova},
title = {Omega-Automata: {A} Coalgebraic Perspective on Regular omega-Languages},
booktitle = {8th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2019, June 3-6, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {139},
pages = {5:1--5:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2019.5},
doi = {10.4230/LIPICS.CALCO.2019.5},
timestamp = {Thu, 28 Nov 2019 12:28:06 +0100},
biburl = {https://dblp.org/rec/conf/calco/CianciaV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BelmonteCLM19,
author = {Gina Belmonte and
Vincenzo Ciancia and
Diego Latella and
Mieke Massink},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {VoxLogicA: {A} Spatial Model Checker for Declarative Image Analysis},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11427},
pages = {281--298},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17462-0\_16},
doi = {10.1007/978-3-030-17462-0\_16},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BelmonteCLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BelmonteCLM19,
author = {Gina Belmonte and
Vincenzo Ciancia and
Diego Latella and
Mieke Massink},
title = {VoxLogicA: a Spatial-Logic Based Tool for Declarative Image Analysis},
journal = {{ERCIM} News},
volume = {2019},
number = {118},
year = {2019},
url = {https://ercim-news.ercim.eu/en118/special/voxlogica-a-spatial-logic-based-tool-for-declarative-image-analysis},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/BelmonteCLM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/NenziBCLM18,
author = {Laura Nenzi and
Luca Bortolussi and
Vincenzo Ciancia and
Michele Loreti and
Mieke Massink},
title = {Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
with {SSTL}},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {4},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(4:2)2018},
doi = {10.23638/LMCS-14(4:2)2018},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/NenziBCLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CianciaGGLLM18,
author = {Vincenzo Ciancia and
Stephen Gilmore and
Gianluca Grilletti and
Diego Latella and
Michele Loreti and
Mieke Massink},
title = {Spatio-temporal model checking of vehicular movement in public transport
systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {20},
number = {3},
pages = {289--311},
year = {2018},
url = {https://doi.org/10.1007/s10009-018-0483-8},
doi = {10.1007/S10009-018-0483-8},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/CianciaGGLLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BasileBC18,
author = {Davide Basile and
Maurice H. ter Beek and
Vincenzo Ciancia},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Statistical Model Checking of a Moving Block Railway Signalling Scenario
with Uppaal {SMC} - Experience and Outlook},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Verification - 8th International Symposium, ISoLA 2018, Limassol,
Cyprus, November 5-9, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {11245},
pages = {372--391},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03421-4\_24},
doi = {10.1007/978-3-030-03421-4\_24},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BasileBC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-05677,
author = {Gina Belmonte and
Vincenzo Ciancia and
Diego Latella and
Mieke Massink},
title = {VoxLogicA: a Spatial Model Checker for Declarative Image Analysis
(Extended Version)},
journal = {CoRR},
volume = {abs/1811.05677},
year = {2018},
url = {http://arxiv.org/abs/1811.05677},
eprinttype = {arXiv},
eprint = {1811.05677},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-05677.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-06065,
author = {Fabrizio Banci Buonamici and
Gina Belmonte and
Vincenzo Ciancia and
Diego Latella and
Mieke Massink},
title = {Spatial Logics and Model Checking for Medical Imaging (Extended Version)},
journal = {CoRR},
volume = {abs/1811.06065},
year = {2018},
url = {http://arxiv.org/abs/1811.06065},
eprinttype = {arXiv},
eprint = {1811.06065},
timestamp = {Sun, 25 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-06065.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BolognesiC17,
author = {Tommaso Bolognesi and
Vincenzo Ciancia},
title = {Exploring nominal cellular automata},
journal = {J. Log. Algebraic Methods Program.},
volume = {93},
pages = {23--41},
year = {2017},
url = {https://doi.org/10.1016/j.jlamp.2017.08.001},
doi = {10.1016/J.JLAMP.2017.08.001},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BolognesiC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NenziBCLM17,
author = {Laura Nenzi and
Luca Bortolussi and
Vincenzo Ciancia and
Michele Loreti and
Mieke Massink},
title = {Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
with {SSTL}},
journal = {CoRR},
volume = {abs/1706.09334},
year = {2017},
url = {http://arxiv.org/abs/1706.09334},
eprinttype = {arXiv},
eprint = {1706.09334},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NenziBCLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CianciaLLM16,
author = {Vincenzo Ciancia and
Diego Latella and
Michele Loreti and
Mieke Massink},
title = {Model Checking Spatial Logics for Closure Spaces},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {4},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(4:2)2016},
doi = {10.2168/LMCS-12(4:2)2016},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CianciaLLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CianciaLM16,
author = {Vincenzo Ciancia and
Diego Latella and
Mieke Massink},
editor = {Alberto Lluch{-}Lafuente and
Jos{\'{e}} Proen{\c{c}}a},
title = {On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination},
booktitle = {Coordination Models and Languages - 18th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2016, Held as Part of the 11th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9686},
pages = {67--83},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39519-7\_5},
doi = {10.1007/978-3-319-39519-7\_5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/CianciaLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/CianciaLMPV16,
author = {Vincenzo Ciancia and
Diego Latella and
Mieke Massink and
Rytis Paskauskas and
Andrea Vandin},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike
Sharing Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {657--673},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_46},
doi = {10.1007/978-3-319-47166-2\_46},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/CianciaLMPV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/CianciaLLM16,
author = {Vincenzo Ciancia and
Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Marco Bernardo and
Rocco De Nicola and
Jane Hillston},
title = {Spatial Logic and Spatial Model Checking for Closure Spaces},
booktitle = {Formal Methods for the Quantitative Evaluation of Collective Adaptive
Systems - 16th International School on Formal Methods for the Design
of Computer, Communication, and Software Systems, {SFM} 2016, Bertinoro,
Italy, June 20-24, 2016, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {9700},
pages = {156--201},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-34096-8\_6},
doi = {10.1007/978-3-319-34096-8\_6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sfm/CianciaLLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BolognesiC16,
author = {Tommaso Bolognesi and
Vincenzo Ciancia},
editor = {Massimo Bartoletti and
Ludovic Henrio and
Sophia Knight and
Hugo Torres Vieira},
title = {Nominal Cellular Automata},
booktitle = {Proceedings 9th Interaction and Concurrency Experience, {ICE} 2016,
Heraklion, Greece, 8-9 June 2016},
series = {{EPTCS}},
volume = {223},
pages = {24--35},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.223.2},
doi = {10.4204/EPTCS.223.2},
timestamp = {Fri, 02 Nov 2018 09:30:19 +0100},
biburl = {https://dblp.org/rec/journals/corr/BolognesiC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/BelmonteCLM16,
author = {Gina Belmonte and
Vincenzo Ciancia and
Diego Latella and
Mieke Massink},
editor = {Maurice H. ter Beek and
Michele Loreti},
title = {From Collective Adaptive Systems to Human Centric Computation and
Back: Spatial Model Checking for Medical Imaging},
booktitle = {Proceedings of the Workshop on FORmal methods for the quantitative
Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna,
Austria, 8 July 2016},
series = {{EPTCS}},
volume = {217},
pages = {81--92},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.217.10},
doi = {10.4204/EPTCS.217.10},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BelmonteCLM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hapoc/Ciancia15,
author = {Vincenzo Ciancia},
editor = {Fabio Gadducci and
Mirko Tavosanis},
title = {From urelements to Computation - {A} Journey Through Applications
of Fraenkel's Permutation Model in Computer Science},
booktitle = {History and Philosophy of Computing - Third International Conference,
HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {487},
pages = {141--155},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-47286-7\_10},
doi = {10.1007/978-3-319-47286-7\_10},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hapoc/Ciancia15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/NenziBCLM15,
author = {Laura Nenzi and
Luca Bortolussi and
Vincenzo Ciancia and
Michele Loreti and
Mieke Massink},
editor = {Ezio Bartocci and
Rupak Majumdar},
title = {Qualitative and Quantitative Monitoring of Spatio-Temporal Properties},
booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
Austria, September 22-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9333},
pages = {21--37},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23820-3\_2},
doi = {10.1007/978-3-319-23820-3\_2},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/NenziBCLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/CianciaLMP15,
author = {Vincenzo Ciancia and
Diego Latella and
Mieke Massink and
Rytis Paskauskas},
title = {Exploring Spatio-temporal Properties of Bike-Sharing Systems},
booktitle = {2015 {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASO} Workshops 2015, Cambridge, MA, USA, September
21-25, 2015},
pages = {74--79},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SASOW.2015.17},
doi = {10.1109/SASOW.2015.17},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/saso/CianciaLMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CianciaGLLM15,
author = {Vincenzo Ciancia and
Gianluca Grilletti and
Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Domenico Bianculli and
Radu Calinescu and
Bernhard Rumpe},
title = {An Experimental Spatio-Temporal Model Checker},
booktitle = {Software Engineering and Formal Methods - {SEFM} 2015 Collocated Workshops:
ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9509},
pages = {297--311},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-49224-6\_24},
doi = {10.1007/978-3-662-49224-6\_24},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/CianciaGLLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsse/CianciaMMMPP14,
author = {Vincenzo Ciancia and
Jos{\'{e}} Antonio Mart{\'{\i}}n and
Fabio Martinelli and
Ilaria Matteucci and
Marinella Petrocchi and
Ernesto Pimentel},
title = {Automated Synthesis and Ranking of Secure {BPMN} Orchestrators},
journal = {Int. J. Secur. Softw. Eng.},
volume = {5},
number = {2},
pages = {44--64},
year = {2014},
url = {https://doi.org/10.4018/ijsse.2014040103},
doi = {10.4018/IJSSE.2014040103},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsse/CianciaMMMPP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/CianciaLLM14,
author = {Vincenzo Ciancia and
Diego Latella and
Michele Loreti and
Mieke Massink},
editor = {Josep D{\'{\i}}az and
Ivan Lanese and
Davide Sangiorgi},
title = {Specifying and Verifying Properties of Space},
booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8705},
pages = {222--235},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44602-7\_18},
doi = {10.1007/978-3-662-44602-7\_18},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/CianciaLLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/CianciaGLLM14,
author = {Vincenzo Ciancia and
Stephen Gilmore and
Diego Latella and
Michele Loreti and
Mieke Massink},
title = {Data Verification for Collective Adaptive Systems: Spatial Model-Checking
of Vehicle Location Data},
booktitle = {Eighth {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems Workshops, {SASOW} 2014, London, United Kingdom, September
8-12, 2014},
pages = {32--37},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SASOW.2014.16},
doi = {10.1109/SASOW.2014.16},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/saso/CianciaGLLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/CianciaS14,
author = {Vincenzo Ciancia and
Matteo Sammartino},
editor = {Matteo Maffei and
Emilio Tuosto},
title = {A Class of Automata for the Verification of Infinite, Resource-Allocating
Behaviours},
booktitle = {Trustworthy Global Computing - 9th International Symposium, {TGC}
2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8902},
pages = {97--111},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45917-1\_7},
doi = {10.1007/978-3-662-45917-1\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/CianciaS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CianciaLLM14,
author = {Vincenzo Ciancia and
Diego Latella and
Michele Loreti and
Mieke Massink},
title = {Specifying and Verifying Properties of Space - Extended Version},
journal = {CoRR},
volume = {abs/1406.6393},
year = {2014},
url = {http://arxiv.org/abs/1406.6393},
eprinttype = {arXiv},
eprint = {1406.6393},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CianciaLLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/BeekBCGHLM14,
author = {Maurice H. ter Beek and
Luca Bortolussi and
Vincenzo Ciancia and
Stefania Gnesi and
Jane Hillston and
Diego Latella and
Mieke Massink},
title = {A Quantitative Approach to the Design and Analysis of Collective Adaptive
Systems for Smart Cities},
journal = {{ERCIM} News},
volume = {2014},
number = {98},
year = {2014},
url = {http://ercim-news.ercim.eu/en98/special/a-quantitative-approach-to-the-design-and-analysis-of-collective-adaptive-systems-for-smart-cities},
timestamp = {Wed, 22 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ercim/BeekBCGHLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/CianciaMMPMP13,
author = {Vincenzo Ciancia and
Fabio Martinelli and
Ilaria Matteucci and
Marinella Petrocchi and
Jos{\'{e}} Antonio Mart{\'{\i}}n and
Ernesto Pimentel},
title = {Automated Synthesis and Ranking of Secure {BPMN} Orchestrators},
booktitle = {2013 International Conference on Availability, Reliability and Security,
{ARES} 2013, Regensburg, Germany, September 2-6, 2013},
pages = {455--464},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ARES.2013.60},
doi = {10.1109/ARES.2013.60},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/IEEEares/CianciaMMPMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Ciancia13,
author = {Vincenzo Ciancia},
editor = {Reiko Heckel and
Stefan Milius},
title = {Interaction and Observation: Categorical Semantics of Reactive Systems
Trough Dialgebras},
booktitle = {Algebra and Coalgebra in Computer Science - 5th International Conference,
{CALCO} 2013, Warsaw, Poland, September 3-6, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8089},
pages = {110--125},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40206-7\_10},
doi = {10.1007/978-3-642-40206-7\_10},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/calco/Ciancia13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fps/CianciaMMM13,
author = {Vincenzo Ciancia and
Fabio Martinelli and
Ilaria Matteucci and
Charles Morisset},
editor = {Jean{-}Luc Danger and
Mourad Debbabi and
Jean{-}Yves Marion and
Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
Nur Zincir{-}Heywood},
title = {Quantitative Evaluation of Enforcement Strategies - Position Paper},
booktitle = {Foundations and Practice of Security - 6th International Symposium,
{FPS} 2013, La Rochelle, France, October 21-22, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8352},
pages = {178--186},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05302-8\_11},
doi = {10.1007/978-3-319-05302-8\_11},
timestamp = {Fri, 08 Dec 2023 07:53:07 +0100},
biburl = {https://dblp.org/rec/conf/fps/CianciaMMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CianciaS13,
author = {Vincenzo Ciancia and
Matteo Sammartino},
title = {A decidable class of (nominal) omega-regular languages over an infinite
alphabet},
journal = {CoRR},
volume = {abs/1310.3945},
year = {2013},
url = {http://arxiv.org/abs/1310.3945},
eprinttype = {arXiv},
eprint = {1310.3945},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CianciaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/BonchiBCG12,
author = {Filippo Bonchi and
Maria Grazia Buscemi and
Vincenzo Ciancia and
Fabio Gadducci},
title = {A Presheaf Environment for the Explicit Fusion Calculus},
journal = {J. Autom. Reason.},
volume = {49},
number = {2},
pages = {161--183},
year = {2012},
url = {https://doi.org/10.1007/s10817-011-9224-3},
doi = {10.1007/S10817-011-9224-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/BonchiBCG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/CianciaV12,
author = {Vincenzo Ciancia and
Yde Venema},
editor = {Dirk Pattinson and
Lutz Schr{\"{o}}der},
title = {Stream Automata Are Coalgebras},
booktitle = {Coalgebraic Methods in Computer Science - 11th International Workshop,
{CMCS} 2012, Colocated with {ETAPS} 2012, Tallinn, Estonia, March
31 - April 1, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7399},
pages = {90--108},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32784-1\_6},
doi = {10.1007/978-3-642-32784-1\_6},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/CianciaV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CianciaMMPMP12,
author = {Vincenzo Ciancia and
Fabio Martinelli and
Ilaria Matteucci and
Marinella Petrocchi and
Jos{\'{e}} Antonio Mart{\'{\i}}n and
Ernesto Pimentel},
title = {A tool for the synthesis of cryptographic orchestrators},
booktitle = {Model-Driven Security Workshop, MDsec 2012, In conjunction with MoDELS
2012, Innsbruck, Austria, October 1, 2012},
pages = {10},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2422498.2422508},
doi = {10.1145/2422498.2422508},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/CianciaMMPMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-5903,
author = {Vincenzo Ciancia},
title = {Interaction and observation: categorical semantics of reactive systems
trough dialgebras},
journal = {CoRR},
volume = {abs/1209.5903},
year = {2012},
url = {http://arxiv.org/abs/1209.5903},
eprinttype = {arXiv},
eprint = {1209.5903},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-5903.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/GabbayC11,
author = {Murdoch James Gabbay and
Vincenzo Ciancia},
editor = {Martin Hofmann},
title = {Freshness and Name-Restriction in Sets of Traces with Names},
booktitle = {Foundations of Software Science and Computational Structures - 14th
International Conference, {FOSSACS} 2011, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2011,
Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6604},
pages = {365--380},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19805-2\_25},
doi = {10.1007/978-3-642-19805-2\_25},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/GabbayC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1108-0464,
author = {Vincenzo Ciancia},
editor = {Alexandra Silva and
Simon Bliudze and
Roberto Bruni and
Marco Carbone},
title = {Interaction and observation, categorically},
booktitle = {Proceedings Fourth Interaction and Concurrency Experience, {ICE} 2011,
Reykjavik, Iceland, 9th June 2011},
series = {{EPTCS}},
volume = {59},
pages = {25--36},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.59.3},
doi = {10.4204/EPTCS.59.3},
timestamp = {Wed, 12 Sep 2018 01:05:15 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-0464.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/CianciaFGST11,
author = {Vincenzo Ciancia and
Gian{-}Luigi Ferrari and
Roberto Guanciale and
Daniele Strollo and
Emilio Tuosto},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Model-Driven Development of Long Running Transactions},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {326--348},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_15},
doi = {10.1007/978-3-642-20401-2\_15},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/CianciaFGST11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CianciaM10,
author = {Vincenzo Ciancia and
Ugo Montanari},
title = {Symmetries, local names and dynamic (de)-allocation of names},
journal = {Inf. Comput.},
volume = {208},
number = {12},
pages = {1349--1367},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.10.007},
doi = {10.1016/J.IC.2009.10.007},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CianciaM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CianciaFGS10,
author = {Vincenzo Ciancia and
Gian{-}Luigi Ferrari and
Roberto Guanciale and
Daniele Strollo},
title = {Event based choreography},
journal = {Sci. Comput. Program.},
volume = {75},
number = {10},
pages = {848--878},
year = {2010},
url = {https://doi.org/10.1016/j.scico.2010.02.009},
doi = {10.1016/J.SCICO.2010.02.009},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/CianciaFGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CianciaKM10,
author = {Vincenzo Ciancia and
Alexander Kurz and
Ugo Montanari},
editor = {Bart Jacobs and
Milad Niqui and
Jan J. M. M. Rutten and
Alexandra Silva},
title = {Families of Symmetries as Efficient Models of Resource Binding},
booktitle = {Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer
Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {264},
number = {2},
pages = {63--81},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.07.014},
doi = {10.1016/J.ENTCS.2010.07.014},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CianciaKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/it/Ciancia08,
author = {Vincenzo Ciancia},
title = {Accessible functors and final coalgebras for named sets},
school = {University of Pisa, Italy},
year = {2008},
url = {https://etd.adm.unipi.it/theses/available/etd-10202008-123213/},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/it/Ciancia08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BonchiBCG08,
author = {Filippo Bonchi and
Maria Grazia Buscemi and
Vincenzo Ciancia and
Fabio Gadducci},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {A Category of Explicit Fusions},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {544--562},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_34},
doi = {10.1007/978-3-540-68679-8\_34},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BonchiBCG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CianciaFPT08,
author = {Vincenzo Ciancia and
Gian{-}Luigi Ferrari and
Marco Pistore and
Emilio Tuosto},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {History Dependent Automata for Service Compatibility},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {625--641},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_39},
doi = {10.1007/978-3-540-68679-8\_39},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CianciaFPT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/CianciaFGS08,
author = {Vincenzo Ciancia and
Gian{-}Luigi Ferrari and
Roberto Guanciale and
Daniele Strollo},
editor = {Kenji Suzuki and
Teruo Higashino and
Keiichi Yasumoto and
Khaled El{-}Fakih},
title = {Checking Correctness of Transactional Behaviors},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2008, 28th {IFIP} {WG} 6.1 International Conference, Tokyo, Japan,
June 10-13, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5048},
pages = {134--148},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68855-6\_9},
doi = {10.1007/978-3-540-68855-6\_9},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/CianciaFGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CianciaM08,
author = {Vincenzo Ciancia and
Ugo Montanari},
editor = {Jir{\'{\i}} Ad{\'{a}}mek and
Clemens Kupke},
title = {A Name Abstraction Functor for Named Sets},
booktitle = {Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer
Science, {CMCS} 2008, Budapest, Hungary, April 4-6, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {5},
pages = {49--70},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.05.019},
doi = {10.1016/J.ENTCS.2008.05.019},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CianciaM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CianciaFGS10,
author = {Vincenzo Ciancia and
Gian{-}Luigi Ferrari and
Roberto Guanciale and
Daniele Strollo},
editor = {Carlos Canal and
Corina S. Pasareanu},
title = {Global Coordination Policies for Services},
booktitle = {Proceedings of the 5th International Workshop on Formal Aspects of
Component Software, {FACS} 2008, Malaga, Spain, September 10-12, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {260},
pages = {73--89},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.12.032},
doi = {10.1016/J.ENTCS.2009.12.032},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CianciaFGS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CianciaF07,
author = {Vincenzo Ciancia and
Gian{-}Luigi Ferrari},
editor = {Alessandro Aldini and
Franck van Breugel},
title = {Co-Algebraic Models for Quantitative Spatial Logics},
booktitle = {Proceedings of the Fifth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2007, Braga, Portugal, March 24-25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {3},
pages = {43--58},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.07.004},
doi = {10.1016/J.ENTCS.2007.07.004},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CianciaF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-01-19 20:24 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
