Welkom...

dr. M. Volk (Matthias)

Onderzoeker

Expertises

Engineering & Materials Science
Binary Decision Diagrams
Evolutionary Algorithms
Fault Tree Analysis
Model Checking
Sampling
Scalability
Stabilization
Mathematics
Self-Stabilization

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

Navigeer naar locatie

Postadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3110
Postbus 217
7500 AE Enschede