Christian Dietrich

IEEE Access, 2023

LLFree: Scalable and Optionally-Persistent Page-Frame Allocation.

[BibT_eX]

[DOI]

Proceedings of the 2023 USENIX Annual Technical Conference, 2023

MELF: Multivariant Executables for a Heterogeneous World.

[BibT_eX]

[DOI]

Proceedings of the 2023 USENIX Annual Technical Conference, 2023

Thread-Level Attack-Surface Reduction.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, 2023

reUpNix: Reconfigurable and Updateable Embedded Systems.

[BibT_eX]

[DOI]

Niklas Gollenstede

Ulf Kulau

Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, 2023

Checkpoint Placement for Systematic Fault-Injection Campaigns.

[BibT_eX]

[DOI]

Tim-Marek Thomas

Matthias Mnich

Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

Morsels: Explicit Virtual Memory Objects.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Disruptive Memory Systems, 2023

2022

ACTOR: Accelerating Fault Injection Campaigns Using Timeout Detection Based on Autocorrelation.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2022

SailFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2022

PSIC: Priority-Strict Multi-Core IRQ Processing.

[BibT_eX]

[DOI]

Malte Bargholz

Proceedings of the 25th IEEE International Symposium On Real-Time Distributed Computing, 2022

TASTING: Reuse Test-case Execution by Global AST Hashing.

[BibT_eX]

[DOI]

Tobias Landsberg

Proceedings of the 17th International Conference on Software Technologies, 2022

2021

CppSig: Extracting Type Information for C-Preprocessor Macro Expansions.

[BibT_eX]

[DOI]

Proceedings of the PLOS '21: Proceedings of the 11th Workshop on Programming Languages and Operating Systems, 2021

ARA: Static Initialization of Dynamically-Created System Objects.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

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

[BibT_eX]

[DOI]

Oskar Pusz

Proceedings of the LCTES '21: 22nd ACM SIGPLAN/SIGBED International Conference on Languages, 2021

2020

From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes.

[BibT_eX]

[DOI]

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

2019

Interaction-aware analysis and optimization of real-time application and operating system.

[BibT_eX]

[DOI]

PhD thesis, 2019

Wait-Free Code Patching of Multi-Threaded Processes.

[BibT_eX]

[DOI]

Proceedings of the 10th Workshop on Programming Languages and Operating Systems, 2019

RT.js: Practical Real-Time Scheduling for Web Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time Systems Symposium, 2019

Program-Structure-Guided Approximation of Large Fault Spaces.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019

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

[BibT_eX]

[DOI]

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018

Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2018

Semi-Extended Tasks: Efficient Stack Sharing Among Blocking Threads.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

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

[BibT_eX]

[DOI]

Proceedings of the 55th Annual Design Automation Conference, 2018

2017

Demystifying Soft-Error Mitigation by Control-Flow Checking - A New Perspective on its Effectiveness.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

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

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

cHash: Detection of Redundant Compilations via AST Hashing.

[BibT_eX]

[DOI]

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

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

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

OSEK-V: application-specific RTOS instantiation in hardware.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, 2017

Automatic verification of application-tailored OSEK kernels.

[BibT_eX]

[DOI]

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

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

[BibT_eX]

[DOI]

Proceedings of the Architecture of Computing Systems - ARCS 2017, 2017

2016

Experiences with software-based soft-error mitigation using AN codes.

[BibT_eX]

[DOI]

Softw. Qual. J., 2016

Function Multiverses for Dynamic Variability.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

Towards scalable configuration testing in variable software.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

2015

The dataref versuchung: Saving Time through Better Internal Repeatability.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2015

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

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

<i>d</i>OSEK: Maßgeschneiderte Zuverlässigkeit.

[BibT_eX]

[DOI]

Proceedings of the Betriebssysteme und Echtzeit, 2015

Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen.

[BibT_eX]

[DOI]

Proceedings of the Betriebssysteme und Echtzeit, 2015

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

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, 2015

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

[BibT_eX]

[DOI]

Proceedings of the 11th European Dependable Computing Conference, 2015

2014

Static Analysis of Variability in System Software: The 90, 000 #ifdefs Issue.

[BibT_eX]

[DOI]

Julio Sincero

Proceedings of the 2014 USENIX Annual Technical Conference, 2014

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

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

FASL 1.0: Eine Skriptsprache zur Programmierung mobiler Geräte.

[BibT_eX]

Proceedings of the Informatiktage 2014: Big (Data) is beautiful, 2014

A Practitioner's Guide to Software-Based Soft-Error Mitigation Using AN-Codes.

[BibT_eX]

[DOI]

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

Team up: Cooperative memory management in embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Compilers, 2014

2013

dOSEK: A Dependable RTOS for Automotive Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

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

[BibT_eX]

[DOI]

Proceedings of the 10th Working Conference on Mining Software Repositories, 2013

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

[BibT_eX]

[DOI]

Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

2012

Revealing and repairing configuration inconsistencies in large-scale system software.

[BibT_eX]

[DOI]

Julio Sincero

Int. J. Softw. Tools Technol. Transf., 2012

A robust approach for variability extraction from the Linux build system.

[BibT_eX]

[DOI]

Proceedings of the 16th International Software Product Line Conference, 2012

Understanding linux feature distribution.

[BibT_eX]

[DOI]