| 2011 |
| DOI | Nils Jansen, Erika Ábrahám, Jens Katelaan, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker.
Hierarchical counterexamples for discrete-time markov chains,
Volume 6996 of LNCS, pages 443-452, Springer, 2011. |
| Joost-Pieter Katoen, Thomas Noll.
Trustworthy Aerospace Systems,
pages 204-205, PS, PublicService.co.uk Ltd, 2011. |
| DOIFull Text | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre.
Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications,
pages 12, Department of Theoretical Computer Science, Technical University of Braunschweig, 2011. |
| 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,
pages 90-104, Elsevier, 2011. |
| DOI | Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen.
Time-bounded reachability in tree-structured QBDs by abstraction,
pages 105-125, Elsevier, 2011. |
| DOI | Hongfei Fu.
Model Checking EGF on Basic Parallel Processes,
Volume 6996 of LNCS, pages 120-134, Springer, 2011. |
| Jonathan Heinen, Christina Jansen.
Juggrnaut - An Abstract JVM,
Volume 26 of Karlsruhe Reports in Informatics, pages 226-243, Karlsruhe Institute of Technology, 2011. |
| DOI | Hongfei Fu, Joost-Pieter Katoen.
Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems,
Volume 13 of Leibniz International Proceedings in Informatics, pages 445-456, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2011. |
| DOI | Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini.
A two-step scheme for approximate model checking of stochastic hybrid systems,
pages 4519-4524, 2011. |
| DOI | Yuri Yushtein, Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Xavier Olive, Marco Roveri.
System-Software Co-Engineering,
pages 18-25, IEEE CS Press, 2011. |
| DOI | Haidi Yue, Henrik Bohnenkamp, Malte Kampschulte, Joost-Pieter Katoen.
Analysing and Improving Energy Efficiency of Distributed Slotted Aloha,
Volume 6869 of LNCS, pages 197-208, Springer, 2011. |
| DOIFull Text | Gustavo Quirós Araya.
Static byte-code analysis for state space reduction,
pages VIII, 101 S., Publikationsserver der RWTH Aachen University, 2011. |
| Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám.
SMT-based Counterexample Generation for Markov Chains,
pages 19-28, OFFIS, 2011. |
| DOI | Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga, Mark Timmer.
A linear process-algebraic format with data for probabilistic automata,
pages 36-57, Elsevier, 2011. |
| DOI | Frédéric Herbreteau, B. Srivathsan.
Coarse abstractions make Zeno behaviours difficult to detect,
2011. |
| 2010 |
| Full Text | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre.
Computing Maximum Reachability Probabilities in Markovian Timed Automata,
Volume 2010.06 of Aachener Informatik Berichte, pages 40 S., RWTH Aachen, Department of Computer Science, 2010. |
| Full Text | Daniel Klink.
Three-valued abstraction for stochastic systems,
pages VIII, 223 S. : graph. Darst., Hut, 2010. |
| DOI | Benedikt Bollig, Carsten Kern, Joost-Pieter Katoen, Daniel Neider, David R. Piegdon.
libalf,
Volume 6174 of LNCS, pages 360-364, Springer, 2010. |
| DOI | Erika Ábrahám, Nils Jansen, Ralf Wimmer, Joost-Pieter Katoen, Bernd Becker.
DTMC Model Checking by SCC Reduction,
pages 37-46, IEEE Computer Society, 2010. |
| DOI | Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen.
Model Checking Markov Chains using Krylov Subspace Methods,
Volume 6342 of LNCS, pages 115-130, Springer, 2010. |
| DOI | Lijun Zhang, Martin R. Neuhäußer.
Model Checking Interactive Markov Chains,
Volume 6015 : Advanced research in computing and software science of LNCS, pages 53-68, Springer, 2010. |
| DOI | Haidi Yue, Joost-Pieter Katoen.
Leader Election in Anonymous Radio Networks,
Volume 6148 of LNCS, pages 247-261, Springer, 2010. |
| DOI | Haidi Yue, Henrik Bohnenkamp, Joost-Pieter Katoen.
Analyzing Energy Consumption in a Gossiping MAC Protocol,
Volume 5987 of LNCS, pages 107-119, Springer, 2010. |
| DOI | Sabrina von Styp, Henrik Bohnenkamp, Julien Schmaltz.
A Conformance Testing Relation for Symbolic Timed Automata,
Volume 6246 of LNCS, pages 243-255, Springer, 2010. |
| DOI | Martin R. Neuhäußer, Lijun Zhang.
Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes,
pages 209-218, IEEE Computer Society, 2010. |