Publications of Daniel Lohmann

The following lists all my publications since 2003. Look here for a more comprehensive list of selected publications by research topic.

2017

FMCAD Conference
Automatic Verification of Application-Tailored OSEK Kernels.
Hans-Peter Deifel, Christian Dietrich, Merlin Göttlinger, Daniel Lohmann, Stefan Milius, Lutz Schröder; In: Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD '17); ACM Press, 2017.
[PDF] [BibTex]
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 Rech; In: Proceedings of the 2017 Conference on Architecture of Computing Systems (ARCS '17); Springer-Verlag, 2017.
[PDF] [10.1007/978-3-319-54999-6_1] [BibTex]
TECS Journal
Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis.
Christian Dietrich, Martin Hoffmann, Daniel Lohmann; ACM Transactions on Embedded Computing Systems 16.2; ACM Press, 2017.
[PDF] [Raw Data] [10.1145/2950053] [BibTex]
OSPERT Workshop
Look Mum, no VM Exits! (Almost).
Ralf Ramsauer, Jan Kiszka, Daniel Lohmann, Wolfgang Mauerer; In: Proceedings of the 13th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '17)); 2017.
[PDF] [Slides] [BibTex]
LCTES Conference
OSEK-V: Application-Specific RTOS Instantiation in Hardware.
Christian Dietrich, Daniel Lohmann; In: Proceedings of the 2017 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '17); ACM Press, 2017.
[PDF] [Raw Data] [10.1145/3078633.3078637] [BibTex]
RTAS Conference Outstanding Paper Award
SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems.
Christian Dietrich, Peter Wägemann, Peter Ulbrich, Daniel Lohmann; In: Proceedings of the 23rd IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '17); IEEE Computer Society Press, 2017. Outstanding Paper Award.
[PDF] [Raw Data] [10.1109/RTAS.2017.37] [BibTex]
USENIX Conference Best Paper Award
cHash: Detection of Redundant Compilations via AST Hashing.
Christian Dietrich, Valentin Rothberg, Ludwig Füracker, Andreas Ziegler, Daniel Lohmann; In: Proceedings of the 2017 USENIX Annual Technical Conference; USENIX Association, 2017. Best Paper Award.
[PDF] [Slides] [Raw Data] [BibTex]

2016

Workshop
A Memory Management Library for CT-Reconstruction on GPUs.
Hao Wu, Martin Berger, Andreas Maier, Daniel Lohmann; In: Bildverarbeitung für die Medizin; 2016.
[10.1007/978-3-662-49465-3_37] [BibTex]
VAMOS Workshop
Analyzing the Impact of Feature Changes in Linux.
Andreas Ziegler, Valentin Rothberg, Daniel Lohmann; In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems; 2016.
[PDF] [10.1145/2866614.2866618] [BibTex]
Technical Report
Architecture-Violation Management for Internal Software Ecosystems: An Industry Case Study.
Klaus-Benedikt Schultis, Christoph Elsner, Daniel Lohmann; 2016.
[PDF] [BibTex]
WICSA Conference
Architecture-Violation Management for Internal Software Ecosystems.
Klaus-Benedikt Schultis, Christoph Elsner, Daniel Lohmann; In: Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture (WICSA '16)); 2016.
[10.1109/WICSA.2016.16] [BibTex]
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-Preikschat; Software Quality Journal; Springer US, 2016.
[PDF] [10.1007/s11219-014-9260-4] [BibTex]
VAMOS Workshop
Feature Models in Linux - From Symbols to Semantic.
Valentin Rothberg, Nicolas Dintzner, Andreas Ziegler, Daniel Lohmann; In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems; 2016.
[PDF] [10.1145/2866614.2866624] [BibTex]
DSPL Workshop
Function Multiverses for Dynamic Variability.
Valentin Rothberg, Christian Dietrich, Alexander Graf, Daniel Lohmann; In: Foundations and Applications of Self* Systems; 2016.
[PDF] [BibTex]
OpenSym Conference
Observing Custom Software Modifications: A Quantitative Approach of Tracking the Evolution of Patch Stacks.
Ralf Ramsauer, Daniel Lohmann, Wolfgang Mauerer; In: Proceedings of the 12th International Symposium on Open Collaboration (OpenSym '16)); 2016.
[10.1145/2957792.2957810] [BibTex]
it Journal
Providing Security on Demand Using Invasive Computing.
Gabor Drescher, Christoph Erhardt, Felix Freiling, Johannes Götzfried, Daniel Lohmann, Pieter Maene, Tilo Müller, Ingrid Verbauwhede, Andreas Weichslgartner, Stefan Wildermann; In: it - Special issue on Invasive Computing; it - Information Technology 58.6; De Gruyter Oldenbourg, 2016.
[10.1515/itit-2016-0032] [BibTex]
GPCE Conference
Towards Scalable Configuration Testing in Variable Software.
Valentin Rothberg, Christian Dietrich, Andreas Ziegler, Daniel Lohmann; In: Proceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences; 2016.
[PDF] [10.1145/2993236.2993252] [BibTex]

2015

HIS Workshop
A Graph-Partition–Based Scheduling Policy for Heterogeneous Architectures.
Hao Wu, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: Proceedings of the DATE Friday Workshop on Heterogeneous Architectures and Design Methods for Embedded Image Systems (HIS '15)); 2015.
[PDF] [BibTex]
RTAS Conference
AUTOBEST: A United AUTOSAR-OS and ARINC 653 Kernel.
Alexander Zuepke, Marc Bommert, Daniel Lohmann; In: Proceedings of the 21st IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '15); IEEE Computer Society Press, 2015.
[PDF] [10.1109/RTAS.2015.7108435] [BibTex]
OSPERT Workshop
Back to the Roots: Implementing the RTOS as a Specialized State Machine.
Christian Dietrich, Martin Hoffmann, Daniel Lohmann; In: Proceedings of the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '15)); 2015.
[PDF] [BibTex]
LCTES Conference
Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems.
Christian Dietrich, Martin Hoffmann, Daniel Lohmann; In: Proceedings of the 2015 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '15); ACM Press, 2015.
[PDF] [Raw Data] [10.1145/2670529.2754963] [BibTex]
X10 Workshop
Cutting out the Middleman: OS-level Support for x10 Activities.
Manuel Mohr, Sebastian Buchwald, Andreas Zwinkau, Christoph Erhardt, Benjamin Oechslein, Jens Schedel, Daniel Lohmann; In: Proceedings of the ACM SIGPLAN Workshop on X10; ACM Press, 2015.
[10.1145/2771774.2771775] [BibTex]
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 Spinczyk; In: Proceedings of the 11th European Dependable Computing Conference (EDCC '15); 2015.
[PDF] [BibTex]
GPCE Conference
Lightweight, Generative Variant Exploration for High-Performance Graphics Applications.
Kai Selgrad, Alexander Lier, Franz Köferl, Marc Stamminger, Daniel Lohmann; In: Proceedings of the 14th International Conference on Generative Programming and Component Engineering (GPCE '15); ACM Press, 2015.
[10.1145/2814204.2814220] [BibTex]
it Journal
Multi-layer software reliability for unreliable hardware.
Muhammad Shafique, Philip Axer, Christoph Borchert, Jian-Jia Chen, Kuan-Hsun Chen, Björn Döbel, Rolf Ernst, Hermann Härtig, Andreas Heinig, Rüdiger Kapitza, Florian Kriebel, Daniel Lohmann, Peter Marwedel, Semeen Rehman, Florian Schmoll, Olaf Spinczyk; it - Information Technology 57.3; De Gruyter, 2015.
[10.1515/itit-2014-1081] [BibTex]
JSA Journal
Resource Awareness on Heterogeneous MPSoCs for Image Processing.
Johny Paul, Walter Stechele, Benjamin Oechslein, Christoph Erhardt, Jens Schedel, Daniel Lohmann, Wolfgang Schröder-Preikschat, Manfred Kröhnert, Tamim Asfour, Éricles Sousa, Vahid Lari, Frank Hannig, Jürgen Teich, Artjum Grundnitsky, Lars Bauer, Jörg Henkel; Journal of Systems Architecture 61.10; Elsevier, 2015.
[10.1016/j.sysarc.2015.09.002] [BibTex]
JSA Journal
Self-Adaptive Corner Detection on MPSoC Through Resource-Aware Programming.
Johny Paul, Benjamin Oechslein, Christoph Erhardt, Jens Schedel, Manfred Kröhnert, Daniel Lohmann, Walter Stechele, Tamim Asfour, Wolfgang Schröder-Preikschat; Journal of Systems Architecture 61.10; Elsevier, 2015.
[10.1016/j.sysarc.2015.07.011] [BibTex]
OSR Journal
The dataref versuchung.
Christian Dietrich, Daniel Lohmann; ACM SIGOPS Operating Systems Review; ACM Press, 2015.
[PDF] [10.1145/2723872.2723880] [BibTex]
Workshop
dOSEK: Maßgeschneiderte Zuverlässigkeit.
Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel Lohmann; In: Betriebssysteme und Echtzeit; Springer, 2015.
[10.1007/978-3-662-48611-5_8] [BibTex]
RTAS Conference Best Paper Award
dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel.
Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel Lohmann; In: Proceedings of the 21st IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '15); IEEE Computer Society Press, 2015. Best Paper Award.
[PDF] [10.1109/RTAS.2015.7108449] [BibTex]

2014

HASE Conference
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-Preikschat; In: Proceedings of the 15th IEEE International Symposium on High-Assurance Systems Engineering (HASE '14); IEEE Computer Society Press, 2014.
[PDF] [10.1109/HASE.2014.14] [BibTex]
FSE Conference Distinguished Paper Award
Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study.
Klaus-Benedikt Schultis, Christoph Elsner, Daniel Lohmann; In: Proceedings of the 22nd International Symposium on Foundations of Software Engineering (FSE '14); ACM Press, 2014. Distinguished Paper Award.
[PDF] [10.1145/2635868.2635876] [BibTex]
GPCE Conference
Automatic Feature Selection in Large-Scale System-Software Product Lines.
Andreas Ruprecht, Bernhard Heinloth, Daniel Lohmann; In: Proceedings of the 13th International Conference on Generative Programming and Component Engineering (GPCE '14); ACM Press, 2014.
[PDF] [10.1145/2658761.2658767] [BibTex]
DCDV
Crosscheck: Hardening replicated multithreaded services.
Arthur Martens, Christoph Borchert, Tobias Oliver Geißler, Daniel Lohmann, Olaf Spinczyk, Rüdiger Kapitza; In: Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV '14)); IEEE Computer Society Press, 2014.
[PDF] [BibTex]
ELS Conference
Defmacro for C: Lightweight, Ad-Hoc Code Generation.
Kai Selgrad, Alexander Lier, Markus Wittmann, Daniel Lohmann, Marc Stamminger; In: Proceedings of the 7th European Lisp Symposium (ELS '14)); 2014.
[PDF] [Slides] [BibTex]
ISORC Conference
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 Lohmann; In: Proceedings of the 17th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '14); IEEE Computer Society Press, 2014.
[PDF] [10.1109/ISORC.2014.26] [BibTex]
Exploiting determinism for efficient protection against arbitrary state corruptions.
Arthur Martens, Christoph Borchert, Oliver Geissler, Daniel Lohmann, Olaf Spinczyk, Rüdiger Kapitza; 2014.
[PDF] [BibTex]
ECRTS Conference
MultiSloth: An Efficient Multi-Core RTOS using Hardware-Based Scheduling.
Rainer Müller, Daniel Danner, Wolfgang Schröder-Preikschat, Daniel Lohmann; In: Proceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS '14); IEEE Computer Society Press, 2014.
[PDF] [10.1109/ECRTS.2014.30] [BibTex]
EuroSys Poster
OctoPOS: A Hardware-Assisted OS for Many-Cores.
Benjamin Oechslein, Christoph Erhardt, Jens Schedel, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: EuroSys 2014; 2014. Poster.
[BibTex]
ARCS Conference
Resource-Aware Harris Corner Detection based on Adaptive Pruning.
Johny Paul, Walter Stechele, Manfred Kröhnert, Tamim Asfour, Benjamin Oechslein, Christoph Erhardt, Jens Schedel, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: Proceedings of the 2014 Conference on Architecture of Computing Systems (ARCS '14); Springer-Verlag, 2014.
[10.1007/978-3-319-04891-8] [BibTex]
RTAS Conference
Safer Sloth: Efficient, Hardware-Tailored Memory Protection.
Daniel Danner, Rainer Müller, Wolfgang Schröder-Preikschat, Wanja Hofer, Daniel Lohmann; In: Proceedings of the 20th IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '14); IEEE Computer Society Press, 2014.
[PDF] [BibTex]
USENIX Conference
Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue.
Reinhard Tartler, Christian Dietrich, Julio Sincero, Wolfgang Schröder-Preikschat, Daniel Lohmann; In: Proceedings of the 2014 USENIX Annual Technical Conference; USENIX Association, 2014.
[PDF] [Raw Data] [BibTex]
Thesis
Tailorable System Software.
Daniel Lohmann; Habilitationsschrift at: Friedrich-Alexander-Universität Erlangen-Nürnberg, Technische Fakultät; 2014.
[PDF] [BibTex]

2013

LCTES Conference
A JVM for Soft-Error-Prone Embedded Systems.
Isabella Stilkerich, Michael Strotz, Christoph Erhardt, Martin Hoffmann, Daniel Lohmann, Fabian Scheler, Wolfgang Schröder-Preikschat; In: Proceedings of the 2013 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '13); ACM Press, 2013.
[PDF] [10.1145/2465554.2465571] [BibTex]
DASIP Conference
A Resource-Aware Nearest Neighbor Search Algorithm for K-Dimensional Trees.
Johny Paul, Walter Stechele, Manfred Kröhnert, Tamim Asfour, Benjamin Oechslein, Chritoph Erhardt, Jens Schedel, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: Proceedings of the 2013 Conference on Design & Architectures for Signal and Image Processing (DASIP '13); IEEE Computer Society Press, 2013.
[BibTex]
NDSS Conference
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 Kapitza; In: Proceedings of the 20th Network and Distributed Systems Security Symposium; The Internet Society, 2013.
[PDF] [BibTex]
SOBRES Workshop
Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience.
Martin Hoffmann, Christian Dietrich, Daniel Lohmann; In: Proceedings of the 2nd International Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13)); Gesellschaft für Informatik, 2013.
[PDF] [BibTex]
MSR Conference
Linux Variability Anomalies: What Causes Them and How Do They Get Fixed?.
Sarah Nadi, Christian Dietrich, Reinhard Tartler, Ric Holt, Daniel Lohmann; In: Proceedings of the 10th Working Conference on Mining Software Repositories (MSR '13)); IEEE Computer Society Press, 2013.
[PDF] [10.1109/MSR.2013.6624017] [BibTex]
PLEASE Workshop
Moving Towards Industrial Software Ecosystems: Are Our Software Architectures Fit for the Future?.
Klaus-Benedikt Schultis, Christoph Elsner, Daniel Lohmann; In: Proceedings of the 4th International Workshop on Product LinE Approaches in Software Engineering (ICSE-PLEASE '13); 2013.
[PDF] [10.1109/PLEASE.2013.6608655] [BibTex]
PRDC Workshop
dOSEK: A Dependable RTOS for Automotive Applications.
Martin Hoffmann, Christian Dietrich, Daniel Lohmann; In: Proceedings of the 19th International Symposium on Dependable Computing (PRDC '13)); IEEE Computer Society Press, 2013. Fast abstract.
[PDF] [10.1109/PRDC.2013.22] [BibTex]

2012

SPLC Conference
A Robust Approach for Variability Extraction from the Linux Build System.
Christian Dietrich, Reinhard Tartler, Wolfgang Schröder-Preikschat, Daniel Lohmann; In: Proceedings of the 16th Software Product Line Conference (SPLC '12); ACM Press, 2012.
[PDF] [10.1145/2362536.2362544] [BibTex]
HotDep Workshop
Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability.
Reinhard Tartler, Anil Kurmus, Bernard Heinloth, Valentin Rothberg, Andreas Ruprecht, Daniela Doreanu, Rüdiger Kapitza, Wolfgang Schröder-Preikschat, Daniel Lohmann; In: Proceedings of the 8th International Workshop on Hot Topics in System Dependability (HotDep '12); USENIX Association, 2012.
[PDF] [BibTex]
MobiSys Conference
CiAO/IP: A Highly Configurable Aspect-Oriented IP Stack.
Christoph Borchert, Daniel Lohmann, Olaf Spinczyk; In: Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services (MobiSys '12); ACM Press, 2012.
[PDF] [10.1145/2307636.2307676] [BibTex]
OSR Journal
Configuration Coverage in the Analysis of Large-Scale System Software.
Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, Julio Sincero; ACM SIGOPS Operating Systems Review 45.3; ACM Press, 2012.
[PDF] [10.1145/2094091.2094095] [BibTex]
EDCC Conference
Eliminating Single Points of Failure in Software-Based Redundancy.
Peter Ulbrich, Martin Hoffmann, Rüdiger Kapitza, Daniel Lohmann, Wolfgang Schröder-Preikschat, Reiner Schmid; In: Proceedings of the 9th European Dependable Computing Conference (EDCC '12); IEEE Computer Society Press, 2012.
[PDF] [10.1109/EDCC.2012.21] [BibTex]
Workshop
FAIL*: Towards a Versatile Fault-Injection Experiment Framework.
Horst Schirmeier, Martin Hoffmann, Rüdiger Kapitza, Daniel Lohmann, Olaf Spinczyk; In: 25th International Conference on Architecture of Computing Systems (ARCS '12), Workshop Proceedings; Gesellschaft für Informatik, 2012.
[PDF] [BibTex]
Journal
Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software.
Reinhard Tartler, Julio Sincero, Christian Dietrich, Wolfgang Schröder-Preikschat, Daniel Lohmann; International Journal on Software Tools for Technology Transfer (STTT) 14.5; Springer-Verlag, 2012.
[PDF] [10.1007/s10009-012-0225-2] [BibTex]
RTSS Conference
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 Lohmann; In: Proceedings of the 33rd IEEE International Symposium on Real-Time Systems (RTSS '12); IEEE Computer Society Press, 2012.
[PDF] [10.1109/RTSS.2012.75] [BibTex]
TAOSD Journal
The Aspect-Aware Design and Implementation of the CiAO Operating-System Family.
Daniel Lohmann, Olaf Spinczyk, Wanja Hofer, Wolfgang Schröder-Preikschat; In: Transactions on AOSD IX; Springer-Verlag, 2012.
[PDF] [10.1007/978-3-642-35551-6_5] [BibTex]
AOSD-MISS Workshop
Understanding Linux Feature Distribution.
Christian Dietrich, Reinhard Tartler, Wolfgang Schröder-Preikschat, Daniel Lohmann; In: Proceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS '12); ACM Press, 2012.
[PDF] [10.1145/2162024.2162030] [BibTex]

2011

Workshop
An Infrastructure for Composing Build Systems of Software Product Lines.
Christoph Elsner, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: Proceedings of the 15th Software Product Line Conference (SPLC '11), Volume 2; ACM Press, 2011. (MAPLE/SCALE '11 Proceedings).
[PDF] [10.1145/2019136.2019157] [BibTex]
AOSD Conference
Aspect-Aware Operating-System Development.
Daniel Lohmann, Wanja Hofer, Wolfgang Schröder-Preikschat, Olaf Spinczyk; In: Proceedings of the 10th International Conference on Aspect-Oriented Software Development (AOSD '11); ACM Press, 2011.
[PDF] [10.1145/1960275.1960285] [BibTex]
JTRES Workshop
Automated Application of Fault Tolerance Mechanisms in a Component-Based System.
Isabella Thomm, Michael Stilkerich, Rüdiger Kapitza, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: JTRES '11: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems; ACM Press, 2011.
[PDF] [10.1145/2043910.2043925] [BibTex]
PLOS Workshop
Configuration Coverage in the Analysis of Large-Scale System Software.
Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, Julio Sincero; In: Proceedings of the 6th Workshop on Programming Languages and Operating Systems (PLOS '11); ACM Press, 2011.
[PDF] [10.1145/2039239.2039242] [BibTex]
Book Chapter
Configuration of Non-Functional Properties in Embedded Operating Systems: The CiAO Approach.
Wanja Hofer, Julio Sincero, Daniel Lohmann, Wolfgang Schröder-Preikschat; IGI Global, 2011.
[PDF] [10.4018/978-1-60960-493-6] [BibTex]
DFR Workshop
DanceOS: Towards Dependability Aspects in Configurable Embedded Operating Systems.
Horst Schirmeier, Rüdiger Kapitza, Daniel Lohmann, Olaf Spinczyk; In: Proceedings of the 3rd HiPEAC Workshop on Design for Reliability (DFR '11); 2011.
[PDF] [BibTex]
CODES+ISSS Conference
Design and Architectures for Dependable Embedded Systems.
Jörg Henkel, Lars Bauer, Joachim Becker, Oliver Bringmann, Uwe Brinkschulte, Samarjit Chakraborty, Michael Engel, Rolf Ernst, Hermann Härtig, Lars Hedrich, Andreas Herkersdorf, Rüdiger Kapitza, Daniel Lohmann, Peter Marwedel, Marco Platzner, Wolfgang Rosenstiel, Ulf Schlichtmann, Olaf Spinczyk, Mehdi Tahoori, Jürgen Teich, Norbert Wehn, Hans-Joachim Wunderlich; In: Proceedings of the 9th IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '11)); ACM Press, 2011.
[10.1145/2039370.2039384] [BibTex]
CODES+ISSS Conference
DistRM: Distributed Resource Management for On-chip Many-Core Systems.
Sebastian Kobbe, Lars Bauer, Daniel Lohmann, Wolfgang Schröder-Preikschat, Jörg Henkel; In: Proceedings of the 9th IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '11)); ACM Press, 2011.
[10.1145/2039370.2039392] [BibTex]
ISORC Conference
Escaping the Bonds of the Legacy: Step-Wise Migration to a Type-Safe Language in Safety-Critical Embedded Systems.
Michael Stilkerich, Jens Schedel, Peter Ulbrich, Wolfgang Schröder-Preikschat, Daniel Lohmann; In: Proceedings of the 14th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '11); IEEE Computer Society Press, 2011.
[PDF] [10.1109/ISORC.2011.29] [BibTex]
JTRES Workshop
Exploiting Static Application Knowledge in a Java Compiler for Embedded Systems: A Case Study.
Christoph Erhardt, Michael Stilkerich, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: JTRES '11: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems; ACM Press, 2011.
[PDF] [10.1145/2043910.2043927] [BibTex]
EuroSys Conference
Feature Consistency in Compile-Time-Configurable System Software: Facing the Linux 10,000 Feature Problem.
Reinhard Tartler, Daniel Lohmann, Julio Sincero, Wolfgang Schröder-Preikschat; In: Proceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2011 (EuroSys '11); ACM Press, 2011.
[PDF] [10.1145/1966445.1966451] [BibTex]
SEAA
Fixing Configuration Inconsistencies Across File Type Boundaries.
Christoph Elsner, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA '11); IEEE Computer Society Press, 2011.
[PDF] [10.1109/SEAA.2011.26] [BibTex]
SFMA Workshop
OctoPOS: A Parallel Operating System for Invasive Computing.
Benjamin Oechslein, Jens Schedel, Jürgen Kleinöder, Lars Bauer, Jörg Henkel, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: Proceedings of the International Workshop on Systems for Future Multi-Core Architectures (SFMA'11); 2011.
[PDF] [BibTex]
TAOSD Journal
PUMA: An Aspect-Oriented Code Analysis and Manipulation Framework for C and C++.
Matthias Urban, Daniel Lohmann, Olaf Spinczyk; In: Transactions on AOSD VIII; Springer-Verlag, 2011.
[10.1007/978-3-642-22031-9_5] [BibTex]
PRDC Workshop
Revisiting Fault-Injection Experiment-Platform Architectures.
Horst Schirmeier, Martin Hoffmann, Rüdiger Kapitza, Daniel Lohmann, Olaf Spinczyk; In: Proceedings of the 17th International Symposium on Dependable Computing (PRDC '11); IEEE Computer Society Press, 2011. Fast abstract.
[PDF] [10.1109/PRDC.2011.46] [BibTex]
RTSS Conference
Sleepy Sloth: Threads as Interrupts as Threads.
Wanja Hofer, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: Proceedings of the 32nd IEEE International Symposium on Real-Time Systems (RTSS '11); IEEE Computer Society Press, 2011.
[PDF] [10.1109/RTSS.2011.14] [BibTex]

2010

Technical Report
An Algorithm for Quantifying the Program Variability Induced by Conditional Compilation.
Julio Sincero, Reinhard Tartler, Daniel Lohmann; 2010.
[PDF] [BibTex]
KnoSys Journal
AspectC++: An integrated approach for static and dynamic adaptation of system software.
Reinhard Tartler, Daniel Lohmann, Fabian Scheler, Olaf Spinczyk; Knowledge-Based Systems 23.7; 2010.
[PDF] [10.1016/j.knosys.2010.03.002] [BibTex]
IWMSE Workshop
Challenges in Operating-Systems Reengineering for Many Cores.
Michael Gernoth, Daniel Lohmann, Wolfgang Schröder-Preikschat, Julio Sincero, Reinhard Tartler, Dirk Wischermann; In: Proceedings of the 3rd International Workshop on Multicore Software Engineering (IWMSE '10); ACM Press, 2010.
[PDF] [10.1145/1808954.1808968] [BibTex]
OSDI Poster
Configurability Bugs in Linux: The 10000 Feature Challenge.
Reinhard Tartler, Julio Sincero, Christoph Egger, Wolfgang Schröder-Preikschat, Daniel Lohmann; 2010. Poster.
[PDF] [BibTex]
SPLC Best Paper Award
Consistent Product Line Configuration Across File Type and Product Line Boundaries.
Christoph Elsner, Peter Ulbrich, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: Proceedings of the 14th Software Product Line Conference (SPLC '10); Springer-Verlag, 2010. Best Paper Award.
[PDF] [10.1007/978-3-642-15579-6_13] [BibTex]
GPCE Conference
Efficient Extraction and Analysis of Preprocessor-Based Variability.
Julio Sincero, Reinhard Tartler, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: Proceedings of the 9th International Conference on Generative Programming and Component Engineering (GPCE '10); ACM Press, 2010.
[PDF] [10.1145/1868294.1868300] [BibTex]
EuroSys Poster
Facing the Linux 8000 Feature Nightmare.
Julio Sincero, Reinhard Tartler, Christoph Egger, Wolfgang Schröder-Preikschat, Daniel Lohmann; 2010. Talk & Poster.
[PDF] [BibTex]
IIDS Workshop
Gradual Software-Based Memory Protection.
Michael Stilkerich, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: Proceedings of the Workshop on Isolation and Integration for Dependable Systems (IIDS '10)); ACM Press, 2010.
[PDF] [BibTex]
SPLC Poster
Leviathan: SPL Support on Filesystem Level.
Wanja Hofer, Christoph Elsner, Frank Blendinger, Wolfgang Schröder-Preikschat, Daniel Lohmann; In: Proceedings of the 14th Software Product Line Conference (SPLC '10)); Springer-Verlag, 2010. Poster.
[PDF] [10.1007/978-3-642-15579-6_43] [BibTex]
OSDI Poster
Leviathan: Taming the #ifdef Beast in Linux et al..
Wanja Hofer, Christoph Elsner, Frank Blendinger, Wolfgang Schröder-Preikschat, Daniel Lohmann; 2010. Poster.
[PDF] [BibTex]
CARS Workshop
Memory Protection at Option.
Michael Stilkerich, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety; ACM Press, 2010.
[PDF] [10.1145/1772643.1772649] [BibTex]
SoMeT Conference
Multi-Level Product Line Customization.
Christoph Elsner, Christa Schwanninger, Wolfgang Schröder-Preikschat, Daniel Lohmann; In: Proceedings of the 2010 Conference on New Trends in Software Methodologies, Tools and Techniques (SoMeT '10)); IOS Press, 2010.
[PDF] [10.3233/978-1-60750-629-4-37] [BibTex]
AOSD Conference
The aspect-oriented design of the PUMA C/C++ parser framework.
Matthias Urban, Daniel Lohmann, Olaf Spinczyk; In: Proceedings of the 9th International Conference on Aspect-Oriented Software Development (AOSD '10)); ACM Press, 2010.
[PDF] [10.1145/1739230.1739256] [BibTex]
FOSD Workshop
Toolchain-Independent Variant Management with the Leviathan Filesystem.
Wanja Hofer, Christoph Elsner, Frank Blendinger, Wolfgang Schröder-Preikschat, Daniel Lohmann; In: Proceedings of the 2nd Workshop on Feature-Oriented Software Development (FOSD '10)); ACM Press, 2010.
[PDF] [10.1145/1868688.1868692] [BibTex]
VAMOS Workshop
Variability in Time – Product Line Variability and Evolution Revisited.
Christoph Elsner, Goetz Botterweck, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: Proceedings of the 4th International Workshop on Variability Modelling of Software-intensive Systems (VAMOS '10)); 2010.
[PDF] [BibTex]

2009

IIES Workshop
An Asynchronous Nonblocking Coordination and Synchronization Protocol for a Parallel Robotic Control Kernel.
Philippe Stellwag, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: Proceedings of the 2nd Workshop on Isolation and Integration in Embedded Systems (IIES '09)); ACM Press, 2009.
[PDF] [10.1145/1519130.1519132] [BibTex]
Thesis
Aspect Awareness in the Development of Configurable System Software.
Daniel Lohmann; PHD thesis at: Friedrich-Alexander-Universität Erlangen-Nürnberg, Technische Fakultät; 2009.
[PDF] [BibTex]
USENIX Conference
CiAO: An Aspect-Oriented Operating-System Family for Resource-Constrained Embedded Systems.
Daniel Lohmann, Wanja Hofer, Wolfgang Schröder-Preikschat, Jochen Streicher, Olaf Spinczyk; In: Proceedings of the 2009 USENIX Annual Technical Conference; USENIX Association, 2009.
[PDF] [BibTex]
FOSD Workshop
Dead or Alive: Finding zombie features in the Linux kernel.
Reinhard Tartler, Julio Sincero, Wolfgang Schröder-Preikschat, Daniel Lohmann; In: Proceedings of the 1st Workshop on Feature-Oriented Software Development (FOSD '09); ACM Press, 2009.
[PDF] [10.1145/1629716.1629732] [BibTex]
SoMeT Conference
Dynamic AspectC++: Generic Advice at Any Time.
Reinhard Tartler, Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk; In: Proceedings of the 2009 Conference on New Trends in Software Methodologies, Tools and Techniques (SoMeT '09); IOS Press, 2009.
[PDF] [10.3233/978-1-60750-049-0-165] [BibTex]
Workshop
Eine Infrastruktur für modellgetriebene hierarchische Produktlinien.
Christoph Elsner, Daniel Lohmann, Christa Schwanninger; In: Software Engineering 2009 - Workshopband; Gesellschaft für Informatik, 2009.
[PDF] [BibTex]
CASES Conference
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 Lohmann; In: Proceedings of the 2009 International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES '09); ACM Press, 2009.
[PDF] [10.1145/1629395.1629419] [BibTex]
FOSD Workshop
Product Derivation for Solution-Driven Product Line Engineering.
Christoph Elsner, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: Proceedings of the 1st Workshop on Feature-Oriented Software Development (FOSD '09)); ACM Press, 2009.
[PDF] [10.1145/1629716.1629724] [BibTex]
SOSP WiP Talk
Sloth: Let the Hardware Do the Work.
Wanja Hofer, Daniel Lohmann, Fabian Scheler, Wolfgang Schröder-Preikschat; 2009. WiP Talk.
[PDF] [BibTex]
RTSS Conference
Sloth: Threads as Interrupts.
Wanja Hofer, Daniel Lohmann, Fabian Scheler, Wolfgang Schröder-Preikschat; In: Proceedings of the 30th IEEE International Symposium on Real-Time Systems (RTSS '09); IEEE Computer Society Press, 2009.
[PDF] [10.1109/RTSS.2009.18] [BibTex]

2008

AOSD-ACP4IS Workshop
Concern Impact Analysis in Configurable System Software–-The AUTOSAR OS Case.
Wanja Hofer, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: Proceedings of the 7th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS '08)); ACM Press, 2008.
[PDF] [10.1145/1404891.1404897] [BibTex]
AOSD Poster
Inter Product-Line-Reuse by Product-Line Families.
Christoph Elsner, Daniel Lohmann; 2008. Poster.
[BibTex]
Workshop
Towards Separation of Concerns in Model Transformation Workflows.
Christoph Elsner, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: Proceedings of the 12th Software Product Line Conference (SPLC '08), Second Volume; Lero International Science Centre, 2008.
[PDF] [BibTex]

2007

PLOS Workshop
Configurable Memory Protection by Aspects.
Daniel Lohmann, Jochen Streicher, Wanja Hofer, Olaf Spinczyk, Wolfgang Schröder-Preikschat; In: Proceedings of the 4th Workshop on Programming Languages and Operating Systems (PLOS '07)); ACM Press, 2007.
[PDF] [10.1145/1376789.1376794] [BibTex]
IFE Journal
Dimensions of Variability in Embedded Operating Systems.
Wolfgang Schröder-Preikschat, Daniel Lohmann, Fabian Scheler, Olaf Spinczyk; Informatik - Forschung und Entwicklung 22.1; 2007.
[PDF] [10.1007/s00450-007-0037-x] [BibTex]
AOSD-ACP4IS Workshop
Interrupt Synchronization in the CiAO Operating System.
Daniel Lohmann, Jochen Streicher, Olaf Spinczyk, Wolfgang Schröder-Preikschat; In: Proceedings of the 6th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS '07)); ACM Press, 2007.
[PDF] [10.1145/1233901.1233907] [BibTex]
HICSS Conference
Modular Integration through Aspects: Making Cents of Legacy Systems.
Celina Gibbs, Daniel Lohmann, Robin Liu, Yvonne Coady; In: Proceedings of the 40th Hawaii International Conference on System Sciences (HICSS '07) - Clinical Process and Data Integration and Evolution; IEEE Computer Society Press, 2007.
[PDF] [10.1109/HICSS.2007.390] [BibTex]
KnoSys Journal
The Design and Implementation of AspectC++.
Olaf Spinczyk, Daniel Lohmann; Knowledge-Based Systems, Special Issue on Techniques to Produce Intelligent Secure Software 20.7; Elsevier, 2007.
[PDF] [10.1016/j.knosys.2007.05.004] [BibTex]
SC Conference
Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems.
Wasif Gilani, Fabian Scheler, Daniel Lohmann, Olaf Spinczyk, Wolfgang Schröder-Preikschat; In: Proceedings of the Sixth International Symposium on Software Composition; Springer-Verlag, 2007.
[10.1007/978-3-540-77351-1] [BibTex]

2006

EuroSys Conference
A Quantitative Analysis of Aspects in the eCos Kernel.
Daniel Lohmann, Fabian Scheler, Reinhard Tartler, Olaf Spinczyk, Wolfgang Schröder-Preikschat; In: Proceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2006 (EuroSys '06); ACM Press, 2006.
[PDF] [10.1145/1218063.1217954] [BibTex]
RTSS WiP Talk
Aspect-Oriented Real-Time Architecture–-AORTA.
Fabian Scheler, Daniel Lohmann, Olaf Spinczyk, Wolfgang Schröder-Preikschat; In: Proceedings of the 27th IEEE International Symposium on Real-Time Systems (RTSS '06)); IEEE Computer Society Press, 2006.
[BibTex]
Technical Report
AspectC++ Quick Reference (Version 1.11).
Olaf Spinczyk, Daniel Lohmann; 2006.
[BibTex]
GPCE-AOPLE Workshop
Concern Hierarchies.
Olaf Spinczyk, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: 1st GPCE Workshop on Aspect-Oriented Product Line Engineering (GPCE-AOPLE '06)); 2006. (published as Lancaster University TR: COMP-004-2007).
[PDF] [BibTex]
Demo
Developing embedded software product lines with AspectC++.
Daniel Lohmann, Olaf Spinczyk; In: Companion to the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2006); ACM Press, 2006.
[PDF] [10.1145/1176617.1176702] [BibTex]
TAOSD Journal
Lean and Efficient System Software Product Lines: Where Aspects Beat Objects.
Daniel Lohmann, Olaf Spinczyk, Wolfgang Schröder-Preikschat; In: Transactions on AOSD II; Springer-Verlag, 2006.
[PDF] [10.1007/11922827_8] [BibTex]
Workshop
PURE Embedded Operating Systems – CiAO.
Daniel Lohmann, Fabian Scheler, Wolfgang Schröder-Preikschat, Olaf Spinczyk; In: Proceedings of the ECRTS Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT '06); 2006.
[PDF] [BibTex]
HICSS Conference
Static and Dynamic Weaving in System Software with AspectC++.
Wolfgang Schröder-Preikschat, Daniel Lohmann, Wasif Gilani, Fabian Scheler, Olaf Spinczyk; In: Proceedings of the 39th Hawaii International Conference on System Sciences (HICSS '06) - Track 9; IEEE Computer Society Press, 2006.
[PDF] [10.1109/HICSS.2006.437] [BibTex]

2005

SoMeT Conference
Advances in AOP with AspectC++.
Olaf Spinczyk, Daniel Lohmann, Matthias Urban; In: New Trends in Software Methodologies, Tools and Techniques (SoMeT '05)); IOS Press, 2005.
[PDF] [BibTex]
Journal
AspectC++: An AOP Extension for C++.
Olaf Spinczyk, Daniel Lohmann, Matthias Urban; Software Developers Journal; Software-Sydawnicto Sp. z o. o., 2005.
[PDF] [BibTex]
WORDS Workshop
Functional and Non-Functional Properties in a Family of Embedded Operating Systems.
Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk; In: Proceedings of the 10th IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS '05)); 2005.
[PDF] [10.1109/WORDS.2005.37] [BibTex]
SC Conference
On Typesafe Aspect Implementations in C++.
Daniel Lohmann, Olaf Spinczyk; In: Proceedings of Software Composition 2005 (SC '05)); Springer-Verlag, 2005.
[PDF] [10.1007/11550679] [BibTex]
AOSD-ACP4IS Workshop
On the Configuration of Non-Functional Properties in Operating System Product Lines.
Daniel Lohmann, Olaf Spinczyk, Wolfgang Schröder-Preikschat; In: Proceedings of the 4th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS '05)); Northeastern University, Boston (NU-CCIS-05-03), 2005.
[PDF] [BibTex]
CASSIS Workshop
The Design of Application-Tailorable Operating System Product Lines.
Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk; In: Proceedings of the International Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS '05)); Springer-Verlag, 2005.
[PDF] [10.1007/11741060_6] [BibTex]

2004

GPCE Conference
Generic Advice: On the Combination of AOP with Generative Programming in AspectC++.
Daniel Lohmann, Georg Blaschke, Olaf Spinczyk; In: Proceedings of the 3rd International Conference on Generative Programming and Component Engineering (GPCE '04); Springer-Verlag, 2004.
[PDF] [10.1007/978-3-540-30175-2_4] [BibTex]
PLOS Workshop
On Adapable Aspect-Oriented Operating Systems.
Daniel Lohmann, Wasif Gilani, Olaf Spinczyk; In: Proceedings of the 2004 ECOOP Workshop on Programming Languages and Operating Systems (ECOOP-PLOS '04)); 2004.
[PDF] [BibTex]
Workshop
On the Design and Development of a Customizable Embedded Operating System.
Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk; In: Proceedings of the SRDS Workshop on Dependable Embedded Systems (SRDS-DES '04); IEEE Computer Society Press, 2004.
[PDF] [BibTex]
EW Workshop
Using AOP to Develop Architecture-Neutral Operating System Components.
Olaf Spinczyk, Daniel Lohmann; In: Proceedings of the 11th ACM SIGOPS European Workshop; ACM Press, 2004.
[PDF] [10.1145/1133572.1133582] [BibTex]

2003

AOSD-EA Workshop
A Generalization of the Hyperspace Approach using Meta-Models.
Daniel Lohmann, Jürgen Ebert; In: Proceedings of the 2003 AOSD Early Aspects Workshop (AOSD-EA '03)); 2003.
[PDF] [BibTex]
SOSP WiP Talk
Architecture-Neutral Operating System Components.
Daniel Lohmann, Olaf Spinczyk; 2003. WiP Talk.
[PDF] [BibTex]

2002

Thesis
Multidimensionales Trennen der Belange im Softwareentwurf.
Daniel Lohmann; Diplomarbeit at: Universität Koblenz-Landau; 2002.
[PDF] [BibTex]