LATELLA, DIEGO
LATELLA, DIEGO
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Measured causes: adding time and probability to true concurrency
2024 Brinksma, E.; Langerak, R.; Latella, D.; Massink, M.
Caratteristiche, prospettive e problematicità dell'Intelligenza Artificiale
2023 Latella D.; Siroli G.P.; Tamburrini G.
Back-and-forth in space: on logics and bisimilarity in closure spaces
2022 Ciancia V.; Latella D.; Massink M.; de Vink E.P.
Towards model checking video streams using VoxLogicA on GPUs
2022 Bussi L.; Ciancia V.; Gadducci F.; Latella D.; Massink M.
Embedding RCC8D in the collective spatial logic CSLCS
2019 Ciancia V.; Latella D.; Massink M.
Innovating Medical Image Analysis via Spatial Logics
2019 Belmonte G.; Ciancia V.; Latella D.; Massink M.
FlyFast: a scalable approach to probabilistic model-checking based on mean-field approximation
2017 Latella, D; Loreti, M; Massink, M
L'USPID
2017 Bernardini, C; Colombetti, G; Latella, D; Lenci, F
Spatial logic and spatial model checking for closure spaces
2016 Ciancia V.; Latella D.; Loreti M.; Massink M.
An experimental spatio-temporal model checker
2015 Ciancia, V; Grilletti, G; Latella, D; Loreti, M; Massink, M
On StocS: a stochastic extension of SCEL
2015 Latella D.; Loreti M.; Massink M.; Senni V
Quantitative analysis of distributed systems in stoklaim: a tutorial
2015 Latella D.; De Nicola R.; Loreti M.; Massink M.
The SCEL language: design, implementation, verification
2015 De Nicola, R; Latella, D; Lafuente, Al; Loreti, M; Margheri, A; Massink, M; Morichetta, A; Pugliese, R; Tiezzi, F; Vandin, A
Towards automatic decision support for bike-sharing system design
2015 Ter Beek M. H.; Gnesi S.; Latella D.; Massink M.
On-the-fly fast mean-field model-checking
2014 Latella D.; Loreti M.; Massink M.
An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam
2013 Ter Beek, Mh; Gnesi, S; Latella, D; Massink, M; Sebastianis, M; Trentanni, G
Formal Methods: applying {logics in, theoretical} computer science
2013 Latella D.
Quantitative Analysis of Services
2011 Cappello, I; Clark, A; Gilmore, S; Latella, D; Loreti, M; Quaglia, P; Schivo, S
SoSL: A Service-Oriented Stochastic Logic
2011 De Nicola, R; Latella, D; Loreti, M; Massink, M
Combining timed coordination primitives and probabilistic tuple spaces
2009 Mario Bravetti; Diego Latella; Michele Loreti; Mieke Massink; Gianluigi Zavattaro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Measured causes: adding time and probability to true concurrency | 1-gen-2024 | Brinksma, E.; Langerak, R.; Latella, D.; Massink, M. | |
| Caratteristiche, prospettive e problematicità dell'Intelligenza Artificiale | 1-gen-2023 | Latella D.; Siroli G.P.; Tamburrini G. | |
| Back-and-forth in space: on logics and bisimilarity in closure spaces | 1-gen-2022 | Ciancia V.; Latella D.; Massink M.; de Vink E.P. | |
| Towards model checking video streams using VoxLogicA on GPUs | 1-gen-2022 | Bussi L.; Ciancia V.; Gadducci F.; Latella D.; Massink M. | |
| Embedding RCC8D in the collective spatial logic CSLCS | 1-gen-2019 | Ciancia V.; Latella D.; Massink M. | |
| Innovating Medical Image Analysis via Spatial Logics | 1-gen-2019 | Belmonte G.; Ciancia V.; Latella D.; Massink M. | |
| FlyFast: a scalable approach to probabilistic model-checking based on mean-field approximation | 1-gen-2017 | Latella, D; Loreti, M; Massink, M | |
| L'USPID | 1-gen-2017 | Bernardini, C; Colombetti, G; Latella, D; Lenci, F | |
| Spatial logic and spatial model checking for closure spaces | 1-gen-2016 | Ciancia V.; Latella D.; Loreti M.; Massink M. | |
| An experimental spatio-temporal model checker | 1-gen-2015 | Ciancia, V; Grilletti, G; Latella, D; Loreti, M; Massink, M | |
| On StocS: a stochastic extension of SCEL | 1-gen-2015 | Latella D.; Loreti M.; Massink M.; Senni V | |
| Quantitative analysis of distributed systems in stoklaim: a tutorial | 1-gen-2015 | Latella D.; De Nicola R.; Loreti M.; Massink M. | |
| The SCEL language: design, implementation, verification | 1-gen-2015 | De Nicola, R; Latella, D; Lafuente, Al; Loreti, M; Margheri, A; Massink, M; Morichetta, A; Pugliese, R; Tiezzi, F; Vandin, A | |
| Towards automatic decision support for bike-sharing system design | 1-gen-2015 | Ter Beek M. H.; Gnesi S.; Latella D.; Massink M. | |
| On-the-fly fast mean-field model-checking | 1-gen-2014 | Latella D.; Loreti M.; Massink M. | |
| An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam | 1-gen-2013 | Ter Beek, Mh; Gnesi, S; Latella, D; Massink, M; Sebastianis, M; Trentanni, G | |
| Formal Methods: applying {logics in, theoretical} computer science | 1-gen-2013 | Latella D. | |
| Quantitative Analysis of Services | 1-gen-2011 | Cappello, I; Clark, A; Gilmore, S; Latella, D; Loreti, M; Quaglia, P; Schivo, S | |
| SoSL: A Service-Oriented Stochastic Logic | 1-gen-2011 | De Nicola, R; Latella, D; Loreti, M; Massink, M | |
| Combining timed coordination primitives and probabilistic tuple spaces | 1-gen-2009 | Mario Bravetti; Diego Latella; Michele Loreti; Mieke Massink; Gianluigi Zavattaro |