Past Projects

AHA: Automated Hardware Abstraction in Operating-System Engineering (DFG: LO 1719/4-1)

Goal of AHA is to improve nonfunctional properties of system software by a very deep, but fully automated specialization of the application-hardware bridge represented by the operating system. We investigate, how alternative implementations that are mapped more directly to hardware features, can be generated from a concrete application and their actual interactions with the operating system.

CLASSY-FI: Cross-Layer Application-Specific Synthesis and Analysis of Fault Injection

Goal of the CLASSY-FI is to derive constructive methods and techniques for scalable, yet precise and complete fault injection (FI) to experimentally assess the robustness of safety-critical embedded control systems against soft errors.

CADOS: Configurability-Aware Development of Operating Systems (DFG: LO 1719/3-2)

In the CADOS project, we investigate scalable methods and tools to deal with the implementation of variability across all implementation layers of modern system software.

VAMOS: Variability Management in Operating Systems (DFG SCHR 603/7)

In the VAMOS project, we pioneered the issue of variability-induced issues in Linux and investigated methods and tools to mitigate the problem. Our findings have led to more than 100 accepted patches in the Linux mainline kernel.

cHash: Avoid redundant build operations by AST-based hashing

Building software can include many redundant compiler invocations. With the AST hashing mechanism developed in this project, compiler invocations can be aborted before wasting the developers time.

danceOS: dependability aspects in embedded Operating Systems (DFG: SPP 1500)

Future hardware designs for embedded systems are expected to exhibit an increasing rate of intermittent and permanent errors in exchange for smaller device sizes and lower energy consumption. The DanceOS project aims at providing dependability by the fine-grained and tailorable application of software-based fault-tolerance techniques.

dOSEK: A dependability-Oriented Static Embedded Kernel (DFG: LO 1719/1-3)

dOSEK is developed from scratch with dependability as the first-class design goal. Targeting safety-critical, embedded applications, the system provides an OSEK/AUTOSAR-conform interface. dOSEK is part of the danceOS project.

Teaching and Courses

Awards und Grants

• ECRTS 2018: Outstanding Paper for Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems
• OSPERT Workshop 2018: Best Paper for Levels of Specialization in Real-Time Operating Systems
• USENIX ATC 2017: Best Paper for cHash: Detection of Redundant Compilations via AST Hashing
• RTAS 2017: Outstanding Paper for SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems, Student Travel Grant by ACM
• 2015: Teaching Evaluation: 1st Place for the "Operating System Exercises" at FAU
• 2015: Preis für beste Abschlussarbeit der Fachgruppe Betriebssysteme
• RTAS 2015: Best Paper for dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel
• 2012: Preis für beste Bachelorarbeit in der Informatik an der Uni Erlangen

Publications

Related to PhD Thesis (2019)

2025

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics

Sören Tempel, Tobias Brandt, Christoph Lüth, Christian Dietrich, Rolf DrechslerProceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE)IEEE2025Accepted for presentation.
[BibTex]

×

BibTex Entry

@inproceedings{tempel:25:date,
location = {Lyon, France},
author = {Sören Tempel and Tobias Brandt and Christoph Lüth and Christian Dietrich and Rolf Drechsler},
booktitle = {Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE)},
month = {March},
note = {Accepted for presentation},
publisher = {IEEE},
title = {Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics},
year = {2025},
}

Close

2024

VLDB Conference A*
Cloud-Native Database Systems and Unikernels: Reimagining OS Abstractions for Modern Hardware [Vision]

Viktor Leis, Christian DietrichProceedings of the 50th International Conference on Very Large Data BasesVLDB Endowment2024Vision Paper.
PDF Raw Data 10.14778/3659437.3659462 [BibTex]

×

BibTex Entry

@inproceedings{leis:24:vldb-vision,
location = {Guangzhou, China},
author = {Leis, Viktor and Dietrich, Christian},
booktitle = {Proceedings of the 50th International Conference on Very Large Data Bases},
doi = {10.14778/3659437.3659462},
entrysubtype = {Conference},
month = {August},
note = {Vision Paper},
publisher = {VLDB Endowment},
title = {{Cloud-Native Database Systems and Unikernels: Reimagining OS Abstractions for Modern Hardware [Vision]}},
year = {2024},
}

Close

SPLC Conference B
Should I Bother? Fast Patch Filtering for Statically-Configured Software Variants

Tobias Landsberg, Christian Dietrich, Daniel LohmannProceedings of the 28th ACM International Systems and Software Product Line ConferenceAssociation for Computing Machinery2024.
PDF 10.1145/3646548.3672585 [BibTex]

×

BibTex Entry

