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
[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.
[bibtex]	Mingzhang Huang, Hongfei Fu, Joost-Pieter Katoen. Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems. Information and Computation 268, 2019.
[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.
[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.
[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.
[bibtex]	Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. On the Hardness of Analyzing Probabilistic Programs. Acta Informatica 56(3), pages 255-285, 2019.
[bibtex]	Harold Bruintjes. Model-Based Reliability Analysis of Aerospace Systems. Phd Thesis at RWTH Aachen University, 2019.
[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.
[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.
[bibtex]	Tim Lange, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. IC3 Software Model Checking. Software Tools for Technology Transfer, 2019.
2018
[bibtex]	Christian Dehnert. The Probabilistic Model Checker Storm - Symbolic Methods for Probabilistic Model Checking. Phd Thesis at RWTH Aachen University, 2018.
[bibtex]	Maurice van Keulen, Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen. Rule-based Conditioning of Probabilistic Data Integration (Best Paper Award). Proc. of the 12th International Conference on Scalable Uncertainty Management (SUM 2018), Volume 11142 of LNAI, pages 290-305, Springer, 2018.
[bibtex]	Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu. Synthesis in pMDPs: A Tale of 1001 Parameters. Proc. of ATVA, Volume 11138 of LNCS, pages 160-176, Springer, 2018.
[bibtex]	Kevin Batz, Benjamin Lucien Kaminski, Christoph Matheja, Joost-Pieter Katoen. A Program Analysis Perspective on Expected Sampling Times. Collected Abstracts of the 1st International Conference on Probabilistic Programming (PROBPROG 2018), 2018.
[bibtex]	Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary Hayhoe. Model Checking For Safe Navigation Among Humans. Proc. of QEST, Volume of LNCS, , 2018.
[bibtex]	Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova. Parameter-Independent Strategies for pMDPs via POMDPs. Quantitative Evaluation of Systems (QEST), Volume 11024 of LNCS, pages 53-70, Springer, 2018.
[bibtex]	Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Federico Olmedo. Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms. Journal of the ACM 65(5), pages 30:1-30:68, 2018.
[bibtex]	Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Joost-Pieter Katoen, Bernd Becker. Finite-State Controllers of POMDPs via Parameter Synthesis. Proc. of UAI, AUAI, 2018.
[bibtex]	Yijun Feng, Joost-Pieter Katoen, Haokun Li, Bican Xia, Naijun Zhan. Monitoring CTMCs By Multi-Clock Timed Automata. Computer Aided Verification, Volume 10981 of LNCS, pages 507-526, Springer, 2018.
[bibtex]	Tim Quatmann, Joost-Pieter Katoen. Sound Value Iteration. Proc. of CAV, Volume of LNCS, Springer, 2018.
[bibtex]	Philipp Berger, Joost-Pieter Katoen, Erika Abraham, Thomas Rambow, Md Tawhid Bin Waez. Verifying Auto-Generated C Code from Simulink. Proc. of Formal Methods Symposium (FM 2018), Volume of LNCS, Springer, 2018.
[bibtex]	Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Abraham, Joost-Pieter Katoen. Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations. Proc. of Formal Methods Symposium (FM 2018), Volume of LNCS, Springer, 2018.
[bibtex]	Sebastian Junges, Joost-Pieter Katoen, Marielle Stoelinga, Matthias Volk. One Net Fits All: A unifying semantics of DFTs using GSPNs. Proc. of Petri Nets, Volume 10877 of LNCS, pages 272–293, Springer, 2018.
[bibtex]	Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, Hao Wu. Branching Bisimulation and Concurrent Object Verification. Proc. of the 48th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), IEEE, 2018.
[bibtex]	Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja. How long, O Bayesian network, will I sample thee? A program analysis perspective on expected sampling times.. Proc. of the 27th European Symposium on Programming (ESOP 2018), Volume 10801 of LNCS, pages 186-213, Springer, 2018.
[bibtex]	Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Multi-Cost Bounded Reachability in MDPs. Proc. of TACAS, Volume 10805 of LNCS, , 2018.
[bibtex]	Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Quantitative Separation Logic. Technical report at arxiv number 1802.10467, 2018.
[bibtex]	Matthias Volk, Sebastian Junges, Joost-Pieter Katoen. Fast Dynamic Fault Tree Analysis by Model Checking Techniques. IEEE Transactions on Industrial Informatics 14(1), pages 370-379, 2018.
[bibtex]	Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Annabelle McIver. Conditioning in Probabilistic Programming. ACM Transactions on Programming Languages and Systems (TOPLAS) 40(1), pages 4:1-4:50, 2018.
[bibtex]	Annabelle McIver, Carroll Morgan, Benjamin Lucien Kaminski, Joost-Pieter Katoen. A New Proof Rule for Almost-Sure Termination. Proc. of the 45th Symposium on Principles of Programming Languages (POPL 2018), pages 33:1-33:28, 2018.
[bibtex]	Hannah Arndt, Christina Jansen, Joost-Pieter Katoen, Christoph Matheja, Thomas Noll. Let this Graph be your Witness! An Attestor for Verifying Java Pointer Programs. Proc. CAV 2018, Part II, Volume 10982 of LNCS, pages 3–11, Springer, 2018.
[bibtex]	Tim Lange, Frederick Prinz, Martin R. Neuhäußer, Thomas Noll, Joost-Pieter Katoen. Improving Generalization in Software IC3. SPIN 2018, Volume 10869 of LNCS, pages 85–102, Springer, 2018.
Show all