Kein Foto von Anja Felicitas Karl

Anja Felicitas Karl

BSc, Dipl.-Ing.

20192019
Wenn Sie Änderungen in Pure vorgenommen haben, werden diese hier in Kürze erscheinen.

Fingerprint Tauchen Sie ein in die Recherchenthemengebiete, in denen Anja Felicitas Karl aktiv ist. Diese Themengebiet-Etiketten stammen von den Werken dieser Person. Gemeinsam bilden sie einen einzigartigen Fingerabdruck.

  • 2 Ähnliche Profile
Masking Mathematik
Fault Mathematik
Robustness Mathematik
Flip Mathematik
Soft Error Mathematik
Interaction Mathematik
Correctness Mathematik
Exceed Mathematik

Forschungsoutput 2019 2019

  • 1 Beitrag in einem Konferenzband

Small faults grow up - Verification of error masking robustness in arithmetically encoded programs

Karl, A. F., Schilling, R., Bloem, R. & Mangard, S., 2019, Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Proceedings. Piskac, R. & Enea, C. (Hrsg.). Springer, S. 183-204 22 S. (Lecture Notes in Computer Science; Band 11388).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Open Access
Datei
Masking
Fault
Robustness
Flip
Soft Error