Vincenzo Ciancia

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 47

Top Topics

Adaptive Systems

Top Venues

Int. J. Softw. Tools Technol. Transf.

Log. Methods Comput. Sci.

Publications

Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
. FORTE (2024)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version. CoRR (2024)
Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia
Logics of polyhedral reachability. CoRR (2024)
Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink
On Bisimilarity for Polyhedral Models and SLCS. FORTE (2023)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
A Spatial Logic with Time and Quantifiers. DaLí (2023)
Davide Basile, Maurice H. ter Beek, Laura Bussi, Vincenzo Ciancia
A toolchain for strategy synthesis with spatial properties. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink
Minimisation of Spatial Models Using Branching Bisimilarity. FM (2023)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
On Bisimilarity for Quasi-discrete Closure Spaces. CoRR (2023)
Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia
An Experimental Toolchain for Strategy Synthesis with Spatial Properties. ISoLA (3) (2022)
Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues. HCI (38) (2022)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
On Binding in the Spatial Logics for Closure Spaces. ISoLA (1) (2022)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
Geometric Model Checking of Continuous Space. Log. Methods Comput. Sci. 18 (4) (2022)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
On Bisimilarities for Closure Spaces - Preliminary Version. CoRR (2021)
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink
Geometric Model Checking of Continuous Space. CoRR (2021)
Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink
Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). MEDI Workshops (2021)
Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo
Spatial Model Checking for Smart Stations - Research Challenges. FMICS (2021)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
Towards a Spatial Model Checker on GPU. FORTE (2021)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink
Towards Model Checking Video Streams Using VoxLogicA on GPUs. DataMod (2021)
Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
Feasibility of Spatial Model Checking for Nevus Segmentation. FormaliSE@ICSE (2021)
Vincenzo Ciancia, Gina Belmonte, Diego Latella, Mieke Massink
A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution. SPIN (2021)
Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
Spatial logics and model checking for medical imaging. Int. J. Softw. Tools Technol. Transf. 22 (2) (2020)
Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink
Using Spatial Logic and Model Checking for Nevus Segmentation. CoRR (2020)
Laura Bussi, Vincenzo Ciancia, Fabio Gadducci
A spatial model checker in GPU (extended version). CoRR (2020)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations. CoRR (2020)
Vincenzo Ciancia, Yde Venema
Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages. CALCO (2019)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
VoxLogicA: A Spatial Model Checker for Declarative Image Analysis. TACAS (1) (2019)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
Innovating Medical Image Analysis via Spatial Logics. From Software Engineering to Formal Methods and Tools, and Back (2019)
Vincenzo Ciancia, Diego Latella, Mieke Massink
Embedding RCC8D in the Collective Spatial Logic CSLCS. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
VoxLogicA: a Spatial-Logic Based Tool for Declarative Image Analysis. ERCIM News 2019 (118) (2019)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version). CoRR (2018)
Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
Spatio-temporal model checking of vehicular movement in public transport systems. Int. J. Softw. Tools Technol. Transf. 20 (3) (2018)
Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
Spatial Logics and Model Checking for Medical Imaging (Extended Version). CoRR (2018)
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. Log. Methods Comput. Sci. 14 (4) (2018)
Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook. ISoLA (2) (2018)
Tommaso Bolognesi, Vincenzo Ciancia
Exploring nominal cellular automata. J. Log. Algebraic Methods Program. 93 (2017)
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. CoRR (2017)
Vincenzo Ciancia, Diego Latella, Mieke Massink
On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination. COORDINATION (2016)
Tommaso Bolognesi, Vincenzo Ciancia
Nominal Cellular Automata. ICE (2016)
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
Spatial Logic and Spatial Model Checking for Closure Spaces. SFM (2016)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas, Andrea Vandin
A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems. ISoLA (1) (2016)
Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink
From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging. FORECAST@STAF (2016)
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
Model Checking Spatial Logics for Closure Spaces. Log. Methods Comput. Sci. 12 (4) (2016)
Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink
An Experimental Spatio-Temporal Model Checker. SEFM Workshops (2015)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas
Exploring Spatio-temporal Properties of Bike-Sharing Systems. SASO Workshops (2015)
Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. RV (2015)
Vincenzo Ciancia
From urelements to Computation - A Journey Through Applications of Fraenkel's Permutation Model in Computer Science. HaPoC (2015)
Vincenzo Ciancia, Stephen Gilmore, Diego Latella, Michele Loreti, Mieke Massink
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data. SASO Workshops (2014)
Maurice H. ter Beek, Luca Bortolussi, Vincenzo Ciancia, Stefania Gnesi, Jane Hillston, Diego Latella, Mieke Massink
A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities. ERCIM News 2014 (98) (2014)
Vincenzo Ciancia, Matteo Sammartino
A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours. TGC (2014)
Vincenzo Ciancia, José Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel
Automated Synthesis and Ranking of Secure BPMN Orchestrators. Int. J. Secur. Softw. Eng. 5 (2) (2014)
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
Specifying and Verifying Properties of Space - Extended Version. CoRR (2014)
Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink
Specifying and Verifying Properties of Space. IFIP TCS (2014)
Vincenzo Ciancia
Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras. CALCO (2013)
Vincenzo Ciancia, Matteo Sammartino
A decidable class of (nominal) omega-regular languages over an infinite alphabet. CoRR (2013)
Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel
Automated Synthesis and Ranking of Secure BPMN Orchestrators. ARES (2013)
Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Charles Morisset
Quantitative Evaluation of Enforcement Strategies - Position Paper. FPS (2013)
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci
A Presheaf Environment for the Explicit Fusion Calculus. J. Autom. Reason. 49 (2) (2012)
Vincenzo Ciancia
Interaction and observation: categorical semantics of reactive systems trough dialgebras CoRR (2012)
Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel
A tool for the synthesis of cryptographic orchestrators. MDsec@MoDELS (2012)
Vincenzo Ciancia, Yde Venema
Stream Automata Are Coalgebras. CMCS (2012)
Murdoch James Gabbay, Vincenzo Ciancia
Freshness and Name-Restriction in Sets of Traces with Names. FoSSaCS (2011)
Vincenzo Ciancia
Interaction and observation, categorically ICE (2011)
Vincenzo Ciancia, Alexander Kurz, Ugo Montanari
Families of Symmetries as Efficient Models of Resource Binding. CMCS (2010)
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo
Global Coordination Policies for Services. Electron. Notes Theor. Comput. Sci. 260 (2010)
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo
Event based choreography. Sci. Comput. Program. 75 (10) (2010)
Vincenzo Ciancia, Ugo Montanari
Symmetries, local names and dynamic (de)-allocation of names. Inf. Comput. 208 (12) (2010)
Vincenzo Ciancia, Gian Luigi Ferrari, Marco Pistore, Emilio Tuosto
History Dependent Automata for Service Compatibility. Concurrency, Graphs and Models (2008)
Vincenzo Ciancia, Ugo Montanari
A Name Abstraction Functor for Named Sets. CMCS (2008)
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci
A Category of Explicit Fusions. Concurrency, Graphs and Models (2008)
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo
Checking Correctness of Transactional Behaviors. FORTE (2008)
Vincenzo Ciancia, Gian Luigi Ferrari
Co-Algebraic Models for Quantitative Spatial Logics. Electron. Notes Theor. Comput. Sci. 190 (3) (2007)