Expertises
Engineering & Materials Science
# Fault Tree Analysis
# Markov Chains
# Markov Processes
# Model Checking
# Statistical Models
Mathematics
# Model Checking
# Performability
# Reward
Verbonden aan
Nevenactiviteiten
-
RWTH Aachen University
Full professorship
Publicaties
Recent
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). [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
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.
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
Pure Link
Vakken Collegejaar 2022/2023
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.
Vakken Collegejaar 2021/2022
Contactgegevens
Bezoekadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(gebouwnr. 11), kamer 3078
Hallenweg 19
7522NH Enschede
Postadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3078
Postbus 217
7500 AE Enschede