Publications (2010 - 2014)

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