Publications (A/A* Ranked)

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

2024

EMSOFT Journal A
KPAC: Efficient Emulation of the ARM Pointer Authentication Instructions

Illia Ostapyshyn, Gabriele Serra, Tim-Marek Thomas, Daniel LohmannIEEE Transactions on Computer-Aided Design of Integrated Circuits and SystemsIEEE Computer Society Press2024Accepted.
PDF 10.1109/TCAD.2024.3443773 [BibTex]

×

BibTex Entry

@article{ostapyshyn:24:emsoft,
author = {Ostapyshyn, Illia and Serra, Gabriele and Thomas, Tim-Marek and Lohmann, Daniel},
doi = {10.1109/TCAD.2024.3443773},
entrysubtype = {Journal},
journaltitle = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
note = {Accepted},
publisher = {IEEE Computer Society Press},
title = {KPAC: Efficient Emulation of the ARM Pointer Authentication Instructions},
year = {2024},
}

Close

2023

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

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

RTAS Conference A
MultiSSE: Static Syscall Elision and Specialization for Event-Triggered Multi-Core RTOS

Gerion Entrup, Björn Fiedler, Daniel LohmannProceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'23)2023.
PDF Details Slides [BibTex]

×

BibTex Entry

@inproceedings{entrup:23:rtas,
author = {Gerion Entrup and Björn Fiedler and Daniel Lohmann},
booktitle = {Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'23)},
entrysubtype = {Conference},
month = {May},
title = {{MultiSSE}: Static Syscall Elision and Specialization for Event-Triggered Multi-Core {RTOS}},
year = {2023},
}

Close

2021

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

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

EMSOFT Journal A
Honey, I Shrunk the ELFs: Lightweight Binary Tailoring of Shared Libraries

Andreas Ziegler, Julian Geus, Bernhard Heinloth, Timo Hönig, Daniel LohmannACM Transactions on Embedded Computing Systems18.5sACM Press2019.
PDF Raw Data 10.1145/3358222 [BibTex]

×

BibTex Entry

@article{ziegler:19:emsoft,
acmid = {3358222},
location = {New York, NY, USA},
articleno = {102},
author = {Andreas Ziegler and Julian Geus and Bernhard Heinloth and Timo H{ö}nig and Daniel Lohmann},
doi = {10.1145/3358222},
entrysubtype = {Journal},
issn = {1539-9087},
journaltitle = {ACM Transactions on Embedded Computing Systems},
keywords = {Shared Libraries; Binary Tailoring; Linux},
month = {October},
number = {5s},
numpages = {23},
pages = {102:1–102:23},
publisher = {ACM Press},
title = {Honey, {I} Shrunk the {ELFs}: Lightweight Binary Tailoring of Shared Libraries},
volume = {18},
year = {2019},
}

Close

ICSE Conference A*
The List is the Process: Reliable Pre-Integration Tracking of Commits on Mailing Lists

Ralf Ramsauer, Daniel Lohmann, Wolfgang MauererProceedings of the 41st International Conference on Software Engineering (ICSE '19)2019.
PDF Raw Data 10.1109/ICSE.2019.00088 [BibTex]

×

BibTex Entry

@inproceedings{ramsauer:19:icse,
author = {Ralf Ramsauer and Daniel Lohmann and Wolfgang Mauerer},
booktitle = {Proceedings of the 41st International Conference on Software Engineering (ICSE '19)},
doi = {10.1109/ICSE.2019.00088},
entrysubtype = {Conference},
month = {May},
pages = {807–818},
title = {The List is the Process: Reliable Pre-Integration Tracking of Commits on Mailing Lists},
venue = {Montreal, QC, Canada},
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

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

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

RTSS Conference A*
Semi-Extended Tasks: Efficient Stack Sharing Among Blocking Threads

Christian Dietrich, Daniel LohmannProceedings of the 39th IEEE Real-Time Systems Symposium 2018IEEE Computer Society Press2018.
PDF Details Slides Raw Data 10.1109/RTSS.2018.00049 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:18:rtss,
location = {Nashville, Tennessee, USA},
author = {Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 39th IEEE Real-Time Systems Symposium 2018},
doi = {10.1109/RTSS.2018.00049},
editor = {Sebastian Altmeyer},
entrysubtype = {Conference},
publisher = {IEEE Computer Society Press},
title = {Semi-Extended Tasks: Efficient Stack Sharing Among Blocking Threads},
year = {2018},
}

Close

ECRTS Conference A Outstanding Paper Award
Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems

Peter Wägemann, Christian Dietrich, Tobias Distler, Peter Ulbrich, Wolfgang Schröder-PreikschatProceedings of the 30th Euromicro Conference on Real-Time Systems 2018Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik2018Outstanding Paper Award.
PDF 10.4230/LIPIcs.ECRTS.2018.24 [BibTex]

×

BibTex Entry

@inproceedings{waegemann:18:ecrts,
author = {Peter Wägemann and Christian Dietrich and Tobias Distler and Peter Ulbrich and Wolfgang Schröder-Preikschat},
booktitle = {Proceedings of the 30th Euromicro Conference on Real-Time Systems 2018},
doi = {10.4230/LIPIcs.ECRTS.2018.24},
editor = {Sebastian Altmeyer},
entrysubtype = {Conference},
publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik},
title = {Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems},
venue = {Barcelona, Spain},
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

LCTES Conference A
OSEK-V: Application-Specific RTOS Instantiation in Hardware

Christian Dietrich, Daniel LohmannProceedings of the 2017 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '17)ACM Press2017.
PDF Raw Data 10.1145/3078633.3078637 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:17:lctes,
location = {New York, NY, USA},
ar = {25\% (13/56)},
author = {Christian Dietrich and Daniel Lohmann},
booktitle = {Proceedings of the 2017 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '17)},
category = {os-embedded, SRA},
doi = {10.1145/3078633.3078637},
entrysubtype = {Conference},
month = {June},
publisher = {ACM Press},
title = {{OSEK-V}: Application-Specific {RTOS} Instantiation in Hardware},
venue = {Barcelona, Spain},
year = {2017},
}

Close

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

Christian Dietrich, Martin Hoffmann, Daniel LohmannACM Transactions on Embedded Computing Systems16.2ACM Press2017.
PDF Raw Data 10.1145/2950053 [BibTex]

×

BibTex Entry

@article{dietrich:17:tecs,
location = {New York, NY, USA},
author = {Dietrich, Christian and Hoffmann, Martin and Lohmann, Daniel},
doi = {10.1145/2950053},
entrysubtype = {Journal},
journaltitle = {ACM Transactions on Embedded Computing Systems},
number = {2},
pages = {35:1–35:25},
publisher = {ACM Press},
title = {Global Optimization of Fixed-Priority Real-Time Systems by {RTOS}-Aware Control-Flow Analysis},
volume = {16},
year = {2017},
}

Close

RTAS Conference A Outstanding Paper Award
SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems

Christian Dietrich, Peter Wägemann, Peter Ulbrich, Daniel LohmannProceedings of the 23rd IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '17)IEEE Computer Society Press2017Outstanding Paper Award.
PDF Raw Data 10.1109/RTAS.2017.37 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:17:rtas,
location = {Washington, DC, USA},
ar = {},
author = {Christian Dietrich and Peter W{ä}gemann and Peter Ulbrich and Daniel Lohmann},
booktitle = {Proceedings of the 23rd IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '17)},
category = {WCET, WCRT, IPET, ILP},
doi = {10.1109/RTAS.2017.37},
entrysubtype = {Conference},
isbn = {978-1-5090-5269-1},
pages = {37-48},
publisher = {IEEE Computer Society Press},
title = {SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems},
year = {2017},
}

Close

2016

WICSA Conference A
Architecture-Violation Management for Internal Software Ecosystems

Klaus-Benedikt Schultis, Christoph Elsner, Daniel LohmannProceedings of the 13th Working IEEE/IFIP Conference on Software Architecture (WICSA '16)2016.
10.1109/WICSA.2016.16 [BibTex]

×

BibTex Entry

@inproceedings{schultis:16:wicsa,
location = {Washington, D.C., USA},
author = {Klaus-Benedikt Schultis and Christoph Elsner and Daniel Lohmann},
booktitle = {Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture (WICSA '16)},
doi = {10.1109/WICSA.2016.16},
editor = {Luciano Baresi and Vittorio Cortellessa},
entrysubtype = {Conference},
isbn = {978-1-5090-2131-4},
location = {Venice, Italy},
pages = {241–246},
title = {Architecture-Violation Management for Internal Software Ecosystems},
url = {http://ieeexplore.ieee.org/document/7516834/},
year = {2016},
}

Close

2015

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

Christian Dietrich, Martin Hoffmann, Daniel LohmannProceedings of the 2015 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '15)ACM Press2015.
PDF Raw Data 10.1145/2670529.2754963 [BibTex]

×

BibTex Entry

@inproceedings{dietrich:15:lctes,
location = {New York, NY, USA},
ar = {25\% (14/56)},
author = {Christian Dietrich and Martin Hoffmann and Daniel Lohmann},
booktitle = {Proceedings of the 2015 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '15)},
category = {os-embedded, L4},
doi = {10.1145/2670529.2754963},
entrysubtype = {Conference},
isbn = {978-1-4503-3257-6},
keywords = {Static Analysis; Control-Flow Graph; Cross-Kernel Analysis; Real-Time Systems; Optimization; Compiler},
month = {June},
publisher = {ACM Press},
title = {Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems},
venue = {Portland, Oregon, USA},
year = {2015},
}

Close

RTAS Conference A
AUTOBEST: A United AUTOSAR-OS and ARINC 653 Kernel

Alexander Zuepke, Marc Bommert, Daniel LohmannProceedings of the 21st IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '15)IEEE Computer Society Press2015.
PDF Slides 10.1109/RTAS.2015.7108435 [BibTex]

×

BibTex Entry

@inproceedings{zuepke:15:rtas,
location = {Washington, DC, USA},
ar = {22\% (27/124)},
author = {Alexander Zuepke and Marc Bommert 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.7108435},
entrysubtype = {Conference},
pages = {133–144},
publisher = {IEEE Computer Society Press},
title = {{AUTOBEST}: A United {AUTOSAR-OS} and {ARINC 653} Kernel},
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

FSE Conference A* Distinguished Paper Award
Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study

Klaus-Benedikt Schultis, Christoph Elsner, Daniel LohmannProceedings of the 22nd International Symposium on Foundations of Software Engineering (FSE '14)ACM Press2014Distinguished Paper Award.
PDF 10.1145/2635868.2635876 [BibTex]

×

BibTex Entry

@inproceedings{schultis:14:fse,
location = {New York, NY, USA},
ar = {22\% (61/273)},
author = {Klaus-Benedikt Schultis and Christoph Elsner and Daniel Lohmann},
booktitle = {Proceedings of the 22nd International Symposium on Foundations of Software Engineering (FSE '14)},
doi = {10.1145/2635868.2635876},
entrysubtype = {Conference},
isbn = {978-1-4503-3056-5},
month = {November},
pages = {542–552},
publisher = {ACM Press},
title = {Architecture Challenges for Internal Software Ecosystems: {A} Large-Scale Industry Case Study},
venue = {Hong Kong},
year = {2014},
}

Close

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

ECRTS Conference A
MultiSloth: An Efficient Multi-Core RTOS using Hardware-Based Scheduling

Rainer Müller, Daniel Danner, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS '14)IEEE Computer Society Press2014.
PDF 10.1109/ECRTS.2014.30 [BibTex]

×

BibTex Entry

@inproceedings{mueller:14:ecrts,
location = {Washington, DC, USA},
author = {Rainer M{ü}ller and Daniel Danner and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
booktitle = {Proceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS '14)},
category = {os-embedded, L4, InvasIC},
doi = {10.1109/ECRTS.2014.30},
entrysubtype = {Conference},
isbn = {978-1-4799-5798-9},
pages = {289-198},
publisher = {IEEE Computer Society Press},
title = {{MultiSloth}: An Efficient Multi-Core {RTOS} using Hardware-Based Scheduling},
venue = {Madrid, Spain},
year = {2014},
}

Close

RTAS Conference A
Safer Sloth: Efficient, Hardware-Tailored Memory Protection

Daniel Danner, Rainer Müller, Wolfgang Schröder-Preikschat, Wanja Hofer, Daniel LohmannProceedings of the 20th IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '14)IEEE Computer Society Press2014.
PDF 10.1109/RTAS.2014.6925989 [BibTex]

×

BibTex Entry

@inproceedings{danner:14:rtas,
location = {Washington, DC, USA},
author = {Daniel Danner and Rainer M{ü}ller and Wolfgang Schr{ö}der-Preikschat and Wanja Hofer and Daniel Lohmann},
booktitle = {Proceedings of the 20th IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '14)},
category = {os-embedded, L4, InvasIC},
doi = {10.1109/RTAS.2014.6925989},
entrysubtype = {Conference},
pages = {37-47},
publisher = {IEEE Computer Society Press},
title = {{Safer Sloth}: Efficient, Hardware-Tailored Memory Protection},
year = {2014},
}

Close

2013

LCTES Conference A
A JVM for Soft-Error-Prone Embedded Systems

Isabella Stilkerich, Michael Strotz, Christoph Erhardt, Martin Hoffmann, Daniel Lohmann, Fabian Scheler, Wolfgang Schröder-PreikschatProceedings of the 2013 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '13)ACM Press2013.
PDF 10.1145/2465554.2465571 [BibTex]

×

BibTex Entry

@inproceedings{stilkerich:13:lctes,
location = {New York, NY, USA},
author = {Isabella Stilkerich and Michael Strotz and Christoph Erhardt and Martin Hoffmann and Daniel Lohmann and Fabian Scheler and Wolfgang Schröder-Preikschat},
booktitle = {Proceedings of the 2013 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '13)},
category = {i4,java, L4, DanceOS, KESO},
doi = {10.1145/2465554.2465571},
entrysubtype = {Conference},
isbn = {978-1-4503-2085-6},
month = {June},
pages = {21–32},
publisher = {ACM Press},
title = {A {JVM} for Soft-Error-Prone Embedded Systems},
venue = {Seattle, Washington, USA},
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

NDSS Conference A*
Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring

Anil Kurmus, Reinhard Tartler, Daniela Dorneanu, Bernhard Heinloth, Valentin Rothberg, Andreas Ruprecht, Wolfgang Schröder-Preikschat, Daniel Lohmann, Rüdiger KapitzaProceedings of the 20th Network and Distributed Systems Security SymposiumThe Internet Society2013.
PDF [BibTex]

×

BibTex Entry

@inproceedings{kurmus:13:ndss,
ar = {18\%},
author = {Anil Kurmus and Reinhard Tartler and Daniela Dorneanu and Bernhard Heinloth and Valentin Rothberg and Andreas Ruprecht and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann and R{ü}diger Kapitza},
booktitle = {Proceedings of the 20th Network and Distributed Systems Security Symposium},
entrysubtype = {Conference},
eventdate = {2013-02-24/2013-02-27},
publisher = {The Internet Society},
title = {Attack Surface Metrics and Automated Compile-Time {OS} Kernel Tailoring},
url = {https://www.ndss-symposium.org/ndss2013/attack-surface-metrics-and-automated-compile-time-os-kernel-tailoring},
venue = {San Diego, CA, USA},
year = {2013},
}

Close

2012

RTSS Conference A*
Sloth on Time: Efficient Hardware-Based Scheduling for Time-Triggered RTOS

Wanja Hofer, Daniel Danner, Rainer Müller, Fabian Scheler, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 33rd IEEE International Symposium on Real-Time Systems (RTSS '12)IEEE Computer Society Press2012.
PDF 10.1109/RTSS.2012.75 [BibTex]

×

BibTex Entry

@inproceedings{hofer:12:rtss,
author = {Wanja Hofer and Daniel Danner and Rainer M{ü}ller and Fabian Scheler and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
booktitle = {Proceedings of the 33rd IEEE International Symposium on Real-Time Systems (RTSS '12)},
category = {os-embedded, L4, InvasIC},
doi = {10.1109/RTSS.2012.75},
entrysubtype = {Conference},
eventdate = {2012-12-04/2012-12-07},
isbn = {978-0-7695-4869-2},
month = {December},
pages = {237–247},
publisher = {IEEE Computer Society Press},
title = {{Sloth on Time}: Efficient Hardware-Based Scheduling for Time-Triggered {RTOS}},
venue = {San Juan, Puerto Rico},
year = {2012},
}

Close

2011

RTSS Conference A*
Sleepy Sloth: Threads as Interrupts as Threads

Wanja Hofer, Daniel Lohmann, Wolfgang Schröder-PreikschatProceedings of the 32nd IEEE International Symposium on Real-Time Systems (RTSS '11)IEEE Computer Society Press2011.
PDF 10.1109/RTSS.2011.14 [BibTex]

×

BibTex Entry

@inproceedings{hofer:11:rtss,
author = {Wanja Hofer and Daniel Lohmann and Wolfgang Schr{ö}der-Preikschat},
booktitle = {Proceedings of the 32nd IEEE International Symposium on Real-Time Systems (RTSS '11)},
category = {os-embedded, L4, InvasIC},
doi = {10.1109/RTSS.2011.14},
entrysubtype = {Conference},
eventdate = {2011-11-29/2011-12-02},
isbn = {978-0-7695-4591-2},
month = {December},
pages = {67–77},
publisher = {IEEE Computer Society Press},
title = {{Sleepy Sloth}: Threads as Interrupts as Threads},
venue = {Vienna, Austria},
year = {2011},
}

Close

EuroSys Conference A
Feature Consistency in Compile-Time-Configurable System Software: Facing the Linux 10,000 Feature Problem

Reinhard Tartler, Daniel Lohmann, Julio Sincero, Wolfgang Schröder-PreikschatProceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2011 (EuroSys '11)ACM Press2011.
PDF 10.1145/1966445.1966451 [BibTex]

×

BibTex Entry

@inproceedings{tartler:11:eurosys,
location = {New York, NY, USA},
ar = {15\% (24/161)},
author = {Reinhard Tartler and Daniel Lohmann and Julio Sincero and Wolfgang Schröder-Preikschat},
booktitle = {Proceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2011 (EuroSys '11)},
category = {se-vm,I4},
doi = {10.1145/1966445.1966451},
editor = {Christoph M. Kirsch and Gernot Heiser},
entrysubtype = {Conference},
isbn = {978-1-4503-0634-8},
month = {April},
numpages = {14},
pages = {47-60},
publisher = {ACM Press},
title = {Feature Consistency in Compile-Time-Configurable System Software: Facing the {Linux} 10,000 Feature Problem},
venue = {Salzburg, Austria},
year = {2011},
}

Close

AOSD Conference A
Aspect-Aware Operating-System Development

Daniel Lohmann, Wanja Hofer, Wolfgang Schröder-Preikschat, Olaf SpinczykProceedings of the 10th International Conference on Aspect-Oriented Software Development (AOSD '11)ACM Press2011.
PDF 10.1145/1960275.1960285 [BibTex]

×

BibTex Entry

@inproceedings{lohmann:11:aosd,
location = {New York, NY, USA},
ar = {23\% (21/92)},
author = {Daniel Lohmann and Wanja Hofer and Wolfgang Schr{ö}der-Preikschat and Olaf Spinczyk},
booktitle = {Proceedings of the 10th International Conference on Aspect-Oriented Software Development (AOSD '11)},
category = {L4, DanceOS},
doi = {10.1145/1960275.1960285},
editor = {Shigeru Chiba},
entrysubtype = {Conference},
isbn = {978-1-4503-0605-8},
pages = {69–80},
publisher = {ACM Press},
title = {Aspect-Aware Operating-System Development},
venue = {Porto de Galinhas, Brazil},
year = {2011},
}

Close

2010

AOSD Conference A
The aspect-oriented design of the PUMA C/C++ parser framework

Matthias Urban, Daniel Lohmann, Olaf SpinczykProceedings of the 9th International Conference on Aspect-Oriented Software Development (AOSD '10)ACM Press2010.
PDF 10.1145/1739230.1739256 [BibTex]

×

BibTex Entry

@inproceedings{urban:10:aosd,
location = {New York, NY, USA},
author = {Urban, Matthias and Lohmann, Daniel and Spinczyk, Olaf},
booktitle = {Proceedings of the 9th International Conference on Aspect-Oriented Software Development (AOSD '10)},
doi = {10.1145/1739230.1739256},
entrysubtype = {Conference},
isbn = {978-1-60558-958-9},
keywords = {L4, aop-c++, aop-ac++},
pages = {217–221},
publisher = {ACM Press},
title = {The aspect-oriented design of the {PUMA} {C}/{C}++ parser framework},
venue = {Rennes and Saint-Malo, France},
year = {2010},
}

Close

2009

RTSS Conference A*
Sloth: Threads as Interrupts

Wanja Hofer, Daniel Lohmann, Fabian Scheler, Wolfgang Schröder-PreikschatProceedings of the 30th IEEE International Symposium on Real-Time Systems (RTSS '09)IEEE Computer Society Press2009.
PDF 10.1109/RTSS.2009.18 [BibTex]

×

BibTex Entry

@inproceedings{hofer:09:rtss,
ar = {21\% (44/197)},
author = {Wanja Hofer and Daniel Lohmann and Fabian Scheler and Wolfgang Schr{ö}der-Preikschat},
booktitle = {Proceedings of the 30th IEEE International Symposium on Real-Time Systems (RTSS '09)},
category = {os-embedded, L4},
doi = {10.1109/RTSS.2009.18},
entrysubtype = {Conference},
eventdate = {2009-12-01/2009-12-04},
isbn = {978-0-7695-3875-4},
month = {December},
pages = {204–213},
publisher = {IEEE Computer Society Press},
title = {Sloth: Threads as Interrupts},
venue = {Washington, D.C., USA},
year = {2009},
}

Close

USENIX Conference A
CiAO: An Aspect-Oriented Operating-System Family for Resource-Constrained Embedded Systems

Daniel Lohmann, Wanja Hofer, Wolfgang Schröder-Preikschat, Jochen Streicher, Olaf SpinczykProceedings of the 2009 USENIX Annual Technical Conference USENIX Association2009.
PDF [BibTex]

×

BibTex Entry

@inproceedings{lohmann:09:usenix,
location = {Berkeley, CA, USA},
ar = {16\% (32/192)},
author = {Daniel Lohmann and Wanja Hofer and Wolfgang Schröder-Preikschat and Jochen Streicher and Olaf Spinczyk},
booktitle = {Proceedings of the 2009 USENIX Annual Technical Conference },
category = {ciao, os-aop, aop, aop-ac++, L4},
entrysubtype = {Conference},
isbn = {978-1-931971-68-3},
month = {June},
pages = {215–228},
publisher = {USENIX Association},
title = {{CiAO}: An Aspect-Oriented Operating-System Family for Resource-Constrained Embedded Systems},
year = {2009},
}

Close

CASES Conference A
Parallel, Hardware-Supported Interrupt Handling in an Event-Triggered Real-Time Operating System

Fabian Scheler, Wanja Hofer, Benjamin Oechslein, Rudi Pfister, Wolfgang Schröder-Preikschat, Daniel LohmannProceedings of the 2009 International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES '09)ACM Press2009.
PDF 10.1145/1629395.1629419 [BibTex]

×

BibTex Entry

@inproceedings{scheler:09:cases,
location = {New York, NY, USA},
ar = {40\% (29/72)},
author = {Fabian Scheler and Wanja Hofer and Benjamin Oechslein and Rudi Pfister and Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann},
booktitle = {Proceedings of the 2009 International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES '09)},
category = {l4,rts,rts-et},
doi = {10.1145/1629395.1629419},
entrysubtype = {Conference},
isbn = {0-7695-2400-1},
pages = {59–67},
publisher = {ACM Press},
title = {Parallel, Hardware-Supported Interrupt Handling in an Event-Triggered Real-Time Operating System},
venue = {Grenoble, France},
year = {2009},
}

Close

2007

HICSS Conference A
Modular Integration through Aspects: Making Cents of Legacy Systems

Celina Gibbs, Daniel Lohmann, Robin Liu, Yvonne CoadyProceedings of the 40th Hawaii International Conference on System Sciences (HICSS '07) - Clinical Process and Data Integration and EvolutionIEEE Computer Society Press2007.
PDF 10.1109/HICSS.2007.390 [BibTex]

×

BibTex Entry

@inproceedings{gibbs:07:hicss-cpeid,
author = {Celina Gibbs and Daniel Lohmann and Robin Liu and Yvonne Coady},
booktitle = {Proceedings of the 40th Hawaii International Conference on System Sciences (HICSS '07) - Clinical Process and Data Integration and Evolution},
category = {aop, L4},
doi = {10.1109/HICSS.2007.390},
editor = {Jeff Sutherland and Willem-Jan van den Heuvel},
entrysubtype = {Conference},
nc = {101},
publisher = {IEEE Computer Society Press},
title = {Modular Integration through Aspects: Making Cents of Legacy Systems},
year = {2007},
}

Close

2006

EuroSys Conference A
A Quantitative Analysis of Aspects in the eCos Kernel

Daniel Lohmann, Fabian Scheler, Reinhard Tartler, Olaf Spinczyk, Wolfgang Schröder-PreikschatProceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2006 (EuroSys '06)ACM Press2006.
PDF 10.1145/1218063.1217954 [BibTex]

×

BibTex Entry

@inproceedings{lohmann:06:eurosys,
location = {New York, NY, USA},
ar = {20\% (29/144)},
author = {Daniel Lohmann and Fabian Scheler and Reinhard Tartler and Olaf Spinczyk and Wolfgang Schröder-Preikschat},
booktitle = {Proceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2006 (EuroSys '06)},
category = {os-aop, aop, aop-dynamic, aop-ac++, L4},
doi = {10.1145/1218063.1217954},
editor = {Yolande Berbers and Willy Zwaenepoel},
entrysubtype = {Conference},
isbn = {1-59593-322-0},
month = {April},
pages = {191–204},
publisher = {ACM Press},
title = {A Quantitative Analysis of Aspects in the {eCos} Kernel},
venue = {Leuven, Belgium},
year = {2006},
}

Close

HICSS Conference A
Static and Dynamic Weaving in System Software with AspectC++

Wolfgang Schröder-Preikschat, Daniel Lohmann, Wasif Gilani, Fabian Scheler, Olaf SpinczykProceedings of the 39th Hawaii International Conference on System Sciences (HICSS '06) - Track 9IEEE Computer Society Press2006.
PDF 10.1109/HICSS.2006.437 [BibTex]

×

BibTex Entry

@inproceedings{schroeder:06:hicss-aess,
author = {Wolfgang Schr{ö}der-Preikschat and Daniel Lohmann and Wasif Gilani and Fabian Scheler and Olaf Spinczyk},
booktitle = {Proceedings of the 39th Hawaii International Conference on System Sciences (HICSS '06) - Track 9},
category = {os-aop, aop, aop-dynamic, aop-ac++, L4},
doi = {10.1109/HICSS.2006.437},
editor = {Yvonne Coady and Jeff Gray and Raymond Klefstad},
entrysubtype = {Conference},
nc = {90},
publisher = {IEEE Computer Society Press},
title = {Static and Dynamic Weaving in System Software with {AspectC++}},
year = {2006},
}

Close