Publications (Workshop)

2023

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

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

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

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

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

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

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

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

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