 | 2009 |
|---|
| 5 |       | Pieter Collins,
Ivan S. Zapreev:
Computable CTL* for Discrete-Time and Continuous-Space Dynamic Systems.
RP 2009: 107-119 |
| 2007 |
|---|
| 4 | | David N. Jansen,
Joost-Pieter Katoen,
Marcel Oldenkamp,
Mariëlle Stoelinga,
Ivan S. Zapreev:
How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison.
Haifa Verification Conference 2007: 69-85 |
| 3 | | Joost-Pieter Katoen,
Tim Kemna,
Ivan S. Zapreev,
David N. Jansen:
Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking.
TACAS 2007: 87-101 |
| 2006 |
|---|
| 2 | | Joost-Pieter Katoen,
Ivan S. Zapreev:
Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability.
QEST 2006: 301-310 |
| 2005 |
|---|
| 1 | | Joost-Pieter Katoen,
Maneesh Khattri,
Ivan S. Zapreev:
A Markov Reward Model Checker.
QEST 2005: 243-244 |
