Jonathan Bogdoll

Partial Order Methods for Statistical Model Checking and Simulation

Holger Hermanns, Jonathan Bogdoll, Luis María Ferrer Fioriti, 2011, FMOODS/FORTE.

mctau: Bridging the Gap between Modest and UPPAAL

Holger Hermanns, Alexandre David, Jonathan Bogdoll, 2012, SPIN.

An Experimental Evaluation of Probabilistic Simulation

Lijun Zhang, Holger Hermanns, Jonathan Bogdoll, 2008, FORTE.

FlowSim Simulation Benchmarking Platform

Lijun Zhang, Holger Hermanns, Jonathan Bogdoll, 2009, 2009 Sixth International Conference on the Quantitative Evaluation of Systems.

Simulation and Statistical Model Checking for Modestly Nondeterministic Models

Holger Hermanns, Jonathan Bogdoll, Arnd Hartmanns, 2012, MMB/DFT.