Anja Felicitas KarlDipl.-Ing. BSc
Formal Methods, PhD student
I am contributing to several computer science lectures, including
- Verification and Testing (VO & UE)
- Selected Topics of Design and Verification
- Advising Bachelor and Master Thesis
If you are interested in writing a thesis on a related topic, doing a master project or an internship, justlet me know!
Small faults grow up - Verification of error masking robustness in arithmetically encoded programs
Karl, A., Schilling, R., Bloem, R. & Mangard, S.
Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings, Springer, 183-204, (Lecture Notes in Computer Science; vol. 11388)