This website is automatically generated, my personal website can be found here.
Expertise
Computer Science
- Attack
- Differential Privacy
- Utilities
- Frequency Estimation
- Side Channel Attack
- Algorithms
- Fault Tree
- Robust Optimization
Organisations
Publications
2025
Fuzzy Fault Trees: The Fast and the Formal (2025)[Contribution to conference › Paper] QEST+FORMATS 2025 (E-pub ahead of print/First online). Dang, T. K. N., Peterseim, B., Lopuhaä-Zwakenberg, M. & Stoelinga, M. I. A.https://doi.org/10.1007/978-3-032-05792-1_14Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies (2025)[Working paper › Preprint]. ArXiv.org. Soltani, R., Nicoletti, S. M., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2506.23789Fuzzy Fault Trees: the Fast and the Formal (2025)[Working paper › Preprint]. ArXiv.org. Dang, T. K. N., Peterseim, B., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2507.02886Optimal spare management via statistical model checking: a case study in research reactors (2025)International journal on software tools for technology transfer, 27(3), 361-376. Soltani, R., Volk, M., Diamonte, L., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.1007/s10009-025-00791-4Safety and Security Risk Mitigation in Satellite Missions via Attack-Fault-Defense Trees (2025)[Working paper › Preprint]. ArXiv.org. Soltani, R., Diale, P., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.48550/arXiv.2504.00988
Research profiles
Affiliated study programs
Courses academic year 2025/2026
Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.
Courses academic year 2024/2025
In the press
- http://www.radioswammerdam.nl/category/2020-2021/ (16 maart) A radio interview, together with Arjen Versloot, on historical linguistics (in Dutch), on Radio Swammerdam
- http://www.nieuwarchief.nl/serie5/pdf/naw5-2018-19-4-295.pdf An article about the Linguistic Olympiad (in Dutch) in Nieuw Archief voor Wiskunde
Address

University of Twente
Zilverling (building no. 11), room 3078
Hallenweg 19
7522 NH Enschede
Netherlands
University of Twente
Zilverling 3078
P.O. Box 217
7500 AE Enschede
Netherlands