MASSINK, MIEKE
MASSINK, MIEKE
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
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
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
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.
Modelling interactive experience, function and performance in ubiquitous systems
2010 Harrison, M; Massink, M
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