Dr. M.A. Lopuhaä - Zwakenberg | People Pages: Find employees & contact details

This website is automatically generated, my personal website can be found here.

Expertise

Computer Science
- Attack
- Differential Privacy
- Fault Tree
- Utilities
- Frequency Estimation
- Security Properties
- Side Channel Attack
- Algorithms

Organisations

Publications

2026

Fuzzy Fault Trees: The Fast and the Formal (2026)[Contribution to conference › Paper] QEST+FORMATS 2025. Dang, T. K. N., Peterseim, B., Lopuhaä-Zwakenberg, M. & Stoelinga, M. I. A.https://doi.org/10.1007/978-3-032-05792-1_14

2025

Fault Tree Reliability Analysis via Squarefree Polynomials: Mathematical and Experimental Analysis (2025)SN Computer Science, 6(8). Article 965. Lopuhaä-Zwakenberg, M.https://doi.org/10.1007/s42979-025-04450-y0-1 Laws for LTL and CTL over Random Transition Systems (2025)In Model Checking Software - 31st International Symposium, SPIN 2025, Proceedings (pp. 66-87) (Lecture Notes in Computer Science; Vol. 15945 LNCS). Springer. Dong, Y., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.1007/978-3-032-06847-7_4ATM: A Logic for Quantitative Security Properties on Attack Trees (2025)Software and systems modeling (E-pub ahead of print/First online). Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M. & Stoelinga, M.https://doi.org/10.1007/s10270-025-01323-zQuerying 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.23789

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

Navigate to location