Vincenzo Ciancia

According to our database, Vincenzo Ciancia authored at least 72 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta - Extended Version.

Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink

CoRR, 2024

Towards Hybrid-AI in Imaging Using VoxLogicA.

Gina Belmonte, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_η.

Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink, Erik P. de Vink

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

Logics of Polyhedral Reachability.

Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia

Proceedings of the Advances in Modal Logic, AiML 2024, Prague, Czech Republic, 2024

2023

A toolchain for strategy synthesis with spatial properties.

Davide Basile, Maurice H. ter Beek, Laura Bussi, Vincenzo Ciancia

Int. J. Softw. Tools Technol. Transf., December, 2023

A Toolchain for Strategy Synthesis with Spatial Properties - Complementary Material.

Davide Basile, Maurice H. ter Beek, Laura Bussi, Vincenzo Ciancia

Dataset, August, 2023

On Bisimilarity for Quasi-discrete Closure Spaces.

Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink

CoRR, 2023

On Bisimilarity for Polyhedral Models and SLCS.

Vincenzo Ciancia, David Gabelaia, Diego Latella, Mieke Massink, Erik P. de Vink

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

Minimisation of Spatial Models Using Branching Bisimilarity.

Vincenzo Ciancia, Jan Friso Groote, Diego Latella, Mieke Massink, Erik P. de Vink

Proceedings of the Formal Methods - 25th International Symposium, 2023

A Spatial Logic with Time and Quantifiers.

Laura Bussi, Vincenzo Ciancia, Fabio Gadducci

Proceedings of the Dynamic Logic. New Trends and Applications - 5th International Workshop, 2023

2022

Geometric Model Checking of Continuous Space.

Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Gianluca Grilletti, Diego Latella, Mieke Massink

Log. Methods Comput. Sci., 2022

On Binding in the Spatial Logics for Closure Spaces.

Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

An Experimental Toolchain for Strategy Synthesis with Spatial Properties.

Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Towards a GUI for Declarative Medical Image Analysis: Cognitive and Memory Load Issues.

Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the HCI International 2022 Posters, 2022

Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces.

Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

On Bisimilarities for Closure Spaces - Preliminary Version.

Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink

CoRR, 2021

A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution.

Vincenzo Ciancia, Gina Belmonte, Diego Latella, Mieke Massink

Proceedings of the Model Checking Software - 27th International Symposium, 2021

Querying Medical Imaging Datasets Using Spatial Logics (Position Paper).

Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

Feasibility of Spatial Model Checking for Nevus Segmentation.

Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

Towards a Spatial Model Checker on GPU.

Laura Bussi, Vincenzo Ciancia, Fabio Gadducci

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

Spatial Model Checking for Smart Stations - Research Challenges.

Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

Towards Model Checking Video Streams Using VoxLogicA on GPUs.

Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink

Proceedings of the From Data to Models and Back, 2021

2020

Spatial logics and model checking for medical imaging.

Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

Int. J. Softw. Tools Technol. Transf., 2020

Using Spatial Logic and Model Checking for Nevus Segmentation.

Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink

CoRR, 2020

A spatial model checker in GPU (extended version).

Laura Bussi, Vincenzo Ciancia, Fabio Gadducci

CoRR, 2020

Towards Spatial Bisimilarity for Closure Models: Logical and Coalgebraic Characterisations.

Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink

CoRR, 2020

2019

VoxLogicA: a Spatial-Logic Based Tool for Declarative Image Analysis.

Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

ERCIM News, 2019

VoxLogicA: A Spatial Model Checker for Declarative Image Analysis.

Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages.

Vincenzo Ciancia, Yde Venema

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

Embedding RCC8D in the Collective Spatial Logic CSLCS.

Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

Innovating Medical Image Analysis via Spatial Logics.

Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Spatio-temporal model checking of vehicular movement in public transport systems.

Vincenzo Ciancia, Stephen Gilmore, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink

Int. J. Softw. Tools Technol. Transf., 2018

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.

Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink

Log. Methods Comput. Sci., 2018

Spatial Logics and Model Checking for Medical Imaging (Extended Version).

Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

CoRR, 2018

VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version).

Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

CoRR, 2018

Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook.

Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2017

Exploring nominal cellular automata.

Tommaso Bolognesi, Vincenzo Ciancia

J. Log. Algebraic Methods Program., 2017

2016

Model Checking Spatial Logics for Closure Spaces.

Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink

Log. Methods Comput. Sci., 2016

Nominal Cellular Automata.

Tommaso Bolognesi, Vincenzo Ciancia

Proceedings of the Proceedings 9th Interaction and Concurrency Experience, 2016

From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging.

Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016

Spatial Logic and Spatial Model Checking for Closure Spaces.

Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink

Proceedings of the Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems, 2016

A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems.

Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas, Andrea Vandin

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

On-the-Fly Mean-Field Model-Checking for Attribute-Based Coordination.

Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the Coordination Models and Languages, 2016

2015

An Experimental Spatio-Temporal Model Checker.

Vincenzo Ciancia, Gianluca Grilletti, Diego Latella, Michele Loreti, Mieke Massink

Proceedings of the Software Engineering and Formal Methods, 2015

Exploring Spatio-temporal Properties of Bike-Sharing Systems.

Vincenzo Ciancia, Diego Latella, Mieke Massink, Rytis Paskauskas

Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties.

Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink

Proceedings of the Runtime Verification - 6th International Conference, 2015

From urelements to Computation - A Journey Through Applications of Fraenkel's Permutation Model in Computer Science.

Vincenzo Ciancia

Proceedings of the History and Philosophy of Computing - Third International Conference, 2015

2014

Automated Synthesis and Ranking of Secure BPMN Orchestrators.

Vincenzo Ciancia, José Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel

Int. J. Secur. Softw. Eng., 2014

A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems for Smart Cities.

Maurice H. ter Beek, Luca Bortolussi, Vincenzo Ciancia, Stefania Gnesi, Jane Hillston, Diego Latella, Mieke Massink

ERCIM News, 2014

Specifying and Verifying Properties of Space - Extended Version.

Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink

CoRR, 2014

A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours.

Vincenzo Ciancia, Matteo Sammartino

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data.

Vincenzo Ciancia, Stephen Gilmore, Diego Latella, Michele Loreti, Mieke Massink

Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

Specifying and Verifying Properties of Space.

Vincenzo Ciancia, Diego Latella, Michele Loreti, Mieke Massink

Proceedings of the Theoretical Computer Science, 2014

2013

A decidable class of (nominal) omega-regular languages over an infinite alphabet.

Vincenzo Ciancia, Matteo Sammartino

CoRR, 2013

Quantitative Evaluation of Enforcement Strategies - Position Paper.

Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Charles Morisset

Proceedings of the Foundations and Practice of Security - 6th International Symposium, 2013

Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras.

Vincenzo Ciancia

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012

A Presheaf Environment for the Explicit Fusion Calculus.

Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci

J. Autom. Reason., 2012

A tool for the synthesis of cryptographic orchestrators.

Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel

Proceedings of the Model-Driven Security Workshop, 2012

Stream Automata Are Coalgebras.

Vincenzo Ciancia, Yde Venema

Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

2011

Interaction and observation, categorically

Vincenzo Ciancia

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

Freshness and Name-Restriction in Sets of Traces with Names.

Murdoch James Gabbay, Vincenzo Ciancia

Proceedings of the Foundations of Software Science and Computational Structures, 2011

Model-Driven Development of Long Running Transactions.

Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo, Emilio Tuosto

Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010

Event based choreography.

Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo

Sci. Comput. Program., 2010

Symmetries, local names and dynamic (de)-allocation of names.

Vincenzo Ciancia, Ugo Montanari

Inf. Comput., 2010

Families of Symmetries as Efficient Models of Resource Binding.

Vincenzo Ciancia, Alexander Kurz, Ugo Montanari

Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010

2008

Accessible functors and final coalgebras for named sets.

Vincenzo Ciancia

PhD thesis, 2008

A Name Abstraction Functor for Named Sets.

Vincenzo Ciancia, Ugo Montanari

Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008

Global Coordination Policies for Services.

Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Checking Correctness of Transactional Behaviors.

Vincenzo Ciancia, Gian-Luigi Ferrari, Roberto Guanciale, Daniele Strollo

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

History Dependent Automata for Service Compatibility.

Vincenzo Ciancia, Gian-Luigi Ferrari, Marco Pistore, Emilio Tuosto

Proceedings of the Concurrency, 2008

A Category of Explicit Fusions.

Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Ciancia, Fabio Gadducci

Proceedings of the Concurrency, 2008

2007

Co-Algebraic Models for Quantitative Spatial Logics.

Vincenzo Ciancia, Gian-Luigi Ferrari

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007