Refined Probabilistic Abstraction by Wachter, B

Symbolic state traversal for WCET analysis by Wilhelm, S, Wachter, B

The Spotlight Principle by Wachter, B, Westphal, B

Best Probabilistic Transformers by Wachter, B, Zhang, L

Verifying multi-threaded software with impact by Wachter, B, Kroening, D, Ouaknine, J

Verifying Multi−threaded Software with Impact by Wachter, B, Kroening, D, Ouakine, J

Probabilistic CEGAR by Hermanns, H, Wachter, B, Zhang, L

Sound static deadlock analysis for C/Pthreads (extended version) by Kroening, D, Poetzl, D, Schrammel, P, Wachter, B

INFAMY: An Infinite−State Markov Model Checker by Hahn, E, Hermanns, H, Wachter, B, Zhang, L

PARAM: A Model Checker for Parametric Markov Models by Hahn, E, Hermanns, H, Wachter, B, Zhang, L

Sound static deadlock analysis for C/Pthreads by Kroening, D, Poetzl, D, Schrammel, P, Wachter, B

PASS: Abstraction Refinement for Infinite Probabilistic Models by Hahn, E, Hermanns, H, Wachter, B, Zhang, L

Time−Bounded Model Checking of Infinite−State Continuous−Time Markov Chains by Hahn, E, Hermanns, H, Wachter, B, Zhang, L

APEX: An analyzer for open probabilistic programs by Kiefer, S, Murawski, A, Ouaknine, J, Wachter, B, Worrell, J

On the Complexity of the Equivalence Problem for Probabilistic Automata by Kiefer, S, Murawski, A, Ouaknine, J, Wachter, B, Worrell, J

Language equivalence for probabilistic automata by Kiefer, S, Murawski, A, Ouaknine, J, Wachter, B, Worrell, J

Three tokens in Herman's algorithm by Kiefer, S, Murawski, A, Ouaknine, J, Wachter, B, Worrell, J

ON THE COMPLEXITY OF EQUIVALENCE AND MINIMISATION FOR Q-WEIGHTED AUTOMATA by Kiefer, S, Murawski, A, Ouaknine, J, Wachter, B, Worrell, J

Algorithmic probabilistic game semantics by Kiefer, S, Murawski, A, Ouaknine, J, Wachter, B, Worrell, J

Probabilistic Logical Characterization by Hermanns, H, Parma, A, Segala, R, Wachter, B, Zhang, L