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 Electrical Engineering, Mathematics and Computer Science
Zilverling
(gebouwnr. 11)
Hallenweg 19
7522NH Enschede
Postadres
Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
Postbus 217
7500 AE Enschede