Follow
Vincenzo Ciancia
Vincenzo Ciancia
ISTI-CNR
Verified email at isti.cnr.it - Homepage
Title
Cited by
Cited by
Year
Specifying and verifying properties of space
V Ciancia, D Latella, M Loreti, M Massink
Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference …, 2014
892014
Qualitative and quantitative monitoring of spatio-temporal properties
L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink
Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015
792015
Spatio-temporal model checking of vehicular movement in public transport systems
V Ciancia, S Gilmore, G Grilletti, D Latella, M Loreti, M Massink
International Journal on Software Tools for Technology Transfer 20, 289-311, 2018
672018
Model checking spatial logics for closure spaces
V Ciancia, D Latella, M Loreti, M Massink
Logical Methods in Computer Science 12, 2017
602017
A tool-chain for statistical spatio-temporal model checking of bike sharing systems
V Ciancia, D Latella, M Massink, R Paškauskas, A Vandin
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
572016
Freshness and name-restriction in sets of traces with names
MJ Gabbay, V Ciancia
Foundations of Software Science and Computational Structures: 14th …, 2011
572011
Spatial logics and model checking for medical imaging
F Banci Buonamici, G Belmonte, V Ciancia, D Latella, M Massink
International Journal on Software Tools for Technology Transfer 22 (2), 195-217, 2020
542020
Exploring spatio-temporal properties of bike-sharing systems
V Ciancia, D Latella, M Massink, R Pakauskas
2015 IEEE International Conference on Self-Adaptive and Self-Organizing …, 2015
522015
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink
Logical Methods in Computer Science 14 (Modal and temporal logics), 2018
492018
An experimental spatio-temporal model checker
V Ciancia, G Grilletti, D Latella, M Loreti, M Massink
SEFM 2015 collocated workshops, 297-311, 2015
482015
VoxLogicA: A Spatial Model Checker for Declarative Image Analysis
G Belmonte, V Ciancia, D Latella, M Massink
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
422019
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC: Experience and Outlook
D Basile, MH ter Beek, V Ciancia
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
342018
Symmetries, local names and dynamic (de)-allocation of names
V Ciancia, U Montanari
Information and Computation 208 (12), 1349-1367, 2010
342010
Spatial logic and spatial model checking for closure spaces
V Ciancia, D Latella, M Loreti, M Massink
Formal Methods for the Quantitative Evaluation of Collective Adaptive …, 2016
322016
Data verification for collective adaptive systems: spatial model-checking of vehicle location data
V Ciancia, S Gilmore, D Latella, M Loreti, M Massink
2014 IEEE Eighth International Conference on Self-Adaptive and Self …, 2014
312014
Feasibility of spatial model checking for nevus segmentation
G Belmonte, G Broccia, V Ciancia, D Latella, M Massink
2021 IEEE/ACM 9th International Conference on Formal Methods in Software …, 2021
242021
Innovating medical image analysis via spatial logics
G Belmonte, V Ciancia, D Latella, M Massink
From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019
212019
Families of symmetries as efficient models of resource binding
V Ciancia, A Kurz, U Montanari
Electronic Notes in Theoretical Computer Science 264 (2), 63-81, 2010
202010
Geometric model checking of continuous space
N Bezhanishvili, V Ciancia, D Gabelaia, G Grilletti, D Latella, M Massink
Logical Methods in Computer Science 18, 2022
192022
A novel class of automata for languages on infinite alphabets
V Ciancia, E Tuosto
Technical Report CS-09–003, 2009
182009
The system can't perform the operation now. Try again later.
Articles 1–20