Jonathan Bogdoll

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
mctau: Bridging the Gap between Modest and UPPAAL.
Proceedings of the Model Checking Software - 19th International Workshop, 2012

Simulation and Statistical Model Checking for Modestly Nondeterministic Models.
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.
Proceedings of the Formal Techniques for Distributed Systems, 2011

2009
FlowSim Simulation Benchmarking Platform.
Proceedings of the QEST 2009, 2009

2008
An Experimental Evaluation of Probabilistic Simulation.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008


  Loading...