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
Sprechstunde: Regelmäßige Termine

In allen Angelegenheiten, die den Vorsitzenden des Prüfungsausschuss Informatik betreffen, bitte die Adresse pa-inf-vorsitz@sra.uni-hannover.de verwenden.

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

EuroSys Conference
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 10.1145/3302424.3303959 [BibTex]
USENIX Conference 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 Association2017Best Paper Award.
PDF Details Slides 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 LohmannProceedings of the 2014 USENIX Annual Technical Conference USENIX Association2014.
PDF Raw Data [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-PreikschatProceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2011 (EuroSys '11)ACM Press2011.
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 SpinczykProceedings of the 2009 USENIX Annual Technical Conference USENIX Association2009.
PDF [BibTex]

Real-Time Systems

RTSS Conference
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]
TECS Journal
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]
LCTES Conference
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]
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 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]
ECRTS Conference
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]

Dependable Systems

DAC Conference
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]
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]
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 JournalSpringer US2016.
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 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]
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 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]

Software Engineering

ICSE Conference
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)2019To appear.
PDF Raw Data [BibTex]
FSE Conference 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]
GPCE Conference
Automatic Feature Selection in Large-Scale System-Software Product Lines
Andreas Ruprecht, Bernhard Heinloth, Daniel LohmannProceedings of the 13th International Conference on Generative Programming and Component Engineering (GPCE '14)ACM Press2014.
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 LohmannProceedings of the 16th Software Product Line Conference (SPLC '12)ACM Press2012.
PDF 10.1145/2362536.2362544 [BibTex]
AOSD Conference
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]

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.

Conferences and Workshops

RTSS
RTAS
ECRTS
ICDCS
SYSTOR
ECOOP
EuroSys
OSPERT

Journals

ACM
IEEE
Springer
Elsevier

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