@inproceedings{landsberg:24:splc,
location = {New York, NY, USA},
author = {Landsberg, Tobias and Dietrich, Christian and Lohmann, Daniel},
booktitle = {Proceedings of the 28th ACM International Systems and Software Product Line Conference},
doi = {10.1145/3646548.3672585},
entrysubtype = {Conference},
isbn = {9798400705939},
keywords = {Patch Filtering, Software Evolution, Software Product Lines},
location = {Dommeldange, Luxembourg},
numpages = {12},
pages = {12–23},
publisher = {Association for Computing Machinery},
series = {SPLC '24},
title = {Should I Bother? Fast Patch Filtering for Statically-Configured Software Variants},
year = {2024},
}

Close

DIMES Workshop Best Paper Award
The New Costs of Physical Memory Fragmentation

Alexander Halbuer, Illia Ostapyshyn, Lukas Steiner, Lars Wrenger, Matthias Jung, Christian Dietrich, Daniel LohmannProceedings of the 2nd Workshop on Disruptive Memory SystemsAssociation for Computing Machinery2024Best Paper Award.
PDF Details 10.1145/3698783.3699378 [BibTex]

×

BibTex Entry

@inproceedings{halbuer:24:dimes,
author = {Alexander Halbuer and Illia Ostapyshyn and Lukas Steiner and Lars Wrenger and Matthias Jung and Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 2nd Workshop on Disruptive Memory Systems},
doi = {10.1145/3698783.3699378},
entrysubtype = {Workshop},
location = {Austin, Texas, USA},
publisher = {Association for Computing Machinery},
title = {The New Costs of Physical Memory Fragmentation},
year = {2024},
}

Close

WCET Workshop
The Platin Multi-Target Worst-Case Analysis Tool

Emad Jacob Maroun, Eva Dengler, Christian Dietrich, Stefan Hepp, Henriette Herzog, Benedikt Huber, Jens Knoop, Daniel Wiltsche-Prokesch, Peter Puschner, Phillip Raffeck, Martin Schoeberl, Simon Schuster, Peter WägemannProceedings of the 22nd International Workshop on Worst-Case Execution Time Analysis (WCET '24)2024Accepted.
PDF [BibTex]

×

BibTex Entry

@inproceedings{maroun:24:wcet,
author = {Maroun, Emad Jacob and Dengler, Eva and Dietrich, Christian and Hepp, Stefan and Herzog, Henriette and Huber, Benedikt and Knoop, Jens and Wiltsche-Prokesch, Daniel and Puschner, Peter and Raffeck, Phillip and Schoeberl, Martin and Schuster, Simon and Wägemann, Peter},
booktitle = {Proceedings of the 22nd International Workshop on Worst-Case Execution Time Analysis (WCET '24)},
entrysubtype = {Workshop},
note = {Accepted},
title = {The Platin Multi-Target Worst-Case Analysis Tool},
year = {2024},
}

Close

2023

ACCESS Journal
Evaluation and Refinement of an Explicit Virtual-Memory Primitive

Yannick Loeck, Christian DietrichIEEE Access112023.
PDF 10.1109/ACCESS.2023.3338149 [BibTex]

×

BibTex Entry

@article{loeck:23:access,
author = {Loeck, Yannick and Dietrich, Christian},
doi = {10.1109/ACCESS.2023.3338149},
entrysubtype = {Journal},
journaltitle = {IEEE Access},
month = {December},
number = {},
pages = {136855-136868},
title = {Evaluation and Refinement of an Explicit Virtual-Memory Primitive},
volume = {11},
year = {2023},
}

Close

ICCAD Conference A
Checkpoint Placement for Systematic Fault-Injection Campaigns

Christian Dietrich, Tim-Marek Thomas, Matthias MnichICCAD '23: Proceedings of the 2023 IEEE/ACM International Conference on Computer-aided designACM Press2023.
PDF Raw Data 10.1109/ICCAD57390.2023.10323809 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:23:iccad,
location = {New York, NY, USA},
author = {Dietrich, Christian and Thomas, Tim-Marek and Mnich, Matthias},
booktitle = {ICCAD '23: Proceedings of the 2023 IEEE/ACM International Conference on Computer-aided design},
doi = {10.1109/ICCAD57390.2023.10323809},
entrysubtype = {Conference},
month = {October},
publisher = {ACM Press},
title = {Checkpoint Placement for Systematic Fault-Injection Campaigns},
url = {https://arxiv.org/abs/2308.05521},
venue = {San Francisco, CA, USA},
year = {2023},
}

Close

DIMES Workshop
Morsels: Explicit Virtual Memory Objects

Alexander Halbuer, Christian Dietrich, Florian Rommel, Daniel LohmannProceedings of the 1st Workshop on Disruptive Memory SystemsAssociation for Computing Machinery2023.
PDF Details Slides 10.1145/3609308.3625267 [BibTex]

×

BibTex Entry

@inproceedings{halbuer:23:dimes,
author = {Alexander Halbuer and Christian Dietrich and Florian Rommel and Daniel Lohmann},
booktitle = {Proceedings of the 1st Workshop on Disruptive Memory Systems},
date = {2023-10},
doi = {10.1145/3609308.3625267},
entrysubtype = {Workshop},
location = {Koblenz, Germany},
month = {October},
publisher = {Association for Computing Machinery},
series = {DIMES '23},
title = {Morsels: Explicit Virtual Memory Objects},
url = {https://doi.org/10.1145/3609308.3625267},
year = {2023},
}

Close

USENIX Conference A Distinguished Artifact Award
LLFree: Scalable and Optionally-Persistent Page-Frame Allocation

Lars Wrenger, Florian Rommel, Alexander Halbuer, Christian Dietrich, Daniel Lohmann2023 USENIX Annual Technical Conference (USENIX '23)USENIX Association2023Distinguished Artifact Award.
PDF Details Slides [BibTex]

×

BibTex Entry

@inproceedings{wrenger:23:atc,
location = {Boston, MA},
author = {Wrenger, Lars and Rommel, Florian and Halbuer, Alexander and Dietrich, Christian and Lohmann, Daniel},
booktitle = {2023 USENIX Annual Technical Conference (USENIX '23)},
entrysubtype = {Conference},
isbn = {978-1-939133-35-9},
month = {jul},
pages = {897–914},
publisher = {USENIX Association},
title = {{LLFree}: Scalable and {Optionally-Persistent} {Page-Frame} Allocation},
url = {https://www.usenix.org/conference/atc23/presentation/wrenger},
year = {2023},
}

Close

USENIX Conference A
MELF: Multivariant Executables for a Heterogeneous World

Dominik Töllner, Christian Dietrich, Illia Ostapyshyn, Florian Rommel, Daniel Lohmann2023 USENIX Annual Technical Conference (USENIX '23)USENIX Association2023.
PDF Details [BibTex]

×

BibTex Entry

@inproceedings{toellner:23:atc,
location = {Boston, MA},
author = {Töllner, Dominik and Dietrich, Christian and Ostapyshyn, Illia and Rommel, Florian and Lohmann, Daniel},
booktitle = {2023 USENIX Annual Technical Conference (USENIX '23)},
entrysubtype = {Conference},
isbn = {978-1-939133-35-9},
month = {July},
pages = {257–273},
publisher = {USENIX Association},
title = {{MELF}: Multivariant Executables for a Heterogeneous World},
url = {https://www.usenix.org/conference/atc23/presentation/tollner},
year = {2023},
}

Close

LCTES Conference B
Thread-Level Attack-Surface Reduction

Florian Rommel, Christian Dietrich, Andreas Ziegler, Illia Ostapyshyn, Daniel LohmannProceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded SystemsACM Press2023.
PDF Details Slides Video 10.1145/3589610.3596281 [BibTex]

×

BibTex Entry

@inproceedings{rommel:23:lctes,
location = {New York, NY, USA},
author = {Rommel, Florian and Dietrich, Christian and Ziegler, Andreas and Ostapyshyn, Illia and Lohmann, Daniel},
booktitle = {Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems},
doi = {10.1145/3589610.3596281},
entrysubtype = {Conference},
isbn = {979-8-4007-0174-0/23/06},
month = {June},
publisher = {ACM Press},
title = {Thread-Level Attack-Surface Reduction},
venue = {Orlando, Florida, USA},
year = {2023},
}

Close

SIGMOD Conference A*
Virtual-Memory Assisted Buffer Management

Viktor Leis, Adnan Alhomssi, Tobias Ziegler, Yannick Loeck, Christian DietrichProceedings of the ACM SIGMOD/PODS International Conference on Management of DataACM2023.
PDF 10.1145/3588687 [BibTex]

×

BibTex Entry

@inproceedings{leis:23:sigmod,
location = {New York, NY, USA},
author = {Viktor Leis and Adnan Alhomssi and Tobias Ziegler and Yannick Loeck and Christian Dietrich},
booktitle = {Proceedings of the ACM SIGMOD/PODS International Conference on Management of Data},
doi = {10.1145/3588687},
entrysubtype = {Conference},
location = {Seattle, WA, USA},
month = {June},
publisher = {ACM},
title = {Virtual-Memory Assisted Buffer Management},
year = {2023},
}

Close

LCTES Conference B
reUpNix: Reconfigurable and Updateable Embedded Systems

Niklas Gollenstede, Ulf Kulau, Christian DietrichProceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded SystemsACM Press2023.
PDF Slides Raw Data 10.1145/3589610.3596273 [BibTex]

×

BibTex Entry

@inproceedings{gollenstede:23:lctes,
location = {New York, NY, USA},
author = {Gollenstede, Niklas and Kulau, Ulf and Dietrich, Christian},
booktitle = {Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems},
doi = {10.1145/3589610.3596273},
entrysubtype = {Conference},
isbn = {979-8-4007-0174-0/23/06},
month = {June},
publisher = {ACM Press},
title = {{reUpNix}: Reconfigurable and Updateable Embedded Systems},
year = {2023},
}

Close

2022

ICSOFT Conference B Best Student Paper
TASTING: Reuse Test-case Execution by Global AST Hashing

Tobias Landsberg, Christian Dietrich, Daniel LohmannProceedings of the 17th International Conference on Software Technologies - ICSOFTSciTePress2022Best Student Paper.
PDF 10.5220/0011139200003266 [BibTex]

×

BibTex Entry

@inproceedings{landsberg:22:icsoft,
location = {Lisbon, Portugal},
author = {Landsberg, Tobias and Dietrich, Christian and Lohmann, Daniel},
booktitle = {Proceedings of the 17th International Conference on Software Technologies - ICSOFT},
doi = {10.5220/0011139200003266},
entrysubtype = {Conference},
isbn = {978-989-758-588-3},
issn = {2184-2833},
month = {July},
organization = {INSTICC},
pages = {33-45},
publisher = {SciTePress},
title = {TASTING: Reuse Test-case Execution by Global AST Hashing},
year = {2022},
}

Close

ISORC Conference C Outstanding Paper Award
PSIC: Priority-Strict Multi-Core IRQ Processing

Malte Bargholz, Christian Dietrich, Daniel LohmannProceedings of the 25th International Symposium on Real-Time Distributed ComputingIEEE Computer Society2022Outstanding Paper Award.
PDF Slides 10.1109/ISORC52572.2022.9812796 [BibTex]

×

BibTex Entry

@inproceedings{bargholz:22:isorc,
author = {Bargholz, Malte and Dietrich, Christian and Lohmann, Daniel},
booktitle = {Proceedings of the 25th International Symposium on Real-Time Distributed Computing},
doi = {10.1109/ISORC52572.2022.9812796},
entrysubtype = {Conference},
isbn = {978-1-6654-0627-7/22},
location = {Västerås, Sweden},
month = {May},
publisher = {{IEEE} Computer Society},
title = {PSIC: Priority-Strict Multi-Core IRQ Processing},
year = {2022},
}

Close

SAFECOMP Conference B
ACTOR: Accelerating Fault Injection Campaigns using Timeout Detection based on Autocorrelation

Tim-Marek Thomas, Christian Dietrich, Oskar Pusz, Daniel Lohmann41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)Springer-Verlag2022.
PDF Slides 10.1007/978-3-031-14835-4_17 [BibTex]

×

BibTex Entry

@inproceedings{thomas:22:safecomp,
location = {Munich, Germany},
author = {Tim-Marek Thomas and Christian Dietrich and Oskar Pusz and Daniel Lohmann},
booktitle = {41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)},
doi = {10.1007/978-3-031-14835-4_17},
entrysubtype = {Conference},
publisher = {Springer-Verlag},
title = {ACTOR: Accelerating Fault Injection Campaigns using Timeout Detection based on Autocorrelation},
year = {2022},
}

Close

SAFECOMP Conference B
SailFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms

Christian Dietrich, Malte Bargholz, Yannick Loeck, Marcel Budoj, Luca Nedaskowskij, Daniel Lohmann41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)Springer-Verlag2022.
PDF Slides 10.1007/978-3-031-14835-4_14 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:22:safecomp,
location = {Munich, Germany},
author = {Dietrich, Christian and Bargholz, Malte and Loeck, Yannick and Budoj, Marcel and Nedaskowskij, Luca and Lohmann, Daniel},
booktitle = {41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)},
doi = {10.1007/978-3-031-14835-4_14},
entrysubtype = {Conference},
publisher = {Springer-Verlag},
title = {SailFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms},
year = {2022},
}

Close

2021

PLOS Workshop C
CppSig: Extracting Type Information for C-Preprocessor Macro Expansions

Christian DietrichProceedings of the 11th SOSP Workshop on Programming Languages and Operating Systems (PLOS '21)ACM2021.
PDF Slides Video Teaser Video Raw Data 10.1145/3477113.3487268 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:21:plos,
location = {New York, NY, USA},
author = {Christian Dietrich},
booktitle = {Proceedings of the 11th SOSP Workshop on Programming Languages and Operating Systems (PLOS '21)},
doi = {10.1145/3477113.3487268},
entrysubtype = {Workshop},
isbn = {978-1-4503-8707-1/21/10},
location = {Virtual Event},
month = {October},
publisher = {ACM},
title = {CppSig: Extracting Type Information for C-Preprocessor Macro Expansions},
year = {2021},
}

Close

LCTES Conference A
Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults

Oskar Pusz, Christian Dietrich, Daniel LohmannProceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)ACM Press2021.
PDF Slides 10.1145/3461648.3463851 [BibTex]

×

BibTex Entry

@inproceedings{pusz:21:lctes,
location = {New York, NY, USA},
author = {Oskar Pusz and Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)},
doi = {10.1145/3461648.3463851},
entrysubtype = {Conference},
month = {June},
pages = {97–109},
publisher = {ACM Press},
title = {Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults},
venue = {Virtual Conference},
year = {2021},
}

Close

LCTES Artifact A
Source Code and Evaluation Data for the Paper: Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults

Oskar Pusz, Christian Dietrich, Daniel LohmannProceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)ACM Press2021.
10.5281/zenodo.4698901 [BibTex]

×

BibTex Entry

@article{pusz:21:lctes-ae,
location = {New York, NY, USA},
author = {Oskar Pusz and Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)},
doi = {10.5281/zenodo.4698901},
entrysubtype = {Artifact},
month = {June},
publisher = {ACM Press},
title = {Source Code and Evaluation Data for the Paper: Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults},
venue = {Virtual Conference},
year = {2021},
}

Close

RTAS Conference A
ARA: Static Initialization of Dynamically-Created System Objects

Björn Fiedler, Gerion Entrup, Christian Dietrich, Daniel LohmannProceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'21)2021.
PDF Details Video Teaser Video 10.1109/RTAS52030.2021.00039 [BibTex]

×

BibTex Entry

@inproceedings{fiedler:21:rtas,
author = {Björn Fiedler and Gerion Entrup and Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'21)},
doi = {10.1109/RTAS52030.2021.00039},
entrysubtype = {Conference},
month = {May},
pages = {400–412},
title = {{ARA}: Static Initialization of Dynamically-Created System Objects},
venue = {Virtual Event},
year = {2021},
}

Close

Book Chapter
Dependability Aspects in Configurable Embedded Operating Systems

Horst Schirmeier, Christoph Borchert, Martin Hoffmann, Christian Dietrich, Arthur Martens, Rüdiger Kapitza, Daniel Lohmann, Olaf SpinczykDependable Embedded SystemsSpringer2021.
PDF 10.1007/978-3-030-52017-5_4 [BibTex]

×

BibTex Entry

@incollection{schirmeier:21:spp1500-danceos,
location = {Heidelberg, BW, Germany},
author = {Horst Schirmeier and Christoph Borchert and Martin Hoffmann and Christian Dietrich and Arthur Martens and R{ü}diger Kapitza and Daniel Lohmann and Olaf Spinczyk},
booktitle = {Dependable Embedded Systems},
chapter = {10},
doi = {10.1007/978-3-030-52017-5_4},
editor = {Nikil Dutt and J{ö}rg Henkel},
entrysubtype = {Book Chapter},
isbn = {978-3-030-52016-8},
publisher = {Springer},
title = {Dependability Aspects in Configurable Embedded Operating Systems},
url = {https://link.springer.com/chapter/10.1007/978-3-030-52017-5_4},
year = {2021},
}

Close

2020

OSDI Conference A*
From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes

Florian Rommel, Christian Dietrich, Birte Friesel, Marcel Köppen, Christoph Borchert, Michael Müller, Olaf Spinczyk, Daniel Lohmann14th Symposium on Operating System Design and Implementation (OSDI '20)2020.
PDF Details Video [BibTex]

×

BibTex Entry

@inproceedings{rommel:20:osdi,
author = {Florian Rommel and Christian Dietrich and Birte Friesel and Marcel K{ö}ppen and Christoph Borchert and Michael M{ü}ller and Olaf Spinczyk and Daniel Lohmann},
booktitle = {14th Symposium on Operating System Design and Implementation (OSDI '20)},
entrysubtype = {Conference},
isbn = {978-1-939133-19-9},
month = {November},
pages = {651-666},
title = {From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes},
year = {2020},
}

Close

2019

OSPERT Workshop B
ARA: Automatic Instance-Level Analysis in Real-Time Systems

Gerion Entrup, Benedikt Steinmeier, Christian DietrichProceedings of the 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19)2019.
PDF [BibTex]

×

BibTex Entry

@inproceedings{entrup:19:ospert,
author = {Gerion Entrup and Benedikt Steinmeier and Christian Dietrich},
booktitle = {Proceedings of the 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19)},
entrysubtype = {Workshop},
month = {July},
title = {ARA: Automatic Instance-Level Analysis in Real-Time Systems},
venue = {Stuttgart, Germany},
year = {2019},
}

Close

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

Florian Rommel, Christian Dietrich, Michael Rodin, Daniel LohmannFourteenth EuroSys Conference 2019 (EuroSys '19)ACM Press2019.
PDF Slides 10.1145/3302424.3303959 [BibTex]

×

BibTex Entry

@inproceedings{rommel:19:eurosys,
location = {New York, NY, USA},
author = {Florian Rommel and Christian Dietrich and Michael Rodin and Daniel Lohmann},
booktitle = {Fourteenth EuroSys Conference 2019 (EuroSys '19)},
doi = {10.1145/3302424.3303959},
entrysubtype = {Conference},
isbn = {978-1-4503-6281-8},
publisher = {ACM Press},
title = {Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software},
venue = {Dresden, Germany},
year = {2019},
}

Close

PRDC Conference B
Program-Structure–Guided Approximation of Large Fault Spaces

Oskar Pusz, Daniel Kiechle, Christian Dietrich, Daniel Lohmann2019 24th Pacific Rim International Symposium on Dependable Computing (PRDC'19)IEEE Computer Society Press2019.
PDF Slides 10.1109/PRDC47002.2019.00044 [BibTex]

×

BibTex Entry

@inproceedings{pusz:19:prdc,
location = {Washington, DC, USA},
author = {Oskar Pusz and Daniel Kiechle and Christian Dietrich and Daniel Lohmann},
booktitle = {2019 24th Pacific Rim International Symposium on Dependable Computing (PRDC'19)},
doi = {10.1109/PRDC47002.2019.00044},
entrysubtype = {Conference},
issn = {1555-094X},
publisher = {IEEE Computer Society Press},
title = {Program-Structure–Guided Approximation of Large Fault Spaces},
year = {2019},
}

Close

RTSS Conference A*
RT.js: Practical Real-Time Scheduling for Web Applications

Christian Dietrich, Stefan Naumann, Robin Thrift, Daniel LohmannProceedings of the 40th IEEE Real-Time Systems Symposium 2019IEEE Computer Society Press2019.
PDF 10.1109/RTSS46320.2019.00017 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:19:rtss,
location = {Hong Kong, China},
author = {Christian Dietrich and Stefan Naumann and Robin Thrift and Daniel Lohmann},
booktitle = {Proceedings of the 40th IEEE Real-Time Systems Symposium 2019},
doi = {10.1109/RTSS46320.2019.00017},
entrysubtype = {Conference},
publisher = {IEEE Computer Society Press},
title = {RT.js: Practical Real-Time Scheduling for Web Applications},
year = {2019},
}

Close

PLOS Workshop B
Wait-Free Code Patching of Multi-Threaded Processes

Florian Rommel, Lennart Glauer, Christian Dietrich, Daniel LohmannProceedings of the 10th SOSP Workshop on Programming Languages and Operating Systems (PLOS '19)ACM2019.
PDF 10.1145/3365137.3365404 [BibTex]

×

BibTex Entry

@inproceedings{rommel:19:plos,
acmid = {3365404},
location = {New York, NY, USA},
author = {Rommel, Florian and Glauer, Lennart and Dietrich, Christian and Lohmann, Daniel},
booktitle = {Proceedings of the 10th SOSP Workshop on Programming Languages and Operating Systems (PLOS '19)},
doi = {10.1145/3365137.3365404},
entrysubtype = {Workshop},
isbn = {978-1-4503-7017-2},
location = {Huntsville, ON, Canada},
numpages = {7},
pages = {23–29},
publisher = {ACM},
title = {Wait-Free Code Patching of Multi-Threaded Processes},
year = {2019},
}

Close

2018

DAC Conference A
Cross-Layer Fault-Space Pruning for Hardware-Assisted Fault Injection

Christian Dietrich, Achim Schmider, Oskar Pusz, Guillermo Payá-Vayá, Daniel LohmannProceedings of the 55th Annual Design Automation Conference 2018 (DAC '18)ACM Press2018.
PDF Slides Raw Data 10.1145/3195970.3196019 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:18:dac,
location = {San Francisco, California, USA},
author = {Christian Dietrich and Achim Schmider and Oskar Pusz and Guillermo Payá-Vayá and Daniel Lohmann},
booktitle = {Proceedings of the 55th Annual Design Automation Conference 2018 (DAC '18)},
doi = {10.1145/3195970.3196019},
entrysubtype = {Conference},
isbn = {978-1-4503-5700-5/18/06},
publisher = {ACM Press},
title = {Cross-Layer Fault-Space Pruning for Hardware-Assisted Fault Injection},
year = {2018},
}

Close

2017

TECS Journal A
Demystifying Soft-Error Mitigation by Control-Flow Checking – A New Perspective on Its Effectiveness

Simon Schuster, Peter Ulbrich, Isabella Stilkerich, Christian Dietrich, Wolfgang Schröder-PreikschatACM Transactions on Embedded Computing Systems16.5sACM2017.
10.1145/3126503 [BibTex]

×

BibTex Entry

@inbook{schuster:17:emsoft,
acmid = {3126503},
location = {New York, NY, USA},
articleno = {180},
author = {Schuster, Simon and Ulbrich, Peter and Stilkerich, Isabella and Dietrich, Christian and Schröder-Preikschat, Wolfgang},
doi = {10.1145/3126503},
entrysubtype = {Journal},
issn = {1539-9087},
issue = {5s},
issue_date = {October 2017},
journaltitle = {ACM Transactions on Embedded Computing Systems},
month = {September},
numpages = {19},
pages = {180:1–180:19},
publisher = {ACM},
title = {Demystifying Soft-Error Mitigation by Control-Flow Checking – A New Perspective on Its Effectiveness},
volume = {16},
year = {2017},
}

Close

USENIX Conference A Best Paper Award
cHash: Detection of Redundant Compilations via AST Hashing

Christian Dietrich, Valentin Rothberg, Ludwig Füracker, Andreas Ziegler, Daniel LohmannProceedings of the 2017 USENIX Annual Technical Conference (USENIX '17)USENIX Association2017Best Paper Award.
PDF Details Slides Raw Data [BibTex]

×

BibTex Entry

@inproceedings{dietrich:17:usenix,
location = {Berkeley, CA, USA},
author = {Christian Dietrich and Valentin Rothberg and Ludwig Füracker and Andreas Ziegler and Daniel Lohmann},
booktitle = {Proceedings of the 2017 USENIX Annual Technical Conference (USENIX '17)},
entrysubtype = {Conference},
isbn = {9781931971386},
location = {Santa Clara, CA, USA},
month = {July},
publisher = {USENIX Association},
title = {{cHash:} Detection of Redundant Compilations via {AST} Hashing},
url = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/dietrich},
venue = {Santa Clara, CA, USA},
year = {2017},
}

Close

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

Thiago Santini, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Martin Hoffmann, Olaf Spinczyk, Daniel Lohmann, Flávio Rech Wagner, Paolo RechProceedings of the 2017 Conference on Architecture of Computing Systems (ARCS '17)Springer-Verlag2017.
PDF 10.1007/978-3-319-54999-6_1 [BibTex]

×

BibTex Entry

@inproceedings{santini:17:arcs,
location = {Heidelberg, Germany},
author = {Thiago Santini and Christoph Borchert and Christian Dietrich and Horst Schirmeier and Martin Hoffmann and Olaf Spinczyk and Daniel Lohmann and Flávio Rech Wagner and Paolo Rech},
booktitle = {Proceedings of the 2017 Conference on Architecture of Computing Systems (ARCS '17)},
doi = {10.1007/978-3-319-54999-6_1},
entrysubtype = {Conference},
keywords = {Reliability; Operating System; Embedded System; Dependable System; RTOS; Neutron ; eCos; dOSEK},
month = {April},
publisher = {Springer-Verlag},
title = {Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems},
venue = {Karlsruhe, Germany},
year = {2017},
}

Close

2016

SQJ Journal
Experiences with Software-based Soft-Error Mitigation using AN-Codes

Martin Hoffmann, Peter Ulbrich, Christian Dietrich, Horst Schirmeier, Daniel Lohmann, Wolfgang Schröder-PreikschatSoftware Quality Journal24.1Springer US2016.
PDF 10.1007/s11219-014-9260-4 [BibTex]

×

BibTex Entry

@article{hoffmann:16:sqj,
author = {Martin Hoffmann and Peter Ulbrich and Christian Dietrich and Horst Schirmeier and Daniel Lohmann and Wolfgang Schröder-Preikschat},
doi = {10.1007/s11219-014-9260-4},
entrysubtype = {Journal},
issue = {1},
journaltitle = {Software Quality Journal},
publisher = {Springer US},
title = {Experiences with Software-based Soft-Error Mitigation using {AN}-Codes},
volume = {24},
year = {2016},
}

Close

DSPL Workshop
Function Multiverses for Dynamic Variability

Valentin Rothberg, Christian Dietrich, Alexander Graf, Daniel LohmannFoundations and Applications of Self* Systems2016.
PDF [BibTex]

×

BibTex Entry

@inproceedings{rothberg:16:fas-dspl,
author = {Valentin Rothberg and Christian Dietrich and Alexander Graf and Daniel Lohmann},
booktitle = {Foundations and Applications of Self* Systems},
editor = {Jesper Andersson and Rafael Capilla and Holger Eichelberger},
entrysubtype = {Workshop},
location = {Augsburg},
title = {Function Multiverses for Dynamic Variability},
url = {https://www4.cs.fau.de/Publications/2016/rothberg_16_dspl.pdf},
year = {2016},
}

Close

GPCE Conference B
Towards Scalable Configuration Testing in Variable Software

Valentin Rothberg, Christian Dietrich, Andreas Ziegler, Daniel LohmannProceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences (GPCE '16)2016.
PDF 10.1145/2993236.2993252 [BibTex]

×

BibTex Entry

@inproceedings{rothberg:16:gpce,
author = {Valentin Rothberg and Christian Dietrich and Andreas Ziegler and Daniel Lohmann},
booktitle = {{Proceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences (GPCE '16)}},
doi = {10.1145/2993236.2993252},
editor = {Bernd Fischer and Ina Schaefer},
entrysubtype = {Conference},
isbn = {978-1-4503-4446-3},
location = {Amsterdam},
title = {{Towards Scalable Configuration Testing in Variable Software}},
year = {2016},
}

Close

2015

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

Horst Schirmeier, Martin Hoffmann, Christian Dietrich, Michael Lenz, Daniel Lohmann, Olaf SpinczykProceedings of the 11th European Dependable Computing Conference (EDCC '15)2015.
PDF 10.1109/EDCC.2015.28 [BibTex]

×

BibTex Entry

@inproceedings{schirmeier:15:edcc,
author = {Horst Schirmeier and Martin Hoffmann and Christian Dietrich and Michael Lenz and Daniel Lohmann and Olaf Spinczyk},
booktitle = {Proceedings of the 11th European Dependable Computing Conference (EDCC '15)},
doi = {10.1109/EDCC.2015.28},
editor = {Pierre Sens},
entrysubtype = {Conference},
keywords = {fault injection; tools; dependability; danceos},
location = {Paris, France},
month = {September},
pages = {245–255},
title = {{FAIL*}: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance},
year = {2015},
}

Close

Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen

Christian Dietrich, Martin Hoffmann, Daniel LohmannBetriebssysteme und Echtzeit, Echtzeit 2015, Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG) sowie der Fachgruppe Betriebssysteme von GI und ITG, Boppard, 12. und 13. November 20152015.
10.1007/978-3-662-48611-5_14 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:15:ez,
author = {Christian Dietrich and Martin Hoffmann and Daniel Lohmann},
booktitle = {Betriebssysteme und Echtzeit, Echtzeit 2015, Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft f{ü}r Informatik e.V. (GI), VDI/VDE-Gesellschaft f{ü}r Mess- und Automatisierungstechnik {(GMA)} und Informationstechnischer Gesellschaft im {VDE} {(ITG)} sowie der Fachgruppe Betriebssysteme von {GI} und ITG, Boppard, 12. und 13. November 2015},
doi = {10.1007/978-3-662-48611-5_14},
pages = {128–136},
title = {Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen},
year = {2015},
}

Close

OSR Journal
The dataref versuchung

Christian Dietrich, Daniel LohmannACM SIGOPS Operating Systems Review: Special Issue on Repeatability and Sharing of Experimental ArtifactsACM Press2015.
PDF 10.1145/2723872.2723880 [BibTex]

×

BibTex Entry

@article{dietrich:15:acmosr,
location = {New York, NY, USA},
author = {Christian Dietrich and Daniel Lohmann},
doi = {10.1145/2723872.2723880},
entrysubtype = {Journal},
journaltitle = {ACM SIGOPS Operating Systems Review: Special Issue on Repeatability and Sharing of Experimental Artifacts},
numpages = {10},
pages = {51–60},
publisher = {ACM Press},
title = {The {dataref} {versuchung}},
year = {2015},
}

Close

Workshop
dOSEK: Maßgeschneiderte Zuverlässigkeit

Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel LohmannBetriebssysteme und EchtzeitSpringer2015.
10.1007/978-3-662-48611-5_8 [BibTex]

×

BibTex Entry

@inproceedings{hoffmann:15:ez,
location = {Berlin-Heidelberg},
author = {Martin Hoffmann and Florian Lukas and Christian Dietrich and Daniel Lohmann},
bibsource = {UnivIS, http://univis.uni-erlangen.de/prg?search=publications\&id=91571504\&show=elong},
booktitle = {{Betriebssysteme und Echtzeit}},
doi = {10.1007/978-3-662-48611-5_8},
editor = {Wolfgang Halang and Olaf Spinczyk},
entrysubtype = {Workshop},
isbn = {978-3-662-48611-5},
location = {Boppard am Rhein},
pages = {69–78},
publisher = {Springer},
title = {{dOSEK:} Ma{ß}geschneiderte Zuverl{ä}ssigkeit},
year = {2015},
}

Close

RTAS Conference A Best Paper Award
dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel

Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel LohmannProceedings of the 21st IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '15)IEEE Computer Society Press2015Best Paper Award.
PDF 10.1109/RTAS.2015.7108449 [BibTex]

×

BibTex Entry

@inproceedings{hoffmann:15:rtas,
location = {Washington, DC, USA},
ar = {22\% (27/124)},
author = {Martin Hoffmann and Florian Lukas and Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 21st IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '15)},
category = {os-embedded, L4},
doi = {10.1109/RTAS.2015.7108449},
entrysubtype = {Conference},
pages = {259 - 270},
publisher = {IEEE Computer Society Press},
title = {{dOSEK}: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel},
year = {2015},
}

Close

2014

CASES Conference A
Team Up: Cooperative Memory Management in Embedded Systems

Isabella Stilkerich, Philip Taffner, Christoph Erhardt, Christian Dietrich, Christian Wawersich, Michael StilkerichProceedings of the 2014 International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES '14)ACM Press2014.
PDF 10.1145/2656106.2656129 [BibTex]

×

BibTex Entry

@inproceedings{stilkerich:14:cases,
location = {New York, NY, USA},
author = {Isabella Stilkerich and Philip Taffner and Christoph Erhardt and Christian Dietrich and Christian Wawersich and Michael Stilkerich},
booktitle = {Proceedings of the 2014 International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES '14)},
category = {i4,java, L4, KESO, invasic, AORTA},
doi = {10.1145/2656106.2656129},
entrysubtype = {Conference},
isbn = {978-1-4503-3050-3/14/10},
month = {October},
pages = {Art. No. 10},
publisher = {ACM Press},
title = {Team Up: Cooperative Memory Management in Embedded Systems},
venue = {New Dehli, India},
year = {2014},
}

Close

USENIX Conference A
Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue

Reinhard Tartler, Christian Dietrich, Julio Sincero, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 2014 USENIX Annual Technical Conference (USENIX '14)USENIX Association2014.
PDF Raw Data [BibTex]

×

BibTex Entry

@inproceedings{tartler:14:usenix,
location = {Berkeley, CA, USA},
ar = {18\% (44/241)},
author = {Reinhard Tartler and Christian Dietrich and Julio Sincero and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
booktitle = {Proceedings of the 2014 USENIX Annual Technical Conference (USENIX '14)},
category = {L4},
entrysubtype = {Conference},
isbn = {978-1-931971-10-2},
month = {June},
pages = {421–432},
publisher = {USENIX Association},
title = {Static Analysis of Variability in System Software: The 90,000 \#ifdefs Issue},
url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/tartler},
venue = {Philadelphia, PA, USA},
year = {2014},
}

Close

HASE Conference B
A Practitioner's Guide to Software-based Soft-Error Mitigation Using AN-Codes

Martin Hoffmann, Peter Ulbrich, Christian Dietrich, Horst Schirmeier, Daniel Lohmann, Wolfgang Schröder-PreikschatProceedings of the 15th IEEE International Symposium on High-Assurance Systems Engineering (HASE '14)IEEE Computer Society Press2014.
PDF 10.1109/HASE.2014.14 [BibTex]

×

BibTex Entry

@inproceedings{hoffmann:14:hase,
author = {Martin Hoffmann and Peter Ulbrich and Christian Dietrich and Horst Schirmeier and Daniel Lohmann and Wolfgang Schröder-Preikschat},
booktitle = {Proceedings of the 15th IEEE International Symposium on High-Assurance Systems Engineering (HASE '14)},
category = {L4, DanceOS},
doi = {10.1109/HASE.2014.14},
entrysubtype = {Conference},
isbn = {978-1-4799-3465-2},
month = {January},
pages = {33–40},
publisher = {IEEE Computer Society Press},
title = {A Practitioner's Guide to Software-based Soft-Error Mitigation Using {AN}-Codes},
venue = {Miami, Florida, USA},
year = {2014},
}

Close

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

Martin Hoffmann, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Rüdiger Kapitza, Olaf Spinczyk, Daniel LohmannProceedings of the 17th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '14)IEEE Computer Society Press2014.
PDF 10.1109/ISORC.2014.26 [BibTex]

×

BibTex Entry

@inproceedings{hoffmann:14:isorc,
author = {Martin Hoffmann and Christoph Borchert and Christian Dietrich and Horst Schirmeier and R{ü}diger Kapitza and Olaf Spinczyk and Daniel Lohmann},
booktitle = {Proceedings of the 17th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '14)},
category = {L4, ESS, DanceOS},
doi = {10.1109/ISORC.2014.26},
entrysubtype = {Conference},
issn = {1555-0885},
pages = {230–237},
publisher = {IEEE Computer Society Press},
title = {Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs},
venue = {Reno, Nevada, USA},
year = {2014},
}

Close

2013

PRDC Workshop
dOSEK: A Dependable RTOS for Automotive Applications

Martin Hoffmann, Christian Dietrich, Daniel LohmannProceedings of the 19th International Symposium on Dependable Computing (PRDC '13)IEEE Computer Society Press2013Fast abstract.
PDF 10.1109/PRDC.2013.22 [BibTex]

×

BibTex Entry

@inproceedings{hoffmann:13:prdc-fast,
location = {Washington, DC, USA},
author = {Martin Hoffmann and Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 19th International Symposium on Dependable Computing (PRDC '13)},
category = {L4, DanceOS},
doi = {10.1109/PRDC.2013.22},
entrysubtype = {Workshop},
month = {December},
note = {Fast abstract},
pages = {120–121},
publisher = {IEEE Computer Society Press},
title = {{dOSEK}: A Dependable {RTOS} for Automotive Applications},
venue = {Vancouver, British Columbia, Canada},
year = {2013},
}

Close

MSR Conference A
Linux Variability Anomalies: What Causes Them and How Do They Get Fixed?

Sarah Nadi, Christian Dietrich, Reinhard Tartler, Ric Holt, Daniel LohmannProceedings of the 10th Working Conference on Mining Software Repositories (MSR '13)IEEE Computer Society Press2013.
PDF 10.1109/MSR.2013.6624017 [BibTex]

×

BibTex Entry

@inproceedings{nadi:13:msr,
location = {Washington, DC, USA},
author = {Sarah Nadi and Christian Dietrich and Reinhard Tartler and Ric Holt and Daniel Lohmann},
booktitle = {Proceedings of the 10th Working Conference on Mining Software Repositories (MSR '13)},
doi = {10.1109/MSR.2013.6624017},
entrysubtype = {Conference},
isbn = {978-1-4799-0345-0},
month = {May},
pages = {111-120},
publisher = {IEEE Computer Society Press},
title = {Linux Variability Anomalies: What Causes Them and How Do They Get Fixed?},
year = {2013},
}

Close

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

Martin Hoffmann, Christian Dietrich, Daniel LohmannProceedings of the 2nd International Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13)Gesellschaft für Informatik2013.
PDF [BibTex]

×

BibTex Entry

@inproceedings{hoffmann:13:sobres,
author = {Martin Hoffmann and Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 2nd International Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13)},
category = {L4, DanceOS},
entrysubtype = {Workshop},
location = {Koblenz, Germany},
publisher = {{G}esellschaft f{ü}r {I}nformatik},
series = {Lecture Notes in Computer Science},
title = {{Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience}},
year = {2013},
}

Close

2012

STTT Journal B
Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software

Reinhard Tartler, Julio Sincero, Christian Dietrich, Wolfgang Schröder-Preikschat, Daniel LohmannInternational Journal on Software Tools for Technology Transfer (STTT)14.5Springer-Verlag2012.
PDF 10.1007/s10009-012-0225-2 [BibTex]

×

BibTex Entry

@article{tartler:12:sttt,
location = {Heidelberg, Germany},
author = {Reinhard Tartler and Julio Sincero and Christian Dietrich and Wolfgang Schröder-Preikschat and Daniel Lohmann},
category = {L4, InvasIC},
doi = {10.1007/s10009-012-0225-2},
entrysubtype = {Journal},
journaltitle = {International Journal on Software Tools for Technology Transfer (STTT)},
month = {February},
number = {5},
pages = {531-551},
publisher = {Springer-Verlag},
title = {Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software},
volume = {14},
year = {2012},
}

Close

OSR Journal
Configuration Coverage in the Analysis of Large-Scale System Software

Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, Julio SinceroACM SIGOPS Operating Systems Review45.3ACM Press2012.
PDF 10.1145/2094091.2094095 [BibTex]

×

BibTex Entry

@article{tartler:12:acmosr,
acmid = {2094095},
location = {New York, NY, USA},
author = {Reinhard Tartler and Daniel Lohmann and Christian Dietrich and Christoph Egger and Julio Sincero},
doi = {10.1145/2094091.2094095},
entrysubtype = {Journal},
issn = {0163-5980},
issue_date = {December 2011},
journaltitle = {ACM SIGOPS Operating Systems Review},
keywords = {Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Static Analysis, VAMOS},
month = {January},
number = {3},
numpages = {5},
pages = {10–14},
publisher = {ACM Press},
title = {Configuration Coverage in the Analysis of Large-Scale System Software},
volume = {45},
year = {2012},
}

Close

SPLC Conference
A Robust Approach for Variability Extraction from the Linux Build System

Christian Dietrich, Reinhard Tartler, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 16th Software Product Line Conference (SPLC '12)ACM Press2012.
PDF 10.1145/2362536.2362544 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:12:splc,
location = {New York, NY, USA},
ar = {33\% (22/66)},
author = {Christian Dietrich and Reinhard Tartler and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
booktitle = {Proceedings of the 16th Software Product Line Conference (SPLC '12)},
doi = {10.1145/2362536.2362544},
editor = {Eduardo Santana de Almeida and Christa Schwanninger and David Benavides},
entrysubtype = {Conference},
eventdate = {2012-09-02/2012-09-07},
isbn = {978-1-4503-1094-9},
pages = {21–30},
publisher = {ACM Press},
title = {A Robust Approach for Variability Extraction from the Linux Build System},
venue = {Salvador, Brazil},
year = {2012},
}

Close

AOSD-MISS Workshop
Understanding Linux Feature Distribution

Christian Dietrich, Reinhard Tartler, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS '12)ACM Press2012.
PDF 10.1145/2162024.2162030 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:12:aosd-miss,
location = {New York, NY, USA},
author = {Christian Dietrich and Reinhard Tartler and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
booktitle = {Proceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS '12)},
doi = {10.1145/2162024.2162030},
editor = {Christoph Borchert and Michael Haupt and Daniel Lohmann},
entrysubtype = {Workshop},
eventdate = {2012-03-27},
isbn = {978-1-4503-1217-2},
publisher = {ACM Press},
title = {Understanding {Linux} Feature Distribution},
venue = {Potsdam, Germany},
year = {2012},
}

Close

2011

PLOS Workshop B
Configuration Coverage in the Analysis of Large-Scale System Software

Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, Julio SinceroProceedings of the 6th Workshop on Programming Languages and Operating Systems (PLOS '11)ACM Press2011.
PDF 10.1145/2039239.2039242 [BibTex]

×

BibTex Entry

@inproceedings{tartler:11:plos,
location = {New York, NY, USA},
author = {Reinhard Tartler and Daniel Lohmann and Christian Dietrich and Christoph Egger and Julio Sincero},
booktitle = {Proceedings of the 6th Workshop on Programming Languages and Operating Systems (PLOS '11)},
doi = {10.1145/2039239.2039242},
editor = {Eric Eide and Gilles Muller and Olaf Spinczyk and Wolfgang Schr{ö}der-Preikschat},
entrysubtype = {Workshop},
isbn = {978-1-4503-0979-0},
keywords = {Algorithms, Design, Experimentation, Management, Languages, Configurability, Maintenance, Linux, Static Analysis, VAMOS},
pages = {2:1–2:5},
publisher = {ACM Press},
title = {Configuration Coverage in the Analysis of Large-Scale System Software},
venue = {Cascais, Portugal},
year = {2011},
}

Close

Supervised Theses

Open Theses Topics

Finished Student Theses