| 2009 |
| DOI | Martin R. Neuhäußer, Marielle Stoelinga, Joost-Pieter Katoen.
Delayed Nondeterminism in Continuous-Time Markov Decision Processes,
Volume 5504 of LNCS, pages 364-379, Springer, 2009. |
| DOI | Viet Yen Nguyen, Theo C. Ruys.
Memoised Garbage Collection for Software Model Checking,
Volume 5505 of LNCS, pages 232-249, Springer, 2009. |
| DOI | Ralf Mitsching, Carsten Weise, André Kolbe, Henrik Bohnenkamp, Norbert Berzen.
Towards an industrial strength process for timed testing,
pages 29-38, IEEE, 2009. |
| DOI | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll.
Codesign of Dependable Systems,
pages 121-130, IEEE, 2009. |
| Full Text | Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker.
Angluin-Style Learning of NFA,
pages 1004-1009, AAAI Press [u.a.], 2009. |
| Full Text | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri.
Model-Based Codesign of Critical Embedded Systems,
Volume 507 of CEUR workshop proceedings, pages 87-91, RWTH Aachen, 2009. |
| Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri.
Verification and Performance Evaluation of AADL Models (Tool Demonstration),
pages 285-286, ACM, 2009. |
| DOI | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre.
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications,
pages 309-318, IEEE, 2009. |
| DOI | Marijn R. Jongerden, Boudewijn R. Haverkort, Henrik Bohnenkamp, Joost-Pieter Katoen.
Maximizing System Lifetime by Battery Scheduling,
pages 63-72, IEEE, 2009. |
| DOI | Joost-Pieter Katoen, Ivan S. Zapreev.
Simulation-based CTMC Model Checking,
pages 31-40, IEEE, 2009. |
| Full Text | Sabrina von Styp.
Towards a theory for timed symbolic testing,
Volume 09-15 of Computing science reports, pages 39-45, TU, 2009. |
| DOI | Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen.
Time-Bounded Reachability in Tree-Structured QBDs by Abstraction,
International Conference on Quantitative Evaluation of Systems-QEST, pages 133-142, IEEE, 2009. |
| DOI | Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen.
The Ins and Outs of The Probabilistic Model Checker MRMC,
International Conference on Quantitative Evaluation of Systems-QEST, pages 167-176, IEEE, 2009. |
| DOI | Tingting Han, Joost-Pieter Katoen, Berteun Damman.
Counterexample Generation in Probabilistic Model Checking,
pages 241-257, IEEE, 2009. |
| DOI | Taolue Chen, Tingting Han, Jian Lu.
On metrics for probabilistic systems,
pages 991-999, Pergamon Press, 2009. |
| 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. |
| Full Text | Benedikt Bollig, Peter Habermehl, Carsten Kern, Martin Leucker.
Angluin-Style Learning of NFA,
Volume LSV-08-28 of Research Report, pages 32 S., Ecole Normale Supérieure, 2008. |
| Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker.
SMA - the Smyle modeling approach,
pages 26 S., TU, 2008. |
| Full Text | Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf.
Abstraction for stochastic systems by Erlangs method of stages,
Volume 2008,12 of Aachener Informatik-Berichte, pages 27 S., RWTH Aachen, Department of Computer Science, 2008. |
| DOI | Thomas Noll, Bastian Schlich.
Delayed nondeterminism in model checking embedded systems assembly code,
Volume 4899 of LNCS, pages 185-201, Springer, 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 | Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Martin Leucker.
Smyle,
Volume 5201 of LNCS, pages 162-166, Springer, 2008. |
| DOI | Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre.
Compositional Modeling and Minimization of Time-inhomogeneous Markov Chains,
Volume 4981 of LNCS, pages 244-258, Springer, 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, Daniel Klink, Martin Leucker, Verena Wolf.
Abstraction for Stochastic Systems by Erlang's Method of Stages,
Volume 5201 of LNCS, pages 279-294, Springer, 2008. |