CIANCIA, VINCENZO
CIANCIA, VINCENZO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
A toolchain for strategy synthesis with spatial properties
2023 Basile, D; TER BEEK, MAURICE HENRI; Bussi, L; Ciancia, V
Geometric model checking of continuous space
2022 Bezhanishvili N.; Ciancia V.; Gabelaia D.; Grilletti G.; Latella D.; Massink M.
Spatial logics and model checking for medical imaging
2019 Banci Buonamici, F; Belmonte, G; Ciancia, V; Latella, D; Massink, M
VoxLogicA: a Spatial-Logic based tool for Declarative Image Analysis
2019 Belmonte G.; Ciancia V.; Latella D.; Massink M.
Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
2018 Nenzi L.; Bortolussi L.; Ciancia V.; Loreti M.; Massink M.
Spatio-temporal model checking of vehicular movement in public transport systems
2018 Ciancia V. ; Gilmore S.; Grilletti G.; Latella D.; Loreti M.; Massink M.
A topological method for automatic segmentation of glioblastoma in MR FLAIR for radiotherapy
2017 Belmonte G.; Ciancia V.; Latella D.; Massink M.; Biondi M.; De Otto G.; Nardone V.; Rubino G.; Vanzi E.; Banci Buonamici F.
Exploring nominal cellular automata
2017 Bolognesi, T; Ciancia, V
Model checking spatial logics for closure spaces
2016 Ciancia V.; Latella D.; Loreti M.; Massink M.
Spatio-temporal model-checking for collective adaptive systems
2016 Ciancia, V; Latella, D; Loreti, M; Massink, M
A quantitative approach to the design and analysis of collective adaptive systems for smart cities
2014 TER BEEK, MAURICE HENRI; Bortolussi, L; Ciancia, V; Gnesi, S; Hillston, J; Latella, D; Massink, M
Automated synthesis and ranking of secure BPMN orchestrators
2014 Ciancia, V; Martin, Ja; Martinelli, F; Matteucci, I; Petrocchi, M; Pimentel, E
A Presheaf Environment for the Explicit Fusion Calculus
2012 Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A toolchain for strategy synthesis with spatial properties | 1-gen-2023 | Basile, D; TER BEEK, MAURICE HENRI; Bussi, L; Ciancia, V | |
| Geometric model checking of continuous space | 1-gen-2022 | Bezhanishvili N.; Ciancia V.; Gabelaia D.; Grilletti G.; Latella D.; Massink M. | |
| Spatial logics and model checking for medical imaging | 1-gen-2019 | Banci Buonamici, F; Belmonte, G; Ciancia, V; Latella, D; Massink, M | |
| VoxLogicA: a Spatial-Logic based tool for Declarative Image Analysis | 1-gen-2019 | Belmonte G.; Ciancia V.; Latella D.; Massink M. | |
| Qualitative and quantitative monitoring of spatio-temporal properties with SSTL | 1-gen-2018 | Nenzi L.; Bortolussi L.; Ciancia V.; Loreti M.; Massink M. | |
| Spatio-temporal model checking of vehicular movement in public transport systems | 1-gen-2018 | Ciancia V. ; Gilmore S.; Grilletti G.; Latella D.; Loreti M.; Massink M. | |
| A topological method for automatic segmentation of glioblastoma in MR FLAIR for radiotherapy | 1-gen-2017 | Belmonte G.; Ciancia V.; Latella D.; Massink M.; Biondi M.; De Otto G.; Nardone V.; Rubino G.; Vanzi E.; Banci Buonamici F. | |
| Exploring nominal cellular automata | 1-gen-2017 | Bolognesi, T; Ciancia, V | |
| Model checking spatial logics for closure spaces | 1-gen-2016 | Ciancia V.; Latella D.; Loreti M.; Massink M. | |
| Spatio-temporal model-checking for collective adaptive systems | 1-gen-2016 | Ciancia, V; Latella, D; Loreti, M; Massink, M | |
| A quantitative approach to the design and analysis of collective adaptive systems for smart cities | 1-gen-2014 | TER BEEK, MAURICE HENRI; Bortolussi, L; Ciancia, V; Gnesi, S; Hillston, J; Latella, D; Massink, M | |
| Automated synthesis and ranking of secure BPMN orchestrators | 1-gen-2014 | Ciancia, V; Martin, Ja; Martinelli, F; Matteucci, I; Petrocchi, M; Pimentel, E | |
| A Presheaf Environment for the Explicit Fusion Calculus | 1-gen-2012 | Bonchi, Filippo; Buscemi, Maria Grazia; Ciancia, Vincenzo; Gadducci, Fabio |