Daniel Lohmann

Prof. Dr.-Ing. habil. Daniel Lohmann

Full Professor (Fachgebietsleiter)

Mail: lohmann@sra.uni-hannover.de
Telefon: 0511 762 19725
Adresse: 30167 Hannover, Appelstrasse 4, Raum 105

Interests

  • Operating system construction
  • Embedded systems (especially small ones)
  • System software for dependable real-time systems
  • Generative and compiler-based approaches
  • Software product lines
  • Hardware–RTOS Codesign

Selected Publications

Depending on the focus (Goal, Method, Technique) our research activities address several disciplines of practical computer science. I publish most of my work on systems, real-time, and software-engineering conferences. The following papers provide an overview of my research and research topics. Look here for the complete list of publications.

Systems

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] [URL] [Raw Data] [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] [URL] [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]
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]
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]

Dependable Systems

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

Software Engineering

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

Real-Time Systems

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] [10.1145/2950053] [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] [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] [10.1109/RTAS.2017.37] [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]
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]

Reviewing

I frequently serve on PCs and as reviewer for venues in the broad area of systems software development – from systems up to software engineering.

Journals

ACM
IEEE
Springer
Elsevier

Conferences and Workshops

RTAS
RTSS
ECRTS
ICDCS
SYSTOR
ECOOP
EuroSys
OSPERT

Note: I am no longer willing to do any reviewing for Elsevier. Please refrain from contacting me in this respect.