Zilverling

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

Hoogleraar
EEMCS-CS-FMT
Zilverling 3078
j.p.katoen@utwente.nl
+31534893676
Visitekaartje

Expertises

  • Computer Science

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

  • Earth and Planetary Sciences

    • Model

Organisaties

Nevenwerkzaakheden

  • RWTH Aachen UniversityHoogleraar

Publicaties

2024

SAFEST: 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-zBDDs Strike Back: Efficient Analysis of Static and Dynamic Fault Trees (2022)In 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. 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 (2022)International journal on software tools for technology transfer, 24(3), 331-350. Weik, N., Volk, M., Katoen, J. P. & Nießen, N.https://doi.org/10.1007/s10009-022-00652-4

Onderzoeksprofielen

Scan de QR-code of
Download vCard