| 2014 |
| DOI | Joost-Pieter Katoen, Lei Song, Lijun Zhang.
Probably Safe or Live,
pages Article No. 55, 10 S., ACM, 2014. |
| DOI | Radu Mateescu, Anton J. Wijs.
Property-dependent reductions adequate with divergence-sensitive branching bisimilarity,
pages 354-376, Elsevier Science, 2014. |
| DOI | Thomas Noll.
Safety, Dependability and Performance Analysis of Aerospace Systems,
Volume 476 of Communications in Computer and Information Science, pages 17-31, Springer, 2014. |
| DOI | Dennis Guck, Joost-Pieter Katoen, Marielle Stoelinga, Ted Luiten, Judi Romijn.
Smart Railroad Maintenance Engineering with Stochastic Model Checking,
Volume 104 of Civil-Comp Proceedings : CCP, pages Paper 299, 16 S., Civil-Comp Press, 2014. |
| DOI | Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri.
Spacecraft early design validation using formal methods,
pages 20-35, Elsevier, 2014. |
| DOI | Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster.
Symbolic counterexample generation for large discrete-time Markov chains,
pages 90-114, Elsevier, 2014. |
| DOI | Falak Sher Vira, Joost-Pieter Katoen.
Tight Game Abstractions of Probabilistic Automata,
Volume 8704 of LNCS, pages 576-592, Springer, 2014. |
| Full Text | Hongfei Fu.
Verifying probabilistic systems,
Volume 2014,16 of Aachener Informatik-Berichte, pages XII, 152 S., RWTH, Department of Computer Science, 2014. |
| DOI | Tomáš Brázdil, Stefan Kiefer, Antonín Kucera, Petr Novotný, Joost-Pieter Katoen.
Zero-Reachability in Probabilistic Multi-Counter Automata,
pages Article No. 22, 10 S., ACM, 2014. |
| 2013 |
| DOI | Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns, Joost-Pieter Katoen.
A compositional modelling and analysis framework for stochastic hybrid systems,
pages 191-232, Springer, 2013. |
| DOI | Christian Eisentraut, Holger Hermanns, Joost-Pieter Katoen, Lijun Zhang.
A Semantics for Every GSPN,
Volume 7927 of LNCS, pages 90-109, 2013. |
| Arpit Sharma.
A Two Step Perspective for Kripke Structure Reduction,
Institute of Computer Science AS CR, 2013. |
| DOI | Benoit Delahaye, Joost-Pieter Katoen, Kim G. Larsen, Axel Legay, Mikkel Pedersen, Falak Sher, Andrzej Wasowski.
Abstract Probabilistic Automata,
pages 66-116, Academic Press [u.a.], 2013. |
| DOI | Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker.
Accelerating Parametric Probabilistic Verification,
21 pages, 2013. |
| Full Text | Haidi Yue.
Analyzing energy consumption of wireless networks,
pages 169 S. : Ill., graph. Darst., Publikationsserver der RWTH Aachen University, 2013. |
| DOI | Hongfei Fu.
Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata,
pages 323-332, ACM, 2013. |
| DOI | Bernhard Ern, Viet Yen Nguyen, Thomas Noll.
Characterization of Failure Effects on AADL Models,
Volume 8153 of LNCS, pages 241-252, Springer, 2013. |
| DOIFull Text | Frédéric Herbreteau, B. Srivathsan.
Coarse abstractions make Zeno behaviours difficult to detect,
pages 06, Department of Theoretical Computer Science, Technical University of Braunschweig, 2013. |
| DOI | Joost-Pieter Katoen.
Concurrency meets Probability,
Volume 8052 of LNCS, pages 44-45, Springer, 2013. |
| DOI | Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker.
High-level Counterexamples for Probabilistic Automata,
Volume 8054 of LNCS, pages 39-54, Springer, 2013. |
| DOI | Markus Bals, Christina Jansen, Thomas Noll.
Incremental Construction of Greibach Normal Form for Context-Free Grammars,
pages 165-168, IEEE Computer Society, 2013. |
| DOI | Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz.
Lazy abstractions for timed automata,
Volume 8044 of LNCS, pages 990-1005, Springer, 2013. |
| DOI | Christel Baier, E. Moritz Hahn, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen.
Model checking for performability,
pages 751-795, Cambridge Univ. Press, 2013. |
| DOI | Joost-Pieter Katoen.
Model Checking Meets Probability,
NATO Science for Peace and Security Series - D: Information and Communication Security, pages 177-205, IOS Press, 2013. |
| DOI | Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu.
Model-Based Energy Optimization of Automotive Control Systems,
pages 761-766, IEEE, 2013. |