Christian Dietrich

发表

Apparatus and method for control and / or regulation of motor vehicle systems

Christian Dietrich, Manfred Ellmann, 1991 .

Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems

Thiago Santini, Flávio Rech Wagner, Olaf Spinczyk, 2017, ARCS.

Configuration coverage in the analysis of large-scale system software

Christian Dietrich, Daniel Lohmann, Julio Sincero, 2011, PLOS '11.

Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis

Christian Dietrich, Daniel Lohmann, Martin Hoffmann, 2017, ACM Trans. Embed. Comput. Syst..

Semi-Extended Tasks: Efficient Stack Sharing Among Blocking Threads

Christian Dietrich, Daniel Lohmann, 2018, 2018 IEEE Real-Time Systems Symposium (RTSS).

Team up: Cooperative memory management in embedded systems

Isabella Stilkerich, Christoph Erhardt, Michael Stilkerich, 2014, 2014 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES).

cHash: Detection of Redundant Compilations via AST Hashing

Christian Dietrich, Daniel Lohmann, Valentin Rothberg, 2017, USENIX Annual Technical Conference.

dOSEK: Maßgeschneiderte Zuverlässigkeit

Christian Dietrich, Daniel Lohmann, Martin Hoffmann, 2015, Echtzeit.

Cross-layer fault-space pruning for hardware-assisted fault injection

Guillermo Payá Vayá, Christian Dietrich, Daniel Lohmann, 2018, DAC.

Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen

Christian Dietrich, Daniel Lohmann, Martin Hoffmann, 2015, Echtzeit.

Automatic verification of application-tailored OSEK kernels

Stefan Milius, Christian Dietrich, Daniel Lohmann, 2017, 2017 Formal Methods in Computer Aided Design (FMCAD).

Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience

Christian Dietrich, Daniel Lohmann, Martin Hoffmann, 2013, GI-Jahrestagung.

dOSEK: the design and implementation of a dependability-oriented static embedded kernel

Christian Dietrich, Daniel Lohmann, Martin Hoffmann, 2015, 21st IEEE Real-Time and Embedded Technology and Applications Symposium.

The dataref versuchung: Saving Time through Better Internal Repeatability

Christian Dietrich, Daniel Lohmann, Christian J. Dietrich, 2015, OPSR.

dOSEK: A Dependable RTOS for Automotive Applications

Christian Dietrich, Daniel Lohmann, Martin Hoffmann, 2013, 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing.

Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs

Rüdiger Kapitza, Olaf Spinczyk, Christoph Borchert, 2014, 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

Towards scalable configuration testing in variable software

Christian Dietrich, Daniel Lohmann, Valentin Rothberg, 2016, GPCE.

OSEK-V: application-specific RTOS instantiation in hardware

Christian Dietrich, Daniel Lohmann, Christian J. Dietrich, 2017, LCTES.

Function Multiverses for Dynamic Variability

Christian Dietrich, Daniel Lohmann, Alexander Graf, 2016, 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W).

SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems (Outstanding Paper)

Christian Dietrich, Daniel Lohmann, Peter Ulbrich, 2017, 2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

Cross-Kernel Control-Flow--Graph Analysis for Event-Driven Real-Time Systems

Christian Dietrich, Daniel Lohmann, Martin Hoffmann, 2015, LCTES.

Linux variability anomalies: What causes them and how do they get fixed?

Richard C. Holt, Sarah Nadi, Christian Dietrich, 2013, 2013 10th Working Conference on Mining Software Repositories (MSR).

FAIL*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance

Olaf Spinczyk, Christian Dietrich, Daniel Lohmann, 2015, 2015 11th European Dependable Computing Conference (EDCC).

Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software

Christian Dietrich, Daniel Lohmann, Florian Rommel, 2019, EuroSys.

CppSig: Extracting Type Information for C-Preprocessor Macro Expansions

Christian Dietrich, Christian J. Dietrich, 2021, PLOS@SOSP.

Data-flow-sensitive fault-space pruning for the injection of transient hardware faults

Christian Dietrich, Daniel Lohmann, Oskar Pusz, 2021, LCTES.

ARA: Static Initialization of Dynamically-Created System Objects

Christian Dietrich, Daniel Lohmann, Björn Fiedler, 2021, 2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS).

Back to the Roots: Implementing the RTOS as a Specialized State Machine

Christian Dietrich, Daniel Lohmann, Martin Hoffmann, 2015 .

Hiding in Plain Sight Advances in malware covert communication channels

Christian Dietrich, Pierre-Marc Bureau, .