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
    • Algorithms
    • Markov Decision Process
    • Models
    • model checker
    • Automaton

  • Earth and Planetary Sciences

    • Model

Organisations

Ancillary activities

  • RWTH Aachen UniversityHoogleraar

Publications

2024
SAFEST: Fault Tree Analysis Via Probabilistic Model CheckingIn RAMS 2024 - Annual Reliability and Maintainability Symposium, Proceedings. 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, Article 294. Schröer, P., Batz, K., Kaminski, B. L., Katoen, J. P. & Matheja, C.https://doi.org/10.1145/3622870Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Springer. Chechik, M., Katoen, J.-P. & Leucker, M.https://doi.org/10.1007/978-3-031-27481-7SAFEST: the static and dynamic fault tree analysis toolIn 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-cdModel Checking Temporal Properties of Recursive Probabilistic Programs, Article 24. Winkler, T., Gehnen, C. & Katoen, J. P.https://doi.org/10.46298/lmcs-19(4:24)2023Automatically Finding the Right Probabilities in Bayesian Networks, 1637-1696. Salmani, B. & Katoen, J. P.https://doi.org/10.1613/jair.1.14044
2022
The probabilistic model checker Storm, 589-610. Hensel, C., Junges, S., Katoen, J. P., Quatmann, T. & Volk, M.https://doi.org/10.1007/s10009-021-00633-zBDDs Strike Back: Efficient Analysis of Static and Dynamic Fault TreesIn NASA Formal Method: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings, Article Chapter 38 (pp. 713-732). Springer. Basgöze, D., Volk, M., Katoen, J.-P., Khan, S. & Stoelinga, M.https://doi.org/10.1007/978-3-031-06773-0_38DFT modeling approach for operational risk assessment of railway infrastructure, 331-350. Weik, N., Volk, M., Katoen, J. P. & Nießen, N.https://doi.org/10.1007/s10009-022-00652-4Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault TreesIn 2021 10th Latin-American Symposium on Dependable Computing (LADC). Khan, S., Katoen, J.-p., Volk, M., Zafar, A. & Sher, F.https://doi.org/10.1109/LADC53747.2021.9672579

Research profiles

Courses academic year 2023/2024

Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.

Courses academic year 2022/2023

Scan the QR code or
Download vCard