Expertises
Mathematics
# Attack
# Currency
# Fault Tree
# Qualitative Analysis
# Semantic Analysis
Engineering & Materials Science
# Security Of Data
# Semantics
# Syntactics
Verbonden aan
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
Pure Link
Contactgegevens
Bezoekadres
Universiteit Twente
Faculty of Behavioural, Management and Social Sciences
Zilverling
(gebouwnr. 11)
Hallenweg 19
7522NH Enschede
Universiteit Twente
Faculty of Behavioural, Management and Social Sciences
Ravelijn
(gebouwnr. 10), kamer 3202
Hallenweg 17
7522NH Enschede
Postadres
Universiteit Twente
Faculty of Behavioural, Management and Social Sciences
Ravelijn
3202
Postbus 217
7500 AE Enschede