My research focuses on the formal verification and quantitative analysis of computing systems.
Björn Wachter is currently a postdoctoral research assisant at the Computer Science Department of the University of Oxford. He received a PhD in computer science from Saarland University in 2010.
Symbolic state traversal for WCET analysis
Stephan Wilhelm and Björn Wachter
Verifying Multi−threaded Software with Impact
Björn Wachter‚ Daniel Kroening and Joel Ouakine
In FMCAD. 2013.
Language Equivalence for Probabilistic Automata
James Worrell Stefan Kiefer Andrzej S. Murawski Joel Ouaknine Björn Wachter