An Experimental Evaluation of Probabilistic Simulation. - Jonathan Bogdoll; Holger Hermanns; Lijun Zhang 001 (FORTE, 2008)

FlowSim Simulation Benchmarking Platform. - Jonathan Bogdoll; Holger Hermanns; Lijun Zhang 001 (QEST, 2009)

Partial Order Methods for Statistical Model Checking and Simulation. - Jonathan Bogdoll; Luis María Ferrer Fioriti; Arnd Hartmanns; Holger Hermanns (FMOODS/FORTE, 2011)

Simulation and Statistical Model Checking for Modestly Nondeterministic Models. - Jonathan Bogdoll; Arnd Hartmanns; Holger Hermanns (MMB/DFT, 2012)

mctau: Bridging the Gap between Modest and UPPAAL. - Jonathan Bogdoll; Alexandre David; Arnd Hartmanns; Holger Hermanns (SPIN, 2012)