Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Principles of model checking
TLDR
- 4,031
- 663
- PDF
Model-Checking Algorithms for Continuous-Time Markov Chains
- C. Baier, B. Haverkort, H. Hermanns, J. Katoen
- Computer Science
- IEEE Trans. Software Eng.
- 1 April 2002
TLDR
Principles of Model Checking (Representation and Mind Series)
TLDR
- 1,071
- 85
A Storm is Coming: A Modern Probabilistic Model Checker
- Christian Dehnert, Sebastian Junges, J. Katoen, M. Volk
- Computer Science
- CAV
- 14 February 2017
We launch the new probabilistic model checker Storm. It features the analysis of discrete- and continuous-time variants of both Markov chains and MDPs. It supports the Prism and JANI modeling… Expand
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
- C. Baier, J. Katoen, H. Hermanns
- Computer Science
- CONCUR
- 24 August 1999
TLDR
Discrete-Time Rewards Model-Checked
- S. Andova, H. Hermanns, J. Katoen
- Computer Science
- FORMATS
- 6 September 2003
TLDR
Model Checking Continuous-Time Markov Chains by Transient Analysis
- C. Baier, B. Haverkort, H. Hermanns, J. Katoen
- Computer Science
- CAV
- 15 July 2000
TLDR
Comparative branching-time semantics for Markov chains
- C. Baier, J. Katoen, H. Hermanns, V. Wolf
- Mathematics, Computer Science
- Inf. Comput.
- 1 August 2005
TLDR
A Markov reward model checker
- J. Katoen, Maneesh Khattri, Ivan S. Zapreev
- Computer Science
- Second International Conference on the…
- 19 September 2005
TLDR
The Ins and Outs of the Probabilistic Model Checker MRMC
- J. Katoen, Ivan S. Zapreev, E. Hahn, H. Hermanns, D. Jansen
- Computer Science
- QEST
- 13 September 2009
TLDR