Model checking SystemC designs using timed automata. - Paula Herber; Joachim Fellmuth; Sabine Glesner (CODES+ISSS, 2008)

Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking. - Tobias F. Pfeffer; Stefan Sydow; Joachim Fellmuth; Paula Herber (QRS, 2016)

Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity. - Joachim Fellmuth; Paula Herber; Tobias F. Pfeffer; Sabine Glesner (DASC/PiCom/DataCom/CyberSciTech, 2017)

Instruction Caches in Static WCET Analysis of Artificially Diversified Software. - Joachim Fellmuth; Thomas Göthel; Sabine Glesner (ECRTS, 2018)

Evaluating Software Diversity in Branch Prediction Analyses for static WCET Estimation. - Joachim Fellmuth; Jonas Zell; Sabine Glesner (RTCSA, 2019)

Efficient Load-Time Diversity for an Embedded Real-Time Operating System. - Joachim Fellmuth; Julian Hartmer; Hanno Skowronek; Sabine Glesner (SAFECOMP, 2020)

Securing real-time cyber-physical systems using artificial software diversity. - Joachim Fellmuth (2021)