Expertises
Mathematics
# Attack
# Currency
# Fault Tree
# Qualitative Analysis
# Semantic Analysis
Engineering & Materials Science
# Security Of Data
# Semantics
# Syntactics
Publicaties
Recent
Budde, C. E.
, Kolb, C.
, & Stoelinga, M. (2021).
Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies. In A. Abate, & A. Marin (Eds.),
Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Proceedings (pp. 457-467). (Lecture Notes in Computer Science; Vol. 12846). Springer.
https://doi.org/10.1007/978-3-030-85172-9_24
Stoelinga, M. I. A.
, Kolb, C.
, Nicoletti, S. M.
, Budde, C. E.
, & Hahn, E. M. (2021).
The Marriage Between Safety and Cybersecurity: Still Practicing. In A. Laarman, & A. Sokolova (Eds.),
Model Checking Software. SPIN 2021: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings (pp. 3-21). (Lecture Notes in Computer Science; Vol. 12864). Springer.
https://doi.org/10.1007/978-3-030-84629-9_1
Contactgegevens
Bezoekadres
Universiteit Twente
Drienerlolaan 5
7522 NB Enschede
Postadres
Universiteit Twente
Postbus 217
7500 AE Enschede