| 2015 |
| Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo.
Probabilistic Programs - A Natural Model for Approximate Computations,
2015. |
| Kevin Van der Pol, Thomas Noll.
Security Type Checking for MILS-AADL Specifications,
pages 25 Folien, 2015. |
| DOI | Sascha Geulen, Martina Josevski, Johanna Nellen, Janosch Fuchs, Lukas Stephan Michael Netz, Benedikt Wolters, Dirk Abel, Erika Ábrahám, Walter Unger.
Learning-based Control Strategies for Hybrid Electric Vehicles,
pages 1722-1728, IEEE, 2015. |
| 2014 |
| DOI | Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver.
Operational versus weakest pre-expectation semantics for the probabilistic guarded command language,
pages 110-132, Elsevier, 2014. |
| DOI | Erika Ábrahám, Bernd Becker, Hans Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, Ralf Wimmer.
Counterexample Generation for Discrete-Time Markov Models,
Volume 8483 of LNCS, pages 65-121, Springer, 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 | 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 | Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker.
Minimal counterexamples for linear-time probabilistic verification,
pages 61-100, Elsevier, 2014. |
| DOI | Hans Christian Dehnert, Nils Jansen, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen.
Fast Debugging of PRISM Models,
Volume 8837 of LNCS, pages 146-162, 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. |
| DOI | Souymodip Chakraborty, Joost-Pieter Katoen.
Parametric LTL on Markov Chains,
Volume 8705 of LNCS, pages 207-222, Springer, 2014. |
| DOI | Hans Christian Dehnert, Daniel Gebler, Michele Volpato, David N. Jansen.
On Abstraction of Probabilistic Systems,
Volume 8453 of LNCS, pages 87-116, Springer, 2014. |
| DOI | Hongfei Fu.
Maximal Cost-Bounded Reachability Probability on Continuous-Time Markov Decision Processes,
Volume 8412 of LNCS, pages 73-87, 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 | Christina Jansen, Thomas Noll.
Generating Abstract Graph-Based Procedure Summaries for Pointer Programs,
LNCS, pages 49-64, Springer, 2014. |
| DOI | Joost-Pieter Katoen, Hao Wu.
Exponentially timed SADF,
pages Article No. 1, 10 S., ACM, 2014. |
| Full Text | Joost-Pieter Katoen.
Model Checking Gigantic Markov Models,
Volume 8702 of LNCS, pages XV-XVII, Springer, 2014. |
| DOI | Joost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu.
Performance Analysis of Computing Servers,
Volume 8376 of LNCS, pages 57-72, Springer, 2014. |
| DOI | Joost-Pieter Katoen, Lei Song, Lijun Zhang.
Probably Safe or Live,
pages Article No. 55, 10 S., ACM, 2014. |
| DOI | Alfons Laarman, Anton J. Wijs.
Partial Order Reduction for Multi-Core LTL Model Checking,
Volume 8855 of LNCS, pages 267-283, Springer, 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 | Arpit Sharma, Joost-Pieter Katoen.
Layered Reduction for Abstract Probabilistic Automata,
pages 21-31, IEEE, 2014. |
| DOI | Falak Sher Vira, Joost-Pieter Katoen.
Tight Game Abstractions of Probabilistic Automata,
Volume 8704 of LNCS, pages 576-592, Springer, 2014. |
| DOI | Arpit Sharma, Joost-Pieter Katoen.
Layered Reduction for Modal Specification Theories,
Volume 8348 of LNCS, pages 1-19, Springer, 2014. |