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