Publications (2015 - 2019)

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

Thesis
Interaction-Aware Analysis and Optimization of Real-Time Application and Operating System

Christian Dietrich PHD thesisLeibniz Universität Hannover2019.
PDF 10.15488/7253 [BibTex]

🗙

BibTex Entry

@thesis{dietrich:19:phd,
author = {Christian Dietrich},
doi = {10.15488/7253},
entrysubtype = {Thesis},
institution = {Leibniz Universität Hannover},
title = {Interaction-Aware Analysis and Optimization of Real-Time Application and Operating System},
url = {https://www.repo.uni-hannover.de/handle/123456789/7306},
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

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

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

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

Peter Wägemann, Christian Dietrich, Tobias Distler, Peter Ulbrich, Wolfgang Schröder-PreikschatDagstuhl Artifacts Series4.2Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik2018.
10.4230/DARTS.4.2.7 [BibTex]

🗙

BibTex Entry

@article{waegemann:18:darts,
location = {Dagstuhl, Germany},
annote = {Keywords: energy-constrained real-time systems, worst-case energy consumption (WCEC), worst-case response energy consumption (WCRE), static whole-system analysi},
author = {Peter W{ä}gemann and Christian Dietrich and Tobias Distler and Peter Ulbrich and Wolfgang Schr{ö}der-Preikschat},
doi = {10.4230/DARTS.4.2.7},
entrysubtype = {Artifact},
issn = {2509-8195},
journaltitle = {Dagstuhl Artifacts Series},
number = {2},
pages = {7:1–7:4},
publisher = {Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik},
title = {{Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact)}},
url = {http://drops.dagstuhl.de/opus/volltexte/2018/8975},
urn = {urn:nbn:de:0030-drops-89756},
volume = {4},
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

FMCAD Conference
Automatic Verification of Application-Tailored OSEK Kernels

Hans-Peter Deifel, Christian Dietrich, Merlin Göttlinger, Daniel Lohmann, Stefan Milius, Lutz SchröderProceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD '17)ACM Press2017.
PDF 10.23919/FMCAD.2017.8102260 [BibTex]

🗙

BibTex Entry

@inproceedings{deifel:17:fmcad,
location = {New York, NY, USA},
author = {Hans-Peter Deifel and Christian Dietrich and Merlin Göttlinger and Daniel Lohmann and Stefan Milius and Lutz Schröder},
booktitle = {Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD '17)},
doi = {10.23919/FMCAD.2017.8102260},
entrysubtype = {Conference},
month = {November},
pages = {1-8},
publisher = {ACM Press},
title = {Automatic Verification of Application-Tailored {OSEK} Kernels},
venue = {Vienna, Austria},
year = {2017},
}

Close

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

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

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

ESE Invited Talk
SysWCET: Ende-zu-Ende-Antwortzeiten für OSEK-Systeme

Christian Dietrich, Peter WägemannTagungsband des Embedded Software Engineering Kongress 20172017.
PDF Slides [BibTex]

🗙

BibTex Entry

@inproceedings{dietrich:17:ese,
location = {Sindelfingen, Germany},
author = {Christian Dietrich and Peter Wägemann},
booktitle = {Tagungsband des Embedded Software Engineering Kongress 2017},
entrysubtype = {Invited Talk},
title = {SysWCET: Ende-zu-Ende-Antwortzeiten f{ü}r OSEK-Systeme},
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

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

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

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

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