Mieke Massink

Available identifiers

zbMath Open massink.miekeMaRDI QIDQ995464

List of research outcomes

Publication	Date of Publication	Type
Embedding RCC8D in the collective spatial logic CSLCS	2024-02-23	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
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mieke Massink