Anika Christmann

According to our database, Anika Christmann authored at least 5 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Interferences within a certifiable design methodology for high-performance multi-core platforms.

Mohamed Amine Khelassi, Felix Suchert, Abderaouf Amalou, Benjamin Lesage, Anika Christmann, Robin Hapka, Jerónimo Castrillón, Mihail Asavoae, Mathieu Jan, Claire Pagetti, Selma Saidi

CoRR, April, 2026

2025

A Novel Timing Model for Neural Networks in Safety-critical Systems.

Robin Hapka, Anika Christmann, Rolf Ernst

Proceedings of the 49th IEEE Annual Computers, Software, and Applications Conference, 2025

2023

Formal Analysis of Timing Diversity for Autonomous Systems.

Anika Christmann, Robin Hapka, Rolf Ernst

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

Controlling High-Performance Platform Uncertainties with Timing Diversity.

Robin Hapka, Anika Christmann, Rolf Ernst

Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022

2021

Timing diversity as a protective mechanism: work-in-progress.

Mischa Möstl, Robin Hapka, Anika Christmann, Rolf Ernst

Proceedings of the EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8, 2021