Model-Checking Algorithms for Continuous-Time Markov Chains
By Christel Baier, Boudewijn R. H. M. Haverkort, Holger Hermanns, Joost-Pieter Katoen. IEEE Trans. Software Eng., 2002
842 citations recorded by the source corpus.
Subfields: Computational Theory and Mathematics, Safety, Risk, Reliability and Quality, Software
View Paper: https://www.semanticscholar.org/paper/e3467ecfe947ca6afc413b54731ee4a2c79fa7cd
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
- Marta Z. Kwiatkowska
- David Parker
- Gethin Norman
- Joost-Pieter Katoen
- Christel Baier
- Holger Hermanns
- Jane Hillston
- Sohag Kabir
In Safety, Risk, Reliability and Quality
- Joost-Pieter Katoen
- David Parker
- Gethin Norman
- Marta Z. Kwiatkowska
- Sohag Kabir
- Peter Buchholz
- Ashish Tiwari
- Patrick Lincoln
In Software
- Joost-Pieter Katoen
- Marta Z. Kwiatkowska
- Christel Baier
- David Parker
- Gethin Norman
- Jane Hillston
- Sohag Kabir
- Peter Buchholz
Citations in the corpus
- A Storm is Coming: A Modern Probabilistic Model Checker (2017, background): “Storm focusses on probabilistic branching-time logics, i.e. PCTL [25] and CSL [26,27] for discrete-time and continuous-time models, respectively.”
- The Ins and Outs of the Probabilistic Model Checker MRMC (2009, methodology): “CSL model-checking techniques in MRMC stem from [2] and for its reward extension CSRL from [5,37,38].”
- Principles of model checking (2008, background): “[29], and expected measures for Markov reward chains.”
- Statistical Model Checking: An Overview (2010, neutral): “Model checking algorithms for a variety of contexts have been discovered [2,13,8] and there are mature tools (see e.”
- Stochastic Model Checking (2007, methodology): “The probability measure Prs over PathC(s), taken from [10], can be defined as follows.”