Björn Wachter : Publications
Personal orderingBibtex
|
[0] |
Refined Probabilistic Abstraction Björn Wachter PhD Thesis 2010. |
|
[11] |
Language Equivalence for Probabilistic Automata James Worrell Stefan Kiefer Andrzej S. Murawski Joel Ouaknine Björn Wachter 2011. to appear in CAV 2011 |
|
[21] |
Probabilistic CEGAR Holger Hermanns‚ Björn Wachter and Lijun Zhang In Aarti Gupta and Sharad Malik, editors, CAV. Vol. 5123 of LNCS. Pages 162–175. Springer Verlag. 2008. Princeton‚ NJ‚ USA |
|
[22] |
Best Probabilistic Transformers Björn Wachter and Lijun Zhang In VMCAI. Pages 362−379. 2010. |
|
[31] |
Probabilistic Logical Characterization Holger Hermanns‚ Augusto Parma‚ Roberto Segala‚ Björn Wachter and Lijun Zhang In Information and Computation. 2011. |
|
[32] |
Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains E. Moritz Hahn‚ Holger Hermanns‚ Björn Wachter and Lijun Zhang In Fundamenta Informaticae. Vol. 95. Pages 129−155. 2009. Details | BibTeX | DOI (10.3233/FI-2009-145) | Download (pdf) |
|
[33] |
INFAMY: An Infinite−State Markov Model Checker Ernst Moritz Hahn‚ Holger Hermanns‚ Björn Wachter and Lijun Zhang In CAV. Pages 641−647. 2009. |
|
[34] |
PARAM: A Model Checker for Parametric Markov Models Ernst Moritz Hahn‚ Holger Hermanns‚ Björn Wachter and Lijun Zhang In CAV. Pages 660−664. 2010. |
|
[41] |
Symbolic state traversal for WCET analysis Stephan Wilhelm and Björn Wachter EMSOFT 2009. |
|
[42] |
Static Timing Analysis for Hard Real−Time Systems Reinhard Wilhelm‚ Sebastian Altmeyer‚ Claire Burguière‚ Daniel Grund‚ Jörg Herter‚ Jan Reineke‚ Björn Wachter and Stephan Wilhelm In VMCAI. Pages 3−22. 2010. |
|
[51] |
The Spotlight Principle Björn Wachter and Bernd Westphal In VMCAI. Vol. 4349 of Lecture Notes in Computer Science. Pages 182−198. Springer. 2007. |