Mieke Massink

Available identifiers

zbMath Open massink.miekeDBLP79/1724WikidataQ120907058 ScholiaQ120907058MaRDI QIDQ995464

List of research outcomes

Publication	Date of Publication	Type
Embedding RCC8D in the collective spatial logic CSLCS	2024-02-23	Paper
On bisimilarity for polyhedral models and \texttt{SLCS}	2024-01-11	Paper
Minimisation of spatial models using branching bisimilarity	2023-08-17	Paper
Back-and-forth in space: on logics and bisimilarity in closure spaces	2023-07-26	Paper
Geometric Model Checking of Continuous Space	2023-01-09	Paper
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation	2022-11-09	Paper
An Experimental Spatio-Temporal Model Checker	2021-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q5216078	2020-02-14	Paper
https://portal.mardi4nfdi.de/entity/Q4553288	2018-11-02	Paper
Model Checking Spatial Logics for Closure Spaces	2017-04-11	Paper
On-the-fly Fast Mean-Field Model-Checking	2016-11-09	Paper
Spatial Logic and Spatial Model Checking for Closure Spaces	2016-10-04	Paper
\textsf{MarCaSPiS}: a Markovian extension of a calculus for services	2016-06-03	Paper
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically	2016-01-07	Paper
Specifying and Verifying Properties of Space	2014-09-15	Paper
A uniform definition of stochastic process calculi	2014-06-05	Paper
Rate-Based Transition Systems for Stochastic Process Calculi	2009-07-14	Paper
Assisting the design of a groupware system - Model checking usability aspects of thinkteam	2009-04-29	Paper
Model checking mobile stochastic logic	2007-09-03	Paper
On testing UML statecharts	2006-08-17	Paper
Global Computing	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4474035	2004-08-04	Paper
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking	2003-02-13	Paper
Using hybrid automata to support human factors analysis in a critical system	2002-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q2769589	2002-02-05	Paper
Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker	2000-08-27	Paper
Modelling and verification of PREMO synchronisable objects	1999-07-26	Paper
https://portal.mardi4nfdi.de/entity/Q4251114	1999-06-17	Paper

Research outcomes over time

This page was built for person: Mieke Massink