Björn Wachter : Publications
-
[0]
Refined Probabilistic Abstraction
Björn Wachter
PhD Thesis 2010.
Details about Refined Probabilistic Abstraction | BibTeX data for Refined Probabilistic Abstraction
-
[11]
Language Equivalence for Probabilistic Automata
James Worrell Stefan Kiefer Andrzej S. Murawski Joel Ouaknine Björn Wachter
2011.
Details about Language Equivalence for Probabilistic Automata | BibTeX data for Language Equivalence for Probabilistic Automata | Download (pdf) of Language Equivalence for Probabilistic Automata
-
[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
Details about Probabilistic CEGAR | BibTeX data for Probabilistic CEGAR | Download (pdf) of Probabilistic CEGAR
-
[22]
Best Probabilistic Transformers
Björn Wachter and Lijun Zhang
In VMCAI. Pages 362−379. 2010.
Details about Best Probabilistic Transformers | BibTeX data for Best Probabilistic Transformers | Download (pdf) of Best Probabilistic Transformers
-
[31]
Probabilistic Logical Characterization
Holger Hermanns‚ Augusto Parma‚ Roberto Segala‚ Björn Wachter and Lijun Zhang
In Information and Computation. 2011.
Details about Probabilistic Logical Characterization | BibTeX data for Probabilistic Logical Characterization | Link to Probabilistic Logical Characterization
-
[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 about Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains | BibTeX data for Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains | DOI (10.3233/FI-2009-145) | Download (pdf) of Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains
-
[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.
Details about INFAMY: An Infinite−State Markov Model Checker | BibTeX data for INFAMY: An Infinite−State Markov Model Checker | Download (pdf) of INFAMY: An Infinite−State Markov Model Checker
-
[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.
Details about PARAM: A Model Checker for Parametric Markov Models | BibTeX data for PARAM: A Model Checker for Parametric Markov Models | Download (pdf) of PARAM: A Model Checker for Parametric Markov Models
-
[41]
Symbolic state traversal for WCET analysis
Stephan Wilhelm and Björn Wachter
EMSOFT 2009.
Details about Symbolic state traversal for WCET analysis | BibTeX data for Symbolic state traversal for WCET analysis | Download (pdf) of Symbolic state traversal for WCET analysis
-
[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.
Details about Static Timing Analysis for Hard Real−Time Systems | BibTeX data for Static Timing Analysis for Hard Real−Time Systems | Download (pdf) of Static Timing Analysis for Hard Real−Time Systems
-
[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.
Details about The Spotlight Principle | BibTeX data for The Spotlight Principle | Download (pdf) of The Spotlight Principle