Zilverling

prof.dr.ir. J.P. Katoen (Joost-Pieter)

Full Professor
EEMCS-CS-FMT
Zilverling 3078
j.p.katoen@utwente.nl
+31534893676
Business card

Joost-Pieter Katoen is a Distinguished Professor with RWTH Aachen University, Germany, and is part-time professor at the University of Twente, The Netherlands. He received a honorary doctorate degree from Aalborg University, Denmark and holds an ERC Advanced Grant.

His research interests include formal methods, model checking, concurrency theory, and probabilistic computation. He coauthored more than 75 journal papers and the book "Principles of Model Checking". He chaired the steering committee of ETAPS (2014-2019), is steering committee member of CONCUR, QEST, and FORMATS, and elected member of the Academia Europaea.

Expertise

  • Computer Science

    • Model Checking
    • Fault Tree
    • Markov Decision Process
    • Algorithms
    • Models
    • model checker
    • Automaton

  • Earth and Planetary Sciences

    • Model

Organisations

Ancillary activities

  • RWTH Aachen UniversityHoogleraar

Publications

2025

Artifact for Paper Foundations for Deductive Verification of Continuous Probabilistic Programs (2025)[Dataset Types › Dataset]. Zenodo. Batz, K., Katoen, J.-P., Randone, F. & Winkler, T.https://doi.org/10.5281/zenodo.14930103

2024

Parameter synthesis for Markov models: covering the parameter space (2024)Formal methods in system design, 62(1-3), 181-259. Junges, S., Ábrahám, E., Hensel, C., Jansen, N., Katoen, J. P., Quatmann, T. & Volk, M.https://doi.org/10.1007/s10703-023-00442-xSAFEST: Fault Tree Analysis Via Probabilistic Model Checking (2024)In RAMS 2024 - Annual Reliability and Maintainability Symposium, Proceedings (Proceedings - Annual Reliability and Maintainability Symposium). IEEE. Volk, M., Sher, F., Katoen, J. P. & Stoelinga, M.https://doi.org/10.1109/RAMS51492.2024.10457719

2023

A Deductive Verification Infrastructure for Probabilistic Programs (2023)Proceedings of the ACM on Programming Languages, 7(OOPSLA2). Article 294. Schröer, P., Batz, K., Kaminski, B. L., Katoen, J. P. & Matheja, C.https://doi.org/10.1145/3622870Parameter Synthesis for Markov Models: Prophesy and model files (2023)[Dataset Types › Dataset]. Zenodo. Junges, S., Ábrahám, E., Hensel, C., Jansen, N., Katoen, J.-P., Quatmann, T. & Volk, M.https://doi.org/10.5281/zenodo.7697153Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (2023)[Book/Report › Book editing] 25th International Symposium on Formal Methods, FM 2023. Springer. Chechik, M., Katoen, J.-P. & Leucker, M.https://doi.org/10.1007/978-3-031-27481-7Automatically Finding the Right Probabilities in Bayesian Networks (2023)Journal of Artificial Intelligence Research, 77, 1637-1696. Salmani, B. & Katoen, J. P.https://doi.org/10.1613/jair.1.14044Model Checking Temporal Properties of Recursive Probabilistic Programs (2023)Logical methods in computer science, 19(4). Article 24. Winkler, T., Gehnen, C. & Katoen, J. P.https://doi.org/10.46298/lmcs-19(4:24)2023SAFEST: the static and dynamic fault tree analysis tool (2023)In Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023) (pp. 193-200). Research Publishing. Volk, M., Ibne Irshad, M., Katoen, J.-P., Sher, F., Stoelinga, M. I. A. & Zafar, A.https://doi.org/10.3850/978-981-18-8071-1_P407-cd

2022

The probabilistic model checker Storm (2022)International journal on software tools for technology transfer, 24(4), 589-610. Hensel, C., Junges, S., Katoen, J. P., Quatmann, T. & Volk, M.https://doi.org/10.1007/s10009-021-00633-z

Research profiles

Scan the QR code or
Download vCard