Deze website is automatisch gegenereerd, mijn persoonlijke website bevindt zich hier.
Expertises
Computer Science
- Attack
- Differential Privacy
- Utilities
- Frequency Estimation
- Side Channel Attack
- Algorithms
- Fault Tree
- Robust Optimization
Organisaties
Publicaties
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
Onderzoeksprofielen
Verbonden aan opleidingen
Vakken collegejaar 2025/2026
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 2024/2025
In de pers
- http://www.radioswammerdam.nl/category/2020-2021/ (March 16) Een radiointerview, samen met Arjen Versloot, over historische taalkunde.
- http://www.nieuwarchief.nl/serie5/pdf/naw5-2018-19-4-295.pdf Een artikel over de Taalkunde Olympiade in Nieuw Archief voor Wiskunde
Adres

Universiteit Twente
Zilverling (gebouwnr. 11), kamer 3078
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling 3078
Postbus 217
7500 AE Enschede