• Research
• Publications
• By Year
• 2020 - recent
• 2015 - 2019
• 2010 - 2014
• By Type
• Conference
• Journal
• Workshop
• By Rank
• Award-Winning
• CORE A/A*
• CORE B/C

Publications (B/C Ranked)

Method: Computing Research and Education Association of Australasia, CORE 2018.

2025

DATE Conference B
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)IEEE2025.
PDF Slides Poster Video Raw Data 10.23919/DATE64628.2025.10993257 [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)},
doi = {10.23919/DATE64628.2025.10993257},
entrysubtype = {Conference},
month = {March},
publisher = {IEEE},
series = {DATE},
title = {Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics},
year = {2025},
}

Close

2024

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

2023

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 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

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

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

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

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

OSPERT Workshop B Best Paper Award
Levels of Specialization in Real-Time Operating Systems

Björn Fiedler, Gerion Entrup, Christian Dietrich, Daniel LohmannProceedings of the 14th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '18)2018Best Paper Award.
PDF [BibTex]

🗙

BibTex Entry

@inproceedings{fiedler:18:ospert,
author = {Björn Fiedler and Gerion Entrup and Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 14th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '18)},
entrysubtype = {Workshop},
month = {July},
title = {Levels of Specialization in Real-Time Operating Systems},
venue = {Barcelona, Spain},
year = {2018},
}

Close

2016

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

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

Christian Dietrich, Martin Hoffmann, Daniel LohmannProceedings of the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '15)2015.
PDF [BibTex]

🗙

BibTex Entry

@inproceedings{dietrich:15:ospert,
author = {Dietrich, Christian and Hoffmann, Martin and Lohmann, Daniel},
booktitle = {Proceedings of the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '15)},
entrysubtype = {Workshop},
month = {July},
pages = {7-12},
title = {Back to the Roots: Implementing the {RTOS} as a Specialized State Machine},
url = {http://www.mpi-sws.org/~bbb/events/ospert15/pdf/ospert15-p7.pdf},
venue = {Lund, Sweden},
year = {2015},
}

Close

2014

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

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

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

Permalink: /p/publications-core-bc