Björn Wachter

bwachter

About Me

I have moved to the University of Oxford. My new website there is:
http://www.comlab.ox.ac.uk/people/bjoern.wachter/

I began my studies of CS at the Universität des Saarlandes in winter 2000. In 2005, I finished my Master's thesis and joined the lab to pursue a PhD. I have defended my dissertation in December 2010.

Research Interests

  • Abstraction Refinement
  • Abstract Interpretation
  • Model Checking
  • Quantitative models (probabilistic, stochastic, timed)
  • Timing Analysis - Worst-case execution time

PASS

Check out PASS a tool that does abstraction refinement for infinite-state probabilistic models.

Projects

Publications

Journal Papers

  1. Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
    E. M. Hahn, H. Hermanns, B. Wachter, and L. Zhang
    Fundamenta Informaticae, 95, 2009. [url]  [bib]

Conference Papers

  1. Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints
    R. Wilhelm, P. Lucas, O. Parshin, L. Tan, and B. Wachter
    Advances in Real-Time Systems, 2012. [doi]  [bib]
  2. Best Probabilistic Transformers
    B. Wachter, and L. Zhang
    VMCAI, 2010. [pdf]  [bib]
  3. Static Timing Analysis for Hard Real-Time Systems
    R. Wilhelm, S. Altmeyer, C. Burguière, D. Grund, J. Herter, J. Reineke, B. Wachter, and S. Wilhelm
    VMCAI, 2010. [doi]  [bib]
  4. INFAMY: An Infinite-State Markov Model Checker
    E. M. Hahn, H. Hermanns, B. Wachter, and L. Zhang
    Computer Aided Verification, 2009. [doi]  [bib]
  5. Improving Timing Analysis for Matlab Simulink/Stateflow
    L. Tan, B. Wachter, P. Lucas, and R. Wilhelm
    Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB), 2009. [pdf]  [bib]
  6. Symbolic State Traversal for WCET Analysis
    S. Wilhelm, and B. Wachter
    International Conference on Embedded Software, 2009. [bib]
  7. Probabilistic CEGAR
    H. Hermanns, B. Wachter, and L. Zhang
    CAV, 2008. [pdf]  [bib]
  8. Abstract Interpretation with Applications to Timing Validation
    R. Wilhelm, and B. Wachter
    CAV, 2008. [pdf]  [bib]
  9. Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
    L. Zhang, H. Hermanns, E. M. Hahn, and B. Wachter
    ACSD, 2008. [pdf]  [bib]
  10. The Spotlight Principle: On Process-Summarizing State Abstractions
    B. Wachter, and B. Westphal
    Verification, Model Checking and Abstract Interpretation, 2007. [bib]
  11. Probabilistic Model Checking Modulo Theories
    B. Wachter, L. Zhang, and H. Hermanns
    Proceedings of the Fourth International Conference on the Quantitative Evaluation of Systems, 2007. [bib]
  12. Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models
    S. Wilhelm, and B. Wachter
    Proceedings of Seventh International Workshop on Worst-Case Execution Time Analysis, 2007. [pdf]  [bib]
  13. A Definition and Classification of Timing Anomalies
    J. Reineke, B. Wachter, S. Thesing, R. Wilhelm, I. Polian, J. Eisinger, and B. Becker
    Proceedings of 6th International Workshop on Worst-Case Execution Time (WCET) Analysis, 2006. [pdf]  [slides]  [bib]
  14. Explaining Data Type Reduction in the Shape Analysis Framework
    B. Wachter
    Workshop Trustworthy Software 2006, 2006. [bib]

MSc Theses

  1. Checking Universally Quantified Temporal Properties with Three-Valued Analysis
    B. Wachter
    Universität des Saarlandes, 2005. [bib]

Technical Reports

  1. Best Probabilistic Transformers and Beyond
    B. Wachter, and L. Zhang
    Technical Report, SFB/TR 14 AVACS, 2009. [pdf]  [bib]
  2. On Probabilistic CEGAR
    H. Hermanns, B. Wachter, and L. Zhang
    Technical Report, SFB/TR 14 AVACS, 2007. [pdf]  [bib]

Teaching

  • TA: Modular Static Analysis, 2007
  • TA: Compiler Construction, 2006

Address

Björn Wachter
Chair for Programming Languages and Compiler Construction
FR. 6.2 - Informatik
Universität des Saarlandes
Postfach 15 11 50
D-66041 Saarbrücken

Building E1 3, Room 431
Tel: +49 (681) 302 3915
Fax: +49 (681) 302 3065
Mail: bwachter(at)cs(dot)uni-saarland(dot)de