Vincenzo Ciancia
Vincenzo Ciancia
ISTI-CNR
E-mail megerősítve itt: isti.cnr.it
Cím
Hivatkozott rá
Hivatkozott rá
Év
Qualitative and quantitative monitoring of spatio-temporal properties
L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink
Runtime Verification, 21-37, 2015
622015
Specifying and verifying properties of space
V Ciancia, D Latella, M Loreti, M Massink
IFIP International Conference on Theoretical Computer Science, 222-235, 2014
532014
Freshness and name-restriction in sets of traces with names
MJ Gabbay, V Ciancia
International Conference on Foundations of Software Science and …, 2011
532011
Symmetries, local names and dynamic (de)-allocation of names
V Ciancia, U Montanari
Information and Computation 208 (12), 1349-1367, 2010
372010
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
342015
An experimental spatio-temporal model checker
V Ciancia, G Grilletti, D Latella, M Loreti, M Massink
SEFM 2015 Collocated Workshops, 297-311, 2015
342015
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
272016
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
272014
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
262018
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
262016
Model checking spatial logics for closure spaces
V Ciancia, D Latella, M Loreti, M Massink
arXiv preprint arXiv:1609.06513, 2016
242016
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
212010
A novel class of automata for languages on infinite alphabets
V Ciancia, E Tuosto
Technical Report CS-09–003, 2009
192009
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
162018
A name abstraction functor for named sets
V Ciancia, U Montanari
Electronic Notes in Theoretical Computer Science 203 (5), 49-70, 2008
162008
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
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
122019
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
122017
Stream automata are coalgebras
V Ciancia, Y Venema
International Workshop on Coalgebraic Methods in Computer Science, 90-108, 2012
122012
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20