Zilverling

dr. M.A. Lopuhaä - Zwakenberg (Milan)

Universitair docent
EEMCS-CS-FMT
Zilverling 3078
m.a.lopuhaa@utwente.nl
+31534898491
Visitekaartje

Deze website is automatisch gegenereerd, mijn persoonlijke website bevindt zich hier.

Expertises

  • Computer Science

    • Attack
    • Differential Privacy
    • Fault Tree
    • Utilities
    • Frequency Estimation
    • Security Properties
    • Side Channel Attack
    • Algorithms

Organisaties

Publicaties

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-zFuzzy Fault Trees: The Fast and the Formal (2025)In Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems : Second International Joint Conference, QEST+FORMATS 2025, Aarhus, Denmark, August 26–28, 2025, Proceedings (pp. 256-274). Springer. 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.23789

Onderzoeksprofielen

In de pers

Scan de QR-code of
Download vCard