Jonathan Bogdoll

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Controller Synthesis

Formal Specification

Temporal Properties

Top Venues

Publications

Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns
mctau: Bridging the Gap between Modest and UPPAAL. SPIN (2012)
Jonathan Bogdoll, Arnd Hartmanns, Holger Hermanns
Simulation and Statistical Model Checking for Modestly Nondeterministic Models. MMB/DFT (2012)
Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns
Partial Order Methods for Statistical Model Checking and Simulation. FMOODS/FORTE (2011)
Jonathan Bogdoll, Holger Hermanns, Lijun Zhang
FlowSim Simulation Benchmarking Platform. QEST (2009)
Jonathan Bogdoll, Holger Hermanns, Lijun Zhang
An Experimental Evaluation of Probabilistic Simulation. FORTE (2008)