MASSINK, MIEKE
MASSINK, MIEKE
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
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.
Preface
2021 Hojjat H.; Massink M.
Embedding RCC8D in the collective spatial logic CSLCS
2019 Ciancia V.; Latella D.; Massink M.
Fundamentals of Software Engineering
2019 Hojjat, H; 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
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
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
Mobile UML Statecharts with Localities
2005 Diego Latella; Mieke Massink; Hubert Baumeister; Martin Wirsing
Model checking groupware protocols
2004 Ter Beek M. H.; Massink M.; Latella D.; Gnesi S.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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. | |
Preface | 1-gen-2021 | Hojjat H.; Massink M. | |
Embedding RCC8D in the collective spatial logic CSLCS | 1-gen-2019 | Ciancia V.; Latella D.; Massink M. | |
Fundamentals of Software Engineering | 1-gen-2019 | Hojjat, H; 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 | |
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 | |
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 | |
Mobile UML Statecharts with Localities | 1-gen-2005 | Diego Latella; Mieke Massink; Hubert Baumeister; Martin Wirsing | |
Model checking groupware protocols | 1-gen-2004 | Ter Beek M. H.; Massink M.; Latella D.; Gnesi S. |