| 2007 |
|---|
| 4 | EE | 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 | EE | 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 | EE | Joost-Pieter Katoen,
Ivan S. Zapreev:
Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability.
QEST 2006: 301-310 |
| 2005 |
|---|
| 1 | EE | Joost-Pieter Katoen,
Maneesh Khattri,
Ivan S. Zapreev:
A Markov Reward Model Checker.
QEST 2005: 243-244 |
