Vincenzo Ciancia
Vincenzo Ciancia
ISTI-CNR
Verified email at isti.cnr.it - Homepage
Title
Cited by
Cited by
Year
Qualitative and quantitative monitoring of spatio-temporal properties
L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink
Runtime Verification, 21-37, 2015
742015
Specifying and verifying properties of space
V Ciancia, D Latella, M Loreti, M Massink
IFIP international conference on theoretical computer science, 222-235, 2014
682014
Freshness and name-restriction in sets of traces with names
MJ Gabbay, V Ciancia
International Conference on Foundations of Software Science and …, 2011
572011
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
442015
An experimental spatio-temporal model checker
V Ciancia, G Grilletti, D Latella, M Loreti, M Massink
SEFM 2015 Collocated Workshops, 297-311, 2015
432015
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 (3), 289-311, 2018
402018
A tool-chain for statistical spatio-temporal model checking of bike sharing systems
V Ciancia, D Latella, M Massink, R Paškauskas, A Vandin
International Symposium on Leveraging Applications of Formal Methods, 657-673, 2016
382016
Symmetries, local names and dynamic (de)-allocation of names
V Ciancia, U Montanari
Information and Computation 208 (12), 1349-1367, 2010
362010
Model checking spatial logics for closure spaces
V Ciancia, D Latella, M Loreti, M Massink
arXiv preprint arXiv:1609.06513, 2016
332016
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
Spatial logic and spatial model checking for closure spaces
V Ciancia, D Latella, M Loreti, M Massink
International School on Formal Methods for the Design of Computer …, 2016
282016
Spatial logics and model checking for medical imaging
FB Buonamici, G Belmonte, V Ciancia, D Latella, M Massink
International Journal on Software Tools for Technology Transfer 22 (2), 195-217, 2020
272020
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
M Massink, M Loreti, V Ciancia, L Bortolussi, L Nenzi
Logical Methods in Computer Science 14, 2018
252018
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
VoxLogicA: A Spatial Model Checker for Declarative Image Analysis
G Belmonte, V Ciancia, D Latella, M Massink
International Conference on Tools and Algorithms for the Construction and …, 2019
192019
Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC
D Basile, MH ter Beek, V Ciancia
International Symposium on Leveraging Applications of Formal Methods, 372-391, 2018
192018
A novel class of automata for languages on infinite alphabets
V Ciancia, E Tuosto
Technical Report CS-09–003, 2009
192009
From collective adaptive systems to human centric computation and back: Spatial model checking for medical imaging
G Belmonte, V Ciancia, D Latella, M Massink
arXiv preprint arXiv:1607.02235, 2016
162016
A name abstraction functor for named sets
V Ciancia, U Montanari
Electronic Notes in Theoretical Computer Science 203 (5), 49-70, 2008
162008
A presheaf environment for the explicit fusion calculus
F Bonchi, MG Buscemi, V Ciancia, F Gadducci
Journal of Automated Reasoning 49 (2), 161-183, 2012
142012
The system can't perform the operation now. Try again later.
Articles 1–20