Publications

Publications for Joost-Pieter Katoen

2020

[bibtex]
Marcel Hark, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Jürgen Giesl. Aiming Low Is Harder: Induction for Lower Bounds in Probabilistic Program Verification. Proceedings of the ACM on Programming Languages [to appear], 2020.
2019
DownloadLink
[bibtex]
Christel Baier, Holger Hermanns, Joost-Pieter Katoen. The 10,000 Facets of MDP Model Checking. In , Computing and Software Science, pages 420-451, Volume 10000 of LNCS, 2019.

[bibtex]
Milan Ceska, Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen. Counterexample-Driven Synthesis for Probabilistic Program Sketches. Proc. of FM, , 2019.
DOIDownloadLink
[bibtex]
Mingzhang Huang, Hongfei Fu, Joost-Pieter Katoen. Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems. Information and Computation 268, 2019.
DOI
[bibtex]
Yassmeen Elderhalli, Matthias Volk, Osman Hasan, Joost-Pieter Katoen, Sofiène Tahar. Formal Verification of Rewriting Rules for Dynamic Fault Trees. Proc. of SEFM, Volume 11724 of LNCS, pages 513–531, Springer, 2019.

[bibtex]
Tobias Winkler, Sebastian Junges, Guillermo A Perez, Joost-Pieter Katoen. On the Complexity of Reachability in Parametric Markov Decision Processes. Proc. of CONCUR, , 2019.
DOI
[bibtex]
Matthias Volk, Norman Weik, Joost-Pieter Katoen, Nils Nießen. A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas. Proc. of FMICS, Volume 11687 of LNCS, pages 40–58, Springer, 2019.
DOILink
[bibtex]
Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz, Matthias Volk. Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees. Reliability Engineering and System Safety 186, pages 37–50, 2019.

[bibtex]
Milan Ceska, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen. Shepherding Hordes of Markov Chains. Proc. of TACAS, Volume of LNCS, , 2019.
DOIDownloadLink
[bibtex]
Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. On the Hardness of Analyzing Probabilistic Programs. Acta Informatica 56(3), pages 255-285, 2019.
DownloadLink
[bibtex]
Harold Bruintjes. Model-Based Reliability Analysis of Aerospace Systems. Phd Thesis at RWTH Aachen University, 2019.
DOI
[bibtex]
Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative Separation Logic. Proceedings of the ACM on Programming Languages 3(POPL), pages 34:1-34:29, 2019.
DOI
[bibtex]
Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. COMPASS 3.0 (Tool paper). TACAS 2019, Volume 11427 of LNCS, pages 379–385, Springer, 2019.
DOI
[bibtex]
Tim Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. IC3 Software Model Checking. Software Tools for Technology Transfer, 2019.
Show all