 | 2009 |
|---|
| 4 |       | Ernst Moritz Hahn,
Holger Hermanns,
Björn Wachter,
Lijun Zhang:
INFAMY: An Infinite-State Markov Model Checker.
CAV 2009: 641-647 |
| 3 | | Ernst Moritz Hahn,
Holger Hermanns,
Lijun Zhang:
Probabilistic Reachability for Parametric Markov Models.
SPIN 2009: 88-106 |
| 2008 |
|---|
| 2 | | 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 |
| 2006 |
|---|
| 1 | | Thomas Peikenkamp,
Antonella Cavallo,
Laura Valacca,
Eckard Böde,
Matthias Pretzer,
Ernst Moritz Hahn:
Towards a Unified Model-Based Safety Assessment.
SAFECOMP 2006: 275-288 |
