Björn Wachter

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

8EELijun Zhang, Holger Hermanns, E. Moritz Hahn, Björn Wachter: Time-bounded model checking of infinite-state continuous-time Markov chains. ACSD 2008: 98-107
7EEHolger Hermanns, Björn Wachter, Lijun Zhang: Probabilistic CEGAR. CAV 2008: 162-175
6EEReinhard Wilhelm, Björn Wachter: Abstract Interpretation with Applications to Timing Validation. CAV 2008: 22-36
5EEBjörn Wachter, Lijun Zhang, Holger Hermanns: Probabilistic Model Checking Modulo Theories. QEST 2007: 129-140
4EEBjörn Wachter, Bernd Westphal: The Spotlight Principle. VMCAI 2007: 182-198
3EEStephan Wilhelm, Björn Wachter: Towards Symbolic State Traversal for Efficient WCET Analysis of Abstract Pipeline and Cache Models. WCET 2007
2EEBjörn Wachter: Explaining Data Type Reduction in the Shape Analysis Framework. Trustworthy Software 2006
1EEJan Reineke, Björn Wachter, Stephan Thesing, Reinhard Wilhelm, Ilia Polian, Jochen Eisinger, Bernd Becker: A Definition and Classification of Timing Anomalies. WCET 2006

Coauthor Index

1Bernd Becker [1]
2Jochen Eisinger [1]
3E. Moritz Hahn [8]
4Holger Hermanns [5] [7] [8]
5Ilia Polian [1]
6Jan Reineke [1]
7Stephan Thesing [1]
8Bernd Westphal [4]
9Reinhard Wilhelm [1] [6]
10Stephan Wilhelm [3]
11Lijun Zhang [5] [7] [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)