Jonathan Bogdoll

According to our database, Jonathan Bogdoll authored at least 5 papers between 2008 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

mctau: Bridging the Gap between Modest and UPPAAL.

Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns

Proceedings of the Model Checking Software - 19th International Workshop, 2012

Simulation and Statistical Model Checking for Modestly Nondeterministic Models.

Jonathan Bogdoll, Arnd Hartmanns, Holger Hermanns

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

2011

Partial Order Methods for Statistical Model Checking and Simulation.

Jonathan Bogdoll, Luis María Ferrer Fioriti, Arnd Hartmanns, Holger Hermanns

Proceedings of the Formal Techniques for Distributed Systems, 2011

2009

FlowSim Simulation Benchmarking Platform.

Jonathan Bogdoll, Holger Hermanns, Lijun Zhang

Proceedings of the QEST 2009, 2009

2008

An Experimental Evaluation of Probabilistic Simulation.

Jonathan Bogdoll, Holger Hermanns, Lijun Zhang

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008