|
21
|
Comparative branching-time semantics for Markov chains
– Christel Baier, Joost-pieter Katoen, Holger Hermanns, Verena Wolf
- 2003
|
|
13
|
Automated Performance and Dependability Evaluation Using Model Checking
– Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen
- 2002
|
|
32
|
On probabilistic model checking
– Marta Kwiatkowska, Gethin Norman, David Parker
- 1996
|
|
94
|
Model-checking algorithms for continuous-time Markov chains
– Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen
- 2003
|
|
8
|
Bisimulation minimisation mostly speeds up probabilistic model checking
– Joost-pieter Katoen, Tim Kemna, Ivan Zapreev, David N. Jansen
- 2007
|
|
4
|
Backward bisimulation in Markov chain model checking
– Jeremy Sproston, Susanna Donatelli
- 2006
|
|
6
|
Simulation for Continuous-Time Markov Chains
– Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn Haverkort
- 2002
|
|
6
|
Performance trees: Expressiveness and quantitative semantics
– Tamas Suto, Jeremy T. Bradley, William J. Knottenbelt
- 2007
|
|
18
|
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
– Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen
- 2004
|
|
1
|
Three-valued abstraction for probabilistic systems
– Joost-pieter Katoen
- 2012
|
|
2
|
Error Control for Probabilistic Model Checking ⋆
– H˚akan L. S. Younes, H˚akan L. S. Younes
|
|
19
|
On statistical model checking of stochastic systems
– Koushik Sen, Mahesh Viswanathan, Gul Agha
- 2005
|
|
7
|
Quantitative Verification: Models, Techniques and Tools
– Marta Kwiatkowska
- 2007
|
|
2
|
Performance Evaluation := (Process Algebra + Model Checking) × Markov Chains
– Holger Hermanns, Joost-pieter Katoen
- 2001
|
|
9
|
Formal Analysis Techniques for Gossiping Protocols
– Rena Bakhshi, Francois Bonnet, Wan Fokkink, Boudewijn Haverkort
- 2007
|
|
11
|
Model checking action- and state-labelled Markov chains
– Christel Baier
- 2004
|
|
1
|
Towards Model Checking Stochastic Aspects of the thinkteam User Interface—FULL VERSION
– Maurice H. Ter Beek, Mieke Massink, Diego Latella
- 2005
|
|
12
|
Three-valued abstraction for continuous-time markov chains
– Joost-pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
- 2007
|
|
2
|
How Fast and Fat Is Your Probabilistic Model Checker? an experimental performance comparison ⋆
– David N. Jansen, Joost-pieter Katoen, Marcel Oldenkamp, Mariëlle Stoelinga, Ivan Zapreev
|
