Joachim Fellmuth

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 5

Top Topics

Cyber Physical Systems

Dynamic Analysis

Density Estimation

Top Venues

DASC/PiCom/DataCom/CyberSciTech

Publications

Joachim Fellmuth, Julian Hartmer, Hanno Skowronek, Sabine Glesner
Efficient Load-Time Diversity for an Embedded Real-Time Operating System. SAFECOMP (2020)
Joachim Fellmuth, Jonas Zell, Sabine Glesner
Evaluating Software Diversity in Branch Prediction Analyses for static WCET Estimation. RTCSA (2019)
Joachim Fellmuth, Thomas Göthel, Sabine Glesner
Instruction Caches in Static WCET Analysis of Artificially Diversified Software. ECRTS (2018)
Joachim Fellmuth, Paula Herber, Tobias F. Pfeffer, Sabine Glesner
Securing Real-Time Cyber-Physical Systems Using WCET-Aware Artificial Diversity. DASC/PiCom/DataCom/CyberSciTech (2017)
Tobias F. Pfeffer, Stefan Sydow, Joachim Fellmuth, Paula Herber
Protecting Legacy Code against Control Hijacking via Execution Location Equivalence Checking. QRS (2016)
Paula Herber, Joachim Fellmuth, Sabine Glesner
Model checking SystemC designs using timed automata. CODES+ISSS (2008)