Welkom...

Dr. rer. nat. C. Kolb (Christina)

Onderzoeker

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

Pure Link

Contactgegevens

Bezoekadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (gebouwnr. 11)
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
Postbus 217
7500 AE Enschede