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
642015
Specifying and verifying properties of space
V Ciancia, D Latella, M Loreti, M Massink
IFIP International Conference on Theoretical Computer Science, 222-235, 2014
572014
Freshness and name-restriction in sets of traces with names
MJ Gabbay, V Ciancia
International Conference on Foundations of Software Science and …, 2011
542011
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
372015
Symmetries, local names and dynamic (de)-allocation of names
V Ciancia, U Montanari
Information and Computation 208 (12), 1349-1367, 2010
362010
An experimental spatio-temporal model checker
V Ciancia, G Grilletti, D Latella, M Loreti, M Massink
SEFM 2015 Collocated Workshops, 297-311, 2015
352015
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
292018
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
292016
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
292014
Model checking spatial logics for closure spaces
V Ciancia, D Latella, M Loreti, M Massink
arXiv preprint arXiv:1609.06513, 2016
252016
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
252016
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
A novel class of automata for languages on infinite alphabets
V Ciancia, E Tuosto
Technical Report CS-09–003, 2009
182009
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
172018
A name abstraction functor for named sets
V Ciancia, U Montanari
Electronic Notes in Theoretical Computer Science 203 (5), 49-70, 2008
162008
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, 1-23, 2019
152019
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink
arXiv preprint arXiv:1706.09334, 2017
152017
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
152016
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
152012
Stream automata are coalgebras
V Ciancia, Y Venema
International Workshop on Coalgebraic Methods in Computer Science, 90-108, 2012
132012
The system can't perform the operation now. Try again later.
Articles 1–20