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

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