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 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
Onderzoeksprofielen
Vakken collegejaar 2023/2024
Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.
- 192199508 - Research Topics CS
- 192199968 - Internship CS
- 192199978 - Final Project CS
- 201300086 - Research Topics 2 CS
- 201400171 - Capita Selecta Software Technology
- 201600017 - Final Project Preparation
- 201700081 - Probabilistic Programming
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900200 - Final Project EMSYS
- 201900234 - Internship I-Tech
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202001614 - MSc Final Project CS + I-Tech
- 202001616 - Research Topics CS + I-TECH
- 202200251 - Capita Selecta DST
- 202300070 - Final Project EMSYS
Vakken collegejaar 2022/2023
- 192166200 - Capita Selecta I-TECH
- 192199508 - Research Topics CS+IST
- 192199968 - Internship CS
- 192199978 - Final Project CS+IST
- 201300086 - Research Topics 2 CS+IST
- 201300294 - Masteronderzoek ECB Informatica
- 201400171 - Capita Selecta Software Technology
- 201600017 - Final Project Preparation
- 201700081 - Probabilistic Programming
- 201800524 - Research Topics EIT
- 201900194 - Research Topics I-Tech
- 201900195 - Final Project I-Tech
- 201900200 - Final Project EMSYS
- 201900234 - Internship I-Tech
- 202001434 - Internship EMSYS
- 202001613 - MSc Final Project BIT + CS
- 202001614 - MSc Final Project CS + I-Tech
- 202001616 - Research Topics CS + I-TECH
- 202200251 - Capita Selecta DST
- 202200377 - Internship I-Tech / Robotics
- 202200399 - Internship I-Tech / Robotics
Adres
![](/.uc/iff4689c40103f3eb1100f2c8f403e85637f06a7b284b0801e3bc0268018041/zilverling.jpg)
Universiteit Twente
Zilverling (gebouwnr. 11), kamer 3078
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling 3078
Postbus 217
7500 AE Enschede