Marcus Gerhold

Model-based testing of probabilistic systems

Mariëlle Stoelinga, Marcus Gerhold, 2017, Formal Aspects of Computing.

Model-based testing of probabilistic systems

Mariëlle Stoelinga, Marcus Gerhold, M. Stoelinga, 2016, Formal Aspects of Computing.

Ioco Theory for Probabilistic Automata

Mariëlle Stoelinga, Marcus Gerhold, M. Stoelinga, 2015, MBT.

Choice and chance : model-based testing of stochastic behaviour

Marcus Gerhold, M. Gerhold, 2018 .

A Hierarchy of Scheduler Classes for Stochastic Automata

Sean Sedwards, Pedro R. D'Argenio, Arnd Hartmanns, 2017, FoSSaCS.

Model-based testing of stochastically timed systems

Mariëlle Stoelinga, Arnd Hartmanns, Marcus Gerhold, 2019, Innovations in Systems and Software Engineering.

Model-Based Testing for General Stochastic Time

Mariëlle Stoelinga, Arnd Hartmanns, Marcus Gerhold, 2018, NFM.

Model-based testing of stochastic systems with IOCO theory

Mariëlle Stoelinga, Marcus Gerhold, M. Stoelinga, 2016, A-TEST@SIGSOFT FSE.

Model-Based Testing of Probabilistic Systems with Stochastic Time

Mariëlle Stoelinga, Marcus Gerhold, M. Stoelinga, 2017, TAP@STAF.