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

Full Professor

About Me

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.


Engineering & Materials Science
Fault Tree Analysis
Markov Chains
Markov Processes
Model Checking
Statistical Models
Model Checking


Basgöze, D., Volk, M. , Katoen, J-P., Khan, S. , & Stoelinga, M. (2022). BDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees. In J. V. Deshmukh, K. Havelund, & I. Perez (Eds.), NASA Formal Method: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings (pp. 713-732). [Chapter 38] (Lecture notes in computer science; Vol. 13260). Springer. https://doi.org/10.1007/978-3-031-06773-0_38
Khan, S. , Katoen, J., Volk, M., Zafar, A., & Sher, F. (2022). Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees. In 2021 10th Latin-American Symposium on Dependable Computing (LADC) https://doi.org/10.1109/LADC53747.2021.9672579
Volk, M., Bonakdarpour, B. , Katoen, J-P., & Aflaki, S. (2021). Synthesizing optimal bias in randomized self-stabilization. Distributed computing. https://doi.org/10.1007/s00446-021-00408-4
Khan, S. , Katoen, J-P., Volk, M., & Bouissou, M. (2021). Scalable Reliability Analysis by Lazy Verification. In A. Dutle, M. M. Moscato, L. Titolo, C. A. Muñoz, & I. Perez (Eds.), NASA Formal Methods - 13th International Symposium, NFM 2021, Virtual Event, May 24-28, 2021, Proceedings (Vol. 12673, pp. 180-197). (Lecture Notes in Computer Science). Springer. https://doi.org/10.1007/978-3-030-76384-812
Khan, S., Volk, M. , Katoen, J-P., Braibant, A., & Bouissou, M. (2021). Model Checking the Multi-Formalism Language FIGARO. In 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021, Taipei, Taiwan, June 21-24, 2021 (pp. 463-470). IEEE/EUCA. https://doi.org/10.1109/DSN48987.2021.00056
Hartmanns, A. , Katoen, J-P., Kohlen, B., & Spel, J. (2021). Tweaking the Odds in Probabilistic Timed Automata. In A. Abate, & A. Marin (Eds.), Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings (pp. 39-58). (Lecture Notes in Computer Science; Vol. 12846). Springer. https://doi.org/10.1007/978-3-030-85172-9_3
Hartmanns, A., Junges, S. , Katoen, J-P., & Quatmann, T. (2020). Multi-cost Bounded Tradeoff Analysis in MDP. Journal of automated reasoning, 64(7), 1483-1522. https://doi.org/10.1007/s10817-020-09574-9
Baier, C. , Hermanns, H. , & Katoen, J-P. (2019). The 10,000 Facets of MDP Model Checking. In B. Steffen, & G. Woeginger (Eds.), Computing and Software Science: State of the Art and Perspectives (Vol. 10000, pp. 420-451). (Lecture Notes in Computer Science; Vol. 10000). Springer. https://doi.org/10.1007/978-3-319-91908-9_21
Katoen, J-P. (2019). ETAPS Foreword. In D. Beyer, M. Huisman, F. Kordon, & B. Steffen (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III (pp. v-vi). (Lecture Notes in Computer Science; Vol. 11429), (Theoretical Computer Science and General Issues). Springer. https://link.springer.com/content/pdf/bfm%3A978-3-030-17502-3%2F1.pdf
Sun, J. , Katoen, J-P., & Guan, N. (2019). Preface. In Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings (pp. v-v). (Lecture Notes in Computer Science; Vol. 11951). Springer. https://link.springer.com/content/pdf/bfm%3A978-3-030-35540-1%2F1.pdf

UT Research Information System

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (building no. 11), room 3078
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3078
P.O. Box 217
7500 AE Enschede
The Netherlands