University of Twente
People

Welcome...

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.

Expertise

Engineering & Materials Science
# Fault Tree Analysis
# Markov Chains
# Markov Processes
# Model Checking
# Statistical Models
Mathematics
# Model Checking
# Performability
# Reward

Organisations

Ancillary Activities

  • RWTH Aachen University
    Hoogleraar

Publications

Recent
Chechik, M. , Katoen, J.-P., & Leucker, M. (Eds.) (2023). Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. (1 ed.) (Lecture Notes in Computer Science; Vol. 14000). Springer. https://doi.org/10.1007/978-3-031-27481-7
Salmani, B. , & Katoen, J. P. (2023). Automatically Finding the Right Probabilities in Bayesian Networks. Journal of Artificial Intelligence Research, 77, 1637-1696. https://doi.org/10.1613/jair.1.14044
Schröer, P., Batz, K., Kaminski, B. L. , Katoen, J. P., & Matheja, C. (2023). A Deductive Verification Infrastructure for Probabilistic Programs. Proceedings of the ACM on Programming Languages, 7(OOPSLA2), Article 294. https://doi.org/10.1145/3622870
Winkler, T., Gehnen, C. , & Katoen, J. P. (2023). Model Checking Temporal Properties of Recursive Probabilistic Programs. Logical methods in computer science, 19(4), Article 24. https://doi.org/10.46298/lmcs-19(4:24)2023
Volk, M., Ibne Irshad, M. , Katoen, J.-P., Sher, F. , Stoelinga, M. I. A., & Zafar, A. (2023). SAFEST: the static and dynamic fault tree analysis tool. In Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023) (pp. 193-200). Research Publishing. https://doi.org/10.3850/978-981-18-8071-1_P407-cd
Weik, N., Volk, M. , Katoen, J. P., & Nießen, N. (2022). DFT modeling approach for operational risk assessment of railway infrastructure. International journal on software tools for technology transfer, 24(3), 331-350. https://doi.org/10.1007/s10009-022-00652-4
Hensel, C., Junges, S. , Katoen, J. P., Quatmann, T., & Volk, M. (2022). The probabilistic model checker Storm. International journal on software tools for technology transfer, 24(4), 589-610. https://doi.org/10.1007/s10009-021-00633-z
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). Article 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. (2022). Synthesizing optimal bias in randomized self-stabilization. Distributed computing. https://doi.org/10.1007/s00446-021-00408-4

UT Research Information System

See all research output of this employee

Contact Details

+31534892805  (secretary)
+31534892805  (if no answer)
 
 

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

Organisations

University of Twente Drienerlolaan 5
7522 NB Enschede
+31 (0)53 489 9111
info@utwente.nl
Route