
- katoen at cs.rwth-aachen.de
- Address
- Room 4201
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21200
Please visit my personal page in the web
2021 | |
---|---|
![]() |
Tim Quatmann, , Joost-Pieter Katoen. Markov automata with multiple objectives, Formal methods in system design, Springer, 2021. |
![]() ![]() |
Kevin Batz, , Joost-Pieter Katoen, . Relatively complete verification of probabilistic programs, Proceedings of the ACM on programming languages 5, pages 39, ACM, 2021. |
![]() |
Joost-Pieter Katoen, , Tobias Winkler. The complexity of reachability in parametric Markov decision processes, Journal of computer and system sciences 119, pages 183-210, Elsevier, 2021. | ,
![]() ![]() |
Joost-Pieter Katoen, . Foundations of probabilistic programming, xiv, 568 Seiten : Illustrationen, Cambridge University Press, 2021. | ,
![]() |
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. Generating Functions for Probabilistic Programs, 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR2020), Volume 12561 of Theoretical Computer Science and General Issues, 231-248, Springer, 2021. |
2020 | |
|
Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman, Tobias Winkler. Generating Functions for Probabilistic Programs, 2020. https://arxiv.org/abs/2007.06327 |
![]() |
Marcel Hark, Benjamin Lucien Kaminski, Jürgen Giesl, Joost-Pieter Katoen. Aiming low is harder, Proceedings of the ACM on programming languages 4 (POPL), pages 1-28, ACM, 2020. |
|
Kevin Batz, Sebastian Junges, , Joost-Pieter Katoen, Christoph Matheja, Philipp Schröer. PrIC3, 2020. https://arxiv.org/abs/2004.14835 |
![]() ![]() |
Florent Delgrange, Joost-Pieter Katoen, Tim Quatmann, . Simple Strategies in Multi-Objective MDPs, Tools and Algorithms for the Construction and Analysis of Systems 2020 (TACAS 2020), Volume 12078 of Theoretical Computer Science and General Issues, 346-364, Springer, 2020. |
![]() |
Christian Hensel, , Sebastian Junges, Joost-Pieter Katoen, . Parametric Markov chains, Information and computation 272, pages 104504, Elsevier, 2020. | ,
![]() |
Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, . Scenario-Based Verification of Uncertain MDPs, 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Volume 12078 of Theoretical Computer Science and General Issues, 287-305, Springer, 2020. |
![]() |
Joost-Pieter Katoen, . Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions, IEEE transactions on automatic control 66 (3), pages 1040-1054, Institute of Electrical and Electronics Engineers, 2020. | , , , , ,
![]() |
Martin Grohe, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Peter Lindner. Generative Datalog with Continuous Distributions, 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2020), 347-360, ACM, 2020. |
![]() ![]() |
Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann. Multi-cost Bounded Tradeoff Analysis in MDP, Journal of automated reasoning 64 (7), pages 1483-1522, Springer, 2020. |
![]() ![]() |
Joost-Pieter Katoen, , Tobias Winkler. Stochastic Games with Lexicographic Reachability-Safety Objectives, 32nd International Conference on Computer Aided Verification (CAV 2020), Volume 12225 of LNCS, 398-420, Springer, 2020. | ,
![]() ![]() |
Marc Bouissou, Shahid Khan, Joost-Pieter Katoen, Pavel Krcal. Various Ways to Quantify BDMPs, The 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020), pages 1-14, NICTA, 2020. |
|
Kevin Batz, , Joost-Pieter Katoen, Christoph Matheja. Relatively Complete Verification of Probabilistic Programs, 49 Seiten, 2020. https://arxiv.org/abs/2010.14548 |
![]() |
Philipp Berger, Joost-Pieter Katoen. Benchmarking Software Model Checkers on Automotive Code, 12th NASA Formal Methods Symposium (NFM 2020), Volume 12229 of LNCS, 133-150, Springer, 2020. | ,
![]() |
Kevin Batz, Sebastian Junges, , Joost-Pieter Katoen, , Philipp Schröer. PrIC3, 32rd International Conference on Computer-Aided Verification, Volume 12225 of LNCS, 512-538, Springer, 2020. |
![]() |
Alexander Bork, , Joost-Pieter Katoen, Tim Quatmann. Verification of Indefinite-Horizon POMDPs, International Symposium on Automated Technology for Verification and Analysis (ATVA 2020), Volume 12302 of LNCS, 288-304, Springer, 2020. |
![]() |
Joost-Pieter Katoen, Martin Ritzert, Richard Wilke, Katrin M. Dannert, Peter Lindner, Dennis Fischer, Janosch Fuchs, Björn Frederik Tauer, Vipin Ravindran Vijayalakshmi, Laura Vargas Koch, Nadine Friesen, Andreas Gabriel Klinger, Marcel Tobias Hark, Benjamin Lucien Kaminski, Sebastian Junges, Jip Josephine Spel, Anton Pirogov, Stefan Schupp, Till Hofmann, Daxin Liu, Martin Comis, Tabea Claudia Krabs, Stephan Zieger, Rebecca Haehn, Matthias Volk, Norman Weik, Helene-Maria Bolke-Hermanns. UnRAVeL Research Training Group, 85 Seiten, 2020. |
![]() |
Shahid Khan, Joost-Pieter Katoen, . Explaining Boolean-Logic Driven Markov Processes using GSPNs, 16th European Dependable Computing Conference (EDCC), 119-126, IEEE, 2020. |
![]() |
Shahid Khan, Joost-Pieter Katoen, . A Compositional Semantics for Repairable BDMPs, 39th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2020), Volume 12234 of LNCS, 82-98, Springer, 2020. |
![]() ![]() |
Jan Švejda, Philipp Berger, Joost-Pieter Katoen. Interpretation-Based Violation Witness Validation for C, 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), Volume 12078 of LNCS, 40-57, Springer, 2020. |
![]() |
Bahare Salmani Barzoki, Joost-Pieter Katoen. Bayesian Inference by Symbolic Model Checking, 17th International Conference on Quantitative Evaluation of SysTems (QEST 2020), Volume 12289 of LNCS, 115-133, Springer, 2020. |
![]() |
Mojgan Kamali, Joost-Pieter Katoen. Probabilistic Model Checking of AODV, 17th International Conference on Quantitative Evaluation of SysTems (QEST 2020), Volume 12289 of LNCS, 54-73, Springer, 2020. |
![]() |
Marcin Szymczak, Joost-Pieter Katoen. Weakest Preexpectation Semantics for Bayesian Inference, 5th School on Engineering Trustworthy Software Systems (SETSS 2019), Volume 12154 of LNCS, 44-121, Springer, 2020. |
Show all |