Vincenzo Ciancia

84 papers B 8C 6Journal 33Unranked 35

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