Mieke Massink

From MaRDI portal
Person:995464

Available identifiers

zbMath Open massink.miekeDBLP79/1724WikidataQ120907058 ScholiaQ120907058MaRDI QIDQ995464

List of research outcomes





PublicationDate of PublicationType
Embedding RCC8D in the collective spatial logic CSLCS2024-02-23Paper
On bisimilarity for polyhedral models and \texttt{SLCS}2024-01-11Paper
Minimisation of spatial models using branching bisimilarity2023-08-17Paper
Back-and-forth in space: on logics and bisimilarity in closure spaces2023-07-26Paper
Geometric Model Checking of Continuous Space2023-01-09Paper
FlyFast: A Scalable Approach to Probabilistic Model-Checking Based on Mean-Field Approximation2022-11-09Paper
An Experimental Spatio-Temporal Model Checker2021-05-18Paper
https://portal.mardi4nfdi.de/entity/Q52160782020-02-14Paper
https://portal.mardi4nfdi.de/entity/Q45532882018-11-02Paper
Model Checking Spatial Logics for Closure Spaces2017-04-11Paper
On-the-fly Fast Mean-Field Model-Checking2016-11-09Paper
Spatial Logic and Spatial Model Checking for Closure Spaces2016-10-04Paper
\textsf{MarCaSPiS}: a Markovian extension of a calculus for services2016-06-03Paper
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically2016-01-07Paper
Specifying and Verifying Properties of Space2014-09-15Paper
A uniform definition of stochastic process calculi2014-06-05Paper
Rate-Based Transition Systems for Stochastic Process Calculi2009-07-14Paper
Assisting the design of a groupware system - Model checking usability aspects of thinkteam2009-04-29Paper
Model checking mobile stochastic logic2007-09-03Paper
On testing UML statecharts2006-08-17Paper
Global Computing2005-08-19Paper
https://portal.mardi4nfdi.de/entity/Q44740352004-08-04Paper
Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking2003-02-13Paper
Using hybrid automata to support human factors analysis in a critical system2002-04-11Paper
https://portal.mardi4nfdi.de/entity/Q27695892002-02-05Paper
Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker2000-08-27Paper
Modelling and verification of PREMO synchronisable objects1999-07-26Paper
https://portal.mardi4nfdi.de/entity/Q42511141999-06-17Paper

Research outcomes over time

This page was built for person: Mieke Massink