| 2011 |
| DOI | Hongfei Fu.
Model Checking EGF on Basic Parallel Processes,
Volume 6996 of LNCS, pages 120-134, Springer, 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 | Taolue Chen, Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre.
Observing Continuous-Time MDPs by 1-Clock Timed Automata,
Volume 6945 of LNCS, pages 2-25, Springer, 2011. |
| Nadine Bergner, Philipp Brauner, Florian Corzilius, Nils Jansen, Thiemo Leonhardt, Ulrich Loup, Johanna Nellen, Ulrik Schroeder.
On collaboratively conveying computer science to pupils,
pages 132-137, ACM, 2011. |
| DOI | Alessandro Abate, Joost-Pieter Katoen, Alexandru Mereacre.
Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems,
pages 83-92, ACM Press, 2011. |
| DOI | Taolue Chen, Tingting Han, Joost-Pieter Katoen, A. Mereacre.
Reachability probabilities in markovian timed automata,
pages 7075-7080, IEEE, 2011. |
| DOI | Bastian Schlich, Thomas Noll, Jörg Brauer, Lucas Brutschy.
Reduction of Interrupt Handler Executions for Model Checking Embedded Software,
Volume 6405 of LNCS, Springer, 2011. |
| Bettina Braitling, Ralf Wimmer, Bernd Becker, Nils Jansen, Erika Ábrahám.
SMT-based Counterexample Generation for Markov Chains,
pages 19-28, OFFIS, 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. |
| DOI | Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell.
Static livelock analysis in csp,
Volume 6901 of LNCS, pages 389-403, Springer, 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 | 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 | Joost-Pieter Katoen.
Towards trustworthy aerospace systems,
Volume 6959 of LNCS, pages 1-4, Springer, 2011. |
| Joost-Pieter Katoen, Thomas Noll.
Trustworthy Aerospace Systems,
pages 204-205, PS, PublicService.co.uk Ltd, 2011. |
| 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 | Joost-Pieter Katoen, Jaco van de Pol, Marielle Stoelinga, Mark Timmer.
A Linear Process Algebraic Format for Probabilistic Systems with Data,
pages 213-222, IEEE Computer Soc., 2010. |
| DOI | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer.
A Model Checker for AADL,
Volume 6174 of LNCS, pages 562-565, Springer, 2010. |
| DOI | Joost-Pieter Katoen.
Advances in Probabilistic Model Checking,
Volume 5944 of LNCS, pages 25, 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 | Alessandro Abate, Joost-Pieter Katoen, John Lygeros, Maria Prandini.
Approximate model checking of stochastic hybrid systems,
pages 624-641, Hermes [u.a.], 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. |
| DOI | Marijn R. Jongerden, Alexandru Mereacre, Henrik Bohnenkamp, Boudewijn R. Haverkort, Joost-Pieter Katoen.
Computing Optimal Schedules for Battery Usage in Embedded Systems,
pages 276-286, IEEE, 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 | Jörg Brauer, Thomas Noll, Bastian Schlich.
Interval Analysis of Microcontroller Code using Abstract Interpretation of Hardware and Software,
ACM Digital Library, ACM, 2010. |