Vincenzo Ciancia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
16
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FASE | Model Checking in Space with Applications to Medical Image Analysis - Invited Abstract. | Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2024 | AiML | Logics of Polyhedral Reachability. | Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernndez-Duque, David Gabelaia |
| 2024 | FORTE | Weak Simplicial Bisimilarity for Polyhedral Models and SLCS | Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink |
| 2024 | ISoLA | Towards Hybrid-AI in Imaging Using VoxLogicA. | Gina Belmonte, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2023 | FM | Minimisation of Spatial Models Using Branching Bisimilarity. | Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink |
| 2023 | FORTE | On Bisimilarity for Polyhedral Models and SLCS. | Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink |
| 2022 | HCI | Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues. | Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2022 | ISoLA | An Experimental Toolchain for Strategy Synthesis with Spatial Properties. | Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia |
| 2022 | ISoLA | On Binding in the Spatial Logics for Closure Spaces. | Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink |
| 2021 | FMICS | Spatial Model Checking for Smart Stations - Research Challenges. | Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo |
| 2021 | FORTE | Towards a Spatial Model Checker on GPU. | Laura Bussi, Vincenzo Ciancia, Fabio Gadducci |
| 2021 | ICSE | Feasibility of Spatial Model Checking for Nevus Segmentation. | Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2021 | MEDI | Querying Medical Imaging Datasets Using Spatial Logics (Position Paper). | Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2019 | CALCO | Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages. | Vincenzo Ciancia, Yde Venema |
| 2019 | TACAS | VoxLogicA: A Spatial Model Checker for Declarative Image Analysis. | Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2018 | ISoLA | Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook. | Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia |
| 2016 | Coordination | On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination. | Vincenzo Ciancia, Diego Latella, Mieke Massink |
| 2016 | ISoLA | A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems. | Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas, Andrea Vandin |
| 2015 | RV | Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. | Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink |
| 2015 | SEFM | An Experimental Spatio-Temporal Model Checker. | Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink |
| 2013 | CALCO | Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras. | Vincenzo Ciancia |
| 2012 | MODELS | A tool for the synthesis of cryptographic orchestrators. | Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Jos Antonio Martn, Ernesto Pimentel |
| 2011 | FOSSACS | Freshness and Name-Restriction in Sets of Traces with Names. | Murdoch James Gabbay, Vincenzo Ciancia |
| 2008 | FORTE | Checking Correctness of Transactional Behaviors. | Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo |