Expertises
Engineering & Materials Science
# Binary Decision Diagrams
# Evolutionary Algorithms
# Fault Tree Analysis
# Model Checking
# Sampling
# Scalability
# Stabilization
Mathematics
# Self-Stabilization
Verbonden aan
Publicaties
Recent
Badings, T. S., Jansen, N., Junges, S.
, Stoelinga, M.
, & Volk, M. (2022).
Sampling-Based Verification of CTMCs with Uncertain Rates. In S. Shoham, & Y. Vizel (Eds.),
Computer Aided Verification (CAV 2022): 34th International Conference, CAV 2022, Haifa, Israel, August 7–10, 2022, Proceedings, Part II (pp. 26-47). (Lecture notes in computer science; Vol. 13372).
https://doi.org/10.1007/978-3-031-13188-2_2
Badings, T. S., Jansen, N., Junges, S.
, Stoelinga, M. I. A.
, & Volk, M. (2022).
Sampling-Based Verification of CTMCs with Uncertain Rates. arXiv.org.
https://arxiv.org/abs/2205.08300
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
Jimenez Roa, L. A.
, Volk, M.
, & Stoelinga, M. I. A. (2022).
Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization. In
Computer Safety, Reliability, and Security: 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings (pp. 46-61). (Lecture notes in computer science; Vol. 13414). Springer.
https://doi.org/10.1007/978-3-031-14835-4_4
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
Contactgegevens
Bezoekadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(gebouwnr. 11), kamer 3110
Hallenweg 19
7522NH Enschede
Postadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3110
Postbus 217
7500 AE Enschede