Search filters

List of works by Mieke Massink

A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis

scientific article published in September 2010

A uniform definition of stochastic process calculi

scientific article published on 11 July 2013

An Experimental Spatio-Temporal Model Checker

scientific article published in 2015

CARMA: Collective Adaptive Resource-sharing Markovian Agents

scientific article published on 28 September 2015

Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data

scientific article published in September 2014

Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems

scientific article published in 2015

MarCaSPiS: a Markovian Extension of a Calculus for Services

scientific article published in August 2009

Model Checking Spatial Logics for Closure Spaces

scientific article published on 27 April 2017

Model checking mobile stochastic logic

Modelling Non-linear Crowd Dynamics in Bio-PEPA

scientific article published in 2011

On-the-fly Fast Mean-Field Model-Checking

scientific article published in 2014

On-the-fly Fluid Model Checking via Discrete Time Population Models

scientific article published in 2015

On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination

scientific article published in October 2015

On-the-fly Probabilistic Model Checking

scientific article published on 26 October 2014

Qualitative and Quantitative Monitoring of Spatio-Temporal Properties

scientific article published in 2015

Scalable context-dependent analysis of emergency egress models

scientific article published on 3 July 2011

Spatio-temporal model checking of vehicular movement in public transport systems

scientific article published on 24 January 2018

Specifying and Verifying Properties of Space

scientific article published in 2014

Stochastically timed predicate-based communication primitives for autonomic computing

scientific article published on 6 June 2014