Vincenzo Ciancia

According to our database1, Vincenzo Ciancia authored at least 53 papers between 2007 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
On Bisimilarities for Closure Spaces - Preliminary Version.
CoRR, 2021

Geometric Model Checking of Continuous Space.
CoRR, 2021

Feasibility of Spatial Model Checking for Nevus Segmentation.
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

Towards a Spatial Model Checker on GPU.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

2020
Spatial logics and model checking for medical imaging.
Int. J. Softw. Tools Technol. Transf., 2020

Using Spatial Logic and Model Checking for Nevus Segmentation.
CoRR, 2020

A spatial model checker in GPU (extended version).
CoRR, 2020

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

2019
VoxLogicA: a Spatial-Logic Based Tool for Declarative Image Analysis.
ERCIM News, 2019

VoxLogicA: A Spatial Model Checker for Declarative Image Analysis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages.
Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

Embedding RCC8D in the Collective Spatial Logic CSLCS.
Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

Innovating Medical Image Analysis via Spatial Logics.
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.
Int. J. Softw. Tools Technol. Transf., 2018

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL.
Log. Methods Comput. Sci., 2018

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

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

Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC - Experience and Outlook.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

2017
Exploring nominal cellular automata.
J. Log. Algebraic Methods Program., 2017

2016
Model Checking Spatial Logics for Closure Spaces.
Log. Methods Comput. Sci., 2016

Nominal Cellular Automata.
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.
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.
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.
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.
Proceedings of the Coordination Models and Languages, 2016

2015
An Experimental Spatio-Temporal Model Checker.
Proceedings of the Software Engineering and Formal Methods, 2015

Exploring Spatio-temporal Properties of Bike-Sharing Systems.
Proceedings of the 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2015

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties.
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.
Proceedings of the History and Philosophy of Computing - Third International Conference, 2015

2014
Automated Synthesis and Ranking of Secure BPMN Orchestrators.
Int. J. Secur. Softw. Eng., 2014

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

Specifying and Verifying Properties of Space - Extended Version.
CoRR, 2014

A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours.
Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data.
Proceedings of the Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2014

Specifying and Verifying Properties of Space.
Proceedings of the Theoretical Computer Science, 2014

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

Quantitative Evaluation of Enforcement Strategies - Position Paper.
Proceedings of the Foundations and Practice of Security - 6th International Symposium, 2013

Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras.
Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2012
A Presheaf Environment for the Explicit Fusion Calculus.
J. Autom. Reason., 2012

A tool for the synthesis of cryptographic orchestrators.
Proceedings of the Model-Driven Security Workshop, 2012

Stream Automata Are Coalgebras.
Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

2011
Interaction and observation, categorically
Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

Freshness and Name-Restriction in Sets of Traces with Names.
Proceedings of the Foundations of Software Science and Computational Structures, 2011

Model-Driven Development of Long Running Transactions.
Proceedings of the Rigorous Software Engineering for Service-Oriented Systems, 2011

2010
Event based choreography.
Sci. Comput. Program., 2010

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

Families of Symmetries as Efficient Models of Resource Binding.
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010

Global Coordination Policies for Services.
Electron. Notes Theor. Comput. Sci., 2010

2008
A Name Abstraction Functor for Named Sets.
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008

Checking Correctness of Transactional Behaviors.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

History Dependent Automata for Service Compatibility.
Proceedings of the Concurrency, 2008

A Category of Explicit Fusions.
Proceedings of the Concurrency, 2008

2007
Co-Algebraic Models for Quantitative Spatial Logics.
Electron. Notes Theor. Comput. Sci., 2007


  Loading...