| 2008 |
| DOI | David N. Jansen, Joost-Pieter Katoen, Marcel Oldenkamp, Marielle Stoelinga, Ivan S. Zapreev.
How Fast and Fat Is Your Probabilistic Model Checker? An Experimental Performance Comparison,
Volume 4899 of LNCS, pages 69-85, Springer, 2008. |
| DOI | Joost-Pieter Katoen.
How to model and analyze gossiping protocols?,
pages 3-6, ACM, 2008. |
| DOI | Viet Yen Nguyen, Theo C. Ruys.
Incremental Hashing for SPIN,
Volume 5156 of LNCS, pages 232-249, Springer, 2008. |
| DOI | Joost-Pieter Katoen, Alexandru Mereacre.
Model Checking HML On Piecewise-Constant Inhomogeneous Markov Chains,
Volume 5215 of LNCS, pages 203-217, Springer, 2008. |
| DOI | Helga Velroyen, Philipp Rummer.
Non-termination checking for imperative programs,
Volume 4966 of LNCS, pages 154-170, Springer, 2008. |
| DOI | Joost-Pieter Katoen.
Perspectives in Probabilistic Verification,
pages 3-10, IEEE, 2008. |
| Christel Baier, Joost-Pieter Katoen.
Principles of model checking,
Computer science, pages XVII, 975 S.. : graph. Darst., MIT Press, 2008. |
| DOI | Gerlind Herberich, Bastian Schlich, Carsten Weise, Thomas Noll.
Proving correctness of an efficient abstraction for interrupt handling,
pages 133-150, Elsevier Science, 2008. |
| DOI | Joost-Pieter Katoen.
Quantitative Evaluation in Embedded System Design,
Design Automation and Test in Europe Conference and Expo, pages 86-87, IEEE Service Center, 2008. |
| Full Text | Henrik Bohnenkamp, Marielle Stoelinga.
Quantitative Testing,
Volume 2008,2 of Aachener Informatik-Berichte, pages 27 S., RWTH Aachen, Department of Computer Science, 2008. |
| Henrik Bohnenkamp, Marielle Stoelinga.
Quantitative Testing,
pages 227-236, ACM, 2008. |
| Full Text | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen.
Reachability in continuous-time Markov reward decision processes,
Volume 2 of Texts in logic and games, pages 53-72, Amsterdam Univ. Pr., 2008. |
| DOI | Berteun Damman, Tingting Han, Joost-Pieter Katoen.
Regular Expressions for PCTL Counterexamples,
pages 179-188, IEEE, 2008. |
| Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker.
SMA - the Smyle modeling approach,
pages 26 S., TU, 2008. |
| DOI | Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker.
Smyle,
Volume 5201 of LNCS, pages 162-166, Springer, 2008. |
| DOI | Manuela Bujorianu, Joost-Pieter Katoen.
Symmetry reduction for stochastic hybrid systems,
pages 233-238, IEEE, 2008. |
| DOI | Mani Swaminathan, Martin Fränzle, Joost-Pieter Katoen.
The Surprising Robustness of (Closed) Timed Automata against Clock-Drift,
Volume 273 of IFIP, pages 537-553, Springer, 2008. |
| DOI | Taolue Chen, Tingting Han, Joost-Pieter Katoen.
Time-Abstracting Bisimulation for Probabilistic Timed Automata,
pages 177-184, IEEE, 2008. |
| DOI | Thomas Noll, Stefan Rieger.
Verifying Dynamic Pointer-Manipulating Threads,
Volume 5014 of LNCS, pages 84-99, Springer, 2008. |
| 2007 |
| DOI | Martin R. Neuhäußer, Thomas Noll.
Abstraction and model checking of core Erlang programs in Maude,
pages 147-163, Elsevier, 2007. |
| DOI | Joost-Pieter Katoen.
Abstraction of probabilistic systems,
Volume 4763 of LNCS, pages 1-3, Springer, 2007. |
| Full Text | Martin R. Neuhäußer, Joost-Pieter Katoen.
Bisimulation and logical preservation for continuous-time Markov decision processes,
Volume 2007,10 of Aachener Informatik-Berichte, pages 26 S., RWTH, Department of Computer Science, 2007. |
| DOI | Martin R. Neuhäußer, Joost-Pieter Katoen.
Bisimulation and logical preservation for continuous-time Markov decision processes,
Volume 4703 of LNCS, pages 412-427, Springer, 2007. |
| DOI | Joost-Pieter Katoen, Tim Kemna, Ivan S. Zapreev, David N. Jansen.
Bisimulation minimisation mostly speeds up probabilistic model checking,
Volume 4424 of LNCS, pages 87-101, Springer, 2007. |
| DOI | Thomas Noll, Stefan Rieger.
Composing Transformations to Optimize Linear Code,
Volume 4711 of LNCS, pages 425-439, Springer, 2007. |