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
- Differential Privacy
- Fault Tree
- Case Study
- Side Channel Attack
- Generic Algorithm
- Probability
- Security Analysis
- Fuzzy Mathematics

Organisations

Publications

2026

Fixed-Parameter Tractable Inference for Discrete Probabilistic Programs, via String Diagram Algebraisation (2026)In 41st Annual Symposium on Logic in Computer Science (LICS 2026). Article 76 (Leibniz International Proceedings in Informatics; Vol. 380). Dagstuhl. Peterseim, B. & Lopuhaä-Zwakenberg, M.https://doi.org/10.4230/LIPIcs.LICS.2026.76Correction: Fault Tree Reliability Analysis via Squarefree Polynomials: Mathematical and Experimental Analysis (2026)SN Computer Science, 7(4). Article 287 (E-pub ahead of print/First online). Lopuhaä-Zwakenberg, M.https://doi.org/10.1007/s42979-026-04737-8

2025

Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies (2025)In 2025 IEEE Annual Reliability and Maintainability Symposium - Europe: Reliability Foundations, RAMS-Europe 2025. IEEE. Soltani, R., Nicoletti, S. M., Lopuhaä-Zwakenberg, M. & Stoelinga, M.https://doi.org/10.1109/RAMS-Europe62094.2025.11274635Fault 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_4

Research profiles

Affiliated study programs

Courses academic year 2026/2027

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 2025/2026

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