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

    • Differential Privacy
    • Fault Tree
    • Case Study
    • Side Channel Attack
    • Generic Algorithm
    • Probability
    • Security Analysis
    • Fuzzy Mathematics

Organisaties

Publicaties

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

Onderzoeksprofielen

In de pers

QR codeScan de QR-code of
Download vCard