LATELLA, DIEGO
LATELLA, DIEGO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
On bisimilarity for quasi-discrete closure spaces
2025 Ciancia, V.; Latella, D.; Massink, M.; De Vink, E. P.
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
A refined mean field approximation of synchronous discrete-time population models
2018 Gast, N; Latella, D; 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.
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
Bisimulation of labelled state-to-function transition systems coalgebraically
2015 Latella, D; Massink, M; De Vink, E
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination
2015 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
A uniform definition of stochastic process calculi
2013 De Nicola, R; Latella, D; Loreti, M; Massink, M
On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics
2013 Massink M.; Brambilla M.; Latella D.; Dorigo M.; Birattari M.
Scalable context-dependent analysis of emergency egress models
2012 Massink M.; Latella D.; Bracciali A.; Harrison M.; Hillston J.
Assisting the design of a groupware system - Model checking usability aspects of thinkteam
2009 Ter Beek, Mh; Gnesi, S; Latella, D; Massink, M; Sebastianis, M; Trentanni, G
Model checking mobile stochastic logic
2007 De Nicola R.; Katoen JP.; Latella D.; Loreti M.; Massink M.
On testing UML statecharts
2006 Massink, M; Latella, D; Gnesi, S
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
2002 Gnesi, S; Latella, D; Massink, M
Dependability analysis in the early phases of UML based system design.
2001 Bondavalli, A; Dal Cin, M; Latella, D; Majzik, I; Pataricza, A; Savoia, G
Design validation of embedded dependable systems
2001 Bondavalli, A; Fantechi, A; Latella, D; Simoncini, L
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| On bisimilarity for quasi-discrete closure spaces | 1-gen-2025 | Ciancia, V.; Latella, D.; Massink, M.; De Vink, E. P. | |
| 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 | |
| A refined mean field approximation of synchronous discrete-time population models | 1-gen-2018 | Gast, N; Latella, D; 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. | |
| 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 | |
| Bisimulation of labelled state-to-function transition systems coalgebraically | 1-gen-2015 | Latella, D; Massink, M; De Vink, E | |
| On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination | 1-gen-2015 | 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 | |
| A uniform definition of stochastic process calculi | 1-gen-2013 | De Nicola, R; Latella, D; Loreti, M; Massink, M | |
| On the use of Bio-PEPA for modelling and analysing collective behaviours in swarm robotics | 1-gen-2013 | Massink M.; Brambilla M.; Latella D.; Dorigo M.; Birattari M. | |
| Scalable context-dependent analysis of emergency egress models | 1-gen-2012 | Massink M.; Latella D.; Bracciali A.; Harrison M.; Hillston J. | |
| Assisting the design of a groupware system - Model checking usability aspects of thinkteam | 1-gen-2009 | Ter Beek, Mh; Gnesi, S; Latella, D; Massink, M; Sebastianis, M; Trentanni, G | |
| Model checking mobile stochastic logic | 1-gen-2007 | De Nicola R.; Katoen JP.; Latella D.; Loreti M.; Massink M. | |
| On testing UML statecharts | 1-gen-2006 | Massink, M; Latella, D; Gnesi, S | |
| Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking | 1-gen-2002 | Gnesi, S; Latella, D; Massink, M | |
| Dependability analysis in the early phases of UML based system design. | 1-gen-2001 | Bondavalli, A; Dal Cin, M; Latella, D; Majzik, I; Pataricza, A; Savoia, G | |
| Design validation of embedded dependable systems | 1-gen-2001 | Bondavalli, A; Fantechi, A; Latella, D; Simoncini, L |