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