Journals

• "Time-Bounded Model Checking of Infinite-State Continous-Time Markov Chains"
  Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
  Fundamenta Informaticae, to appear

Conferences

• "INFAMY: An Infinite-State Markov Model Checker"
  E. Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang
  accepted at CAV'09, July 2009, Grenoble, France
• "Probabilistic CEGAR"
  Holger Hermanns, Björn Wachter, Lijun Zhang
  CAV'08, July 2008 in Princeton, NJ, USA
• "Time-Bounded Model Checking of Infinite-State Continous-Time Markov Chains"
  Lijun Zhang, Holger Hermanns, Ernst Moritz Hahn, Björn Wachter
  ACSD'08, June 2008 in Xi'an, China
• "Probabilistic Model Checking Modulo Theories"
  Björn Wachter, Lijun Zhang and Holger Hermanns,
  Qest07 © IEEE Computer Society , September 2007 in Edinburgh, Scotland
• "The Spotlight Principle - On Combining Process-Summarizing State Abstractions"
  Björn Wachter, Bernd Westphal,
  VMCAI07 LNCS 4349 © Springer-Verlag , January 2007 in Nice, France, bibtex

Tutorials

• "Abstract Interpretation With Applications to Timing Validation"
  Reinhard Wilhelm, Björn Wachter
  CAV'08, July 2008 in Princeton, NJ, USA

Workshops

• "Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models",
  Stephan Wilhelm, Björn Wachter
  WCET07 Workshop, July 2007 in Pisa, Italia
• "A Definition and Classification of Timing Anomalies",
  Jan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker
  WCET06 Workshop, July 2006 in Dresden, Deutschland
• "Explaining Data Type Reduction in the Shape Analysis Framework"
  Workshop on Trustworthy Software, May 2006 in Saarbrücken, Deutschland

Master's Thesis

• "Checking universally quantified temporal properties with three-valued analysis"
  bibtex, Diplomarbeit, Universität des Saarlandes, March 2005.