MASSINK, MIEKE
MASSINK, MIEKE
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Weak simplicial bisimilarity and minimisation for polyhedral model checking
2026 Bezhanishvili, Nick; Bussi, Laura; Ciancia, Vincenzo; Gabelaia, David; Jibladze, Mamuka; Latella, Diego; Massink, Mieke; De Vink Erik, P.
On bisimilarity for quasi-discrete closure spaces
2025 Ciancia, V.; Latella, D.; Massink, M.; De Vink, E. P.
Symbolic and hybrid AI for brain tissue segmentation using spatial model checking
2025 Belmonte, G.; Ciancia, V.; Massink, M.
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021)
2023 Hojjat H.; Massink M.
Geometric model checking of continuous space
2022 Bezhanishvili N.; Ciancia V.; Gabelaia D.; Grilletti G.; Latella D.; Massink M.
Preface. Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019)
2021 Hojjat, H; Massink, M
Preface to the special issue on Coordination Models and Languages (COORDINATION 2017)
2019 Jacquet J.M.; 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.
A refined mean field approximation of synchronous discrete-time population models
2018 Gast, N; 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.
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
Quantitative Aspects of Programming Languages and Systems (2011-12). Preface
2014 Massink M.; Norman G.; Wiklicky H.
A uniform definition of stochastic process calculi
2013 De Nicola, R; Latella, D; Loreti, M; Massink, M