Martin Hoffmann

Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme) Technische Fakultät

Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis (2017) Dietrich C, Hoffmann M, Lohmann D Journal article Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems (2017) Santini T, Borchert C, Dietrich C, Schirmeier H, Hoffmann M, Spinczyk O, Lohmann D, et al. Conference contribution Experiences with software-based soft-error mitigation using AN codes (2016) Hoffmann M, Ulbrich P, Dietrich C, Schirmeier H, Lohmann D, Schröder-Preikschat W Book chapter / Article in edited volumes Experiences with Software-based Soft-Error Mitigation using AN-Codes (2016) Hoffmann M, Ulbrich P, Dietrich C, Schirmeier H, Lohmann D, Schröder-Preikschat W Book chapter / Article in edited volumes Konstruktive Zuverlässigkeit: Eine Methodik für zuverlässige Systemsoftware auf unzuverlässiger Hardware (2016) Hoffmann M Thesis Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems (2015) Dietrich C, Hoffmann M, Lohmann D Conference contribution Back to the Roots: Implementing the RTOS as a Specialized State Machine (2015) Dietrich C, Hoffmann M, Lohmann D Conference contribution Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen (2015) Dietrich C, Hoffmann M, Lohmann D Conference contribution Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs (2014) Hoffmann M, Borchert C, Dietrich C, Schirmeier H, Kapitza R, Spinczyk O, Lohmann D Conference contribution A Practitioner's Guide to Software-based Soft-Error Mitigation Using AN-Codes (2014) Hoffmann M, Ulbrich P, Dietrich C, Schirmeier H, Lohmann D, Schröder-Preikschat W Conference contribution