Björn Watcher
|
Dr Björn Watcher
Research Assistant
Research Member of Common Room,
Wolfson College
Bjoern.Wachter@cs.ox.ac.uk
Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
My research focuses on the quantitative analysis of computing systems:
- analysis of randomised algorithms for safe/anonymous communication
- checking that systems are on time
- reliability and performance of network protocols
- analysis techniques for huge systems
You may also be interested in my Google Scholar Profile and DBLP entry
... and these software tools:
Biography
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.
Links
Selected Publications
| Symbolic state traversal for WCET analysis Stephan Wilhelm and Björn Wachter EMSOFT 2009. Details | BibTeX | Link (pdf) |
| Language Equivalence for Probabilistic Automata James Worrell Stefan Kiefer Andrzej S. Murawski Joel Ouaknine Björn Wachter 2011. to appear in CAV 2011 Details | BibTeX | Link (pdf) |
| Probabilistic Logical Characterization Holger Hermanns‚ Augusto Parma‚ Roberto Segala‚ Björn Wachter and Lijun Zhang In Information and Computation. 2011. |
Info
|
Themes |
|
|
Activities |
|
|
Completed Projects |