Tools Overview Contact Us Publications Case Studies Home

Publications

[HahnHWZ09] Hahn, E. M.; Hermanns, H.; Wachter, B. and Zhang, L. INFAMY: An Infinite-State Markov Model Checker. In CAV, pages 641-647, 2009.

[HahnHWZ09a] Hermanns, H; Hahn, E. M; Wachter, B and Zhang, L Time-bounded model checking of infinite-state continuous-time Markov chains. In Fundamenta Informaticae, 95: 129-155, 2009.

[ZhangHHW08] Zhang, L.; Hermanns, H.; Hahn, E. M. and Wachter, B. Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains. In ACSD, pages 98-107, IEEE, 2008.