Daniel Lohmann

According to our database1, Daniel Lohmann authored at least 107 papers between 2004 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
The List is the Process: Reliable Pre-Integration Tracking of Commits on Mailing Lists.
CoRR, 2019

The list is the process: reliable pre-integration tracking of commits on mailing lists.
Proceedings of the 41st International Conference on Software Engineering, 2019

Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software.
Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018
Semi-Extended Tasks: Efficient Stack Sharing Among Blocking Threads.
Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Cross-layer fault-space pruning for hardware-assisted fault injection.
Proceedings of the 55th Annual Design Automation Conference, 2018

2017
Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis.
ACM Trans. Embedded Comput. Syst., 2017

Look Mum, no VM Exits! (Almost).
CoRR, 2017

cHash: Detection of Redundant Compilations via AST Hashing.
Proceedings of the 2017 USENIX Annual Technical Conference, 2017

SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems (Outstanding Paper).
Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

OSEK-V: application-specific RTOS instantiation in hardware.
Proceedings of the 18th ACM SIGPLAN/SIGBED Conference on Languages, 2017

Automatic verification of application-tailored OSEK kernels.
Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems.
Proceedings of the Architecture of Computing Systems - ARCS 2017, 2017

2016
Experiences with software-based soft-error mitigation using AN codes.
Software Quality Journal, 2016

Providing security on demand using invasive computing.
it - Information Technology, 2016

Observing Custom Software Modifications: A Quantitative Approach of Tracking the Evolution of Patch Stacks.
CoRR, 2016

Observing Custom Software Modifications: A Quantitative Approach of Tracking the Evolution of Patch Stacks.
Proceedings of the 12th International Symposium on Open Collaboration, 2016

Architecture-Violation Management for Internal Software Ecosystems.
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

Analyzing the Impact of Feature Changes in Linux.
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

Feature Models in Linux: From Symbols to Semantics.
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

Function Multiverses for Dynamic Variability.
Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), 2016

Towards scalable configuration testing in variable software.
Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2016

A Memory Management Library for CT-Reconstruction on GPUs.
Proceedings of the Bildverarbeitung für die Medizin 2016 - Algorithmen - Systeme, 2016

2015
The dataref versuchung: Saving Time through Better Internal Repeatability.
Operating Systems Review, 2015

Resource-awareness on heterogeneous MPSoCs for image processing.
Journal of Systems Architecture - Embedded Systems Design, 2015

Self-adaptive corner detection on MPSoC through resource-aware programming.
Journal of Systems Architecture - Embedded Systems Design, 2015

Multi-layer software reliability for unreliable hardware.
it - Information Technology, 2015

A Graph-Partition-Based Scheduling Policy for Heterogeneous Architectures.
CoRR, 2015

AUTOBEST: a united AUTOSAR-OS and ARINC 653 kernel.
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

dOSEK: the design and implementation of a dependability-oriented static embedded kernel.
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

Cutting out the middleman: OS-level support for x10 activities.
Proceedings of the ACM SIGPLAN Workshop on X10, Portland, OR, USA, June 15 - 17, 2015, 2015

dOSEK: Maßgeschneiderte Zuverlässigkeit.
Proceedings of the Betriebssysteme und Echtzeit, 2015

Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen.
Proceedings of the Betriebssysteme und Echtzeit, 2015

Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems.
Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, 2015

Lightweight, generative variant exploration for high-performance graphics Applications.
Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2015

FAIL*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance.
Proceedings of the 11th European Dependable Computing Conference, 2015

2014
Static Analysis of Variability in System Software: The 90, 000 #ifdefs Issue.
Proceedings of the 2014 USENIX Annual Technical Conference, 2014

Architecture challenges for internal software ecosystems: a large-scale industry case study.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

SAFER SLOTH: Efficient, hardware-tailored memory protection.
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs.
Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

A Practitioner's Guide to Software-Based Soft-Error Mitigation Using AN-Codes.
Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

Automatic feature selection in large-scale system-software product lines.
Proceedings of the Generative Programming: Concepts and Experiences, 2014

Multi Sloth: An Efficient Multi-core RTOS Using Hardware-Based Scheduling.
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

Crosscheck: Hardening Replicated Multithreaded Services.
Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

Resource-Aware Harris Corner Detection Based on Adaptive Pruning.
Proceedings of the Architecture of Computing Systems - ARCS 2014, 2014

2013
dOSEK: A Dependable RTOS for Automotive Applications.
Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring.
Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

Linux variability anomalies: what causes them and how do they get fixed?
Proceedings of the 10th Working Conference on Mining Software Repositories, 2013

A JVM for soft-error-prone embedded systems.
Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013

Moving towards industrial software ecosystems: Are our software architectures fit for the future?
Proceedings of the 4th International Workshop on Product LinE Approaches in Software Engineering, 2013

Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience.
Proceedings of the Informatik 2013, 2013

A resource-aware nearest-neighbor search algorithm for k-dimensional trees.
Proceedings of the 2013 Conference on Design and Architectures for Signal and Image Processing, 2013

2012
The Aspect-Aware Design and Implementation of the CiAO Operating-System Family.
LNCS Trans. Aspect Oriented Softw. Dev., 2012

Revealing and repairing configuration inconsistencies in large-scale system software.
STTT, 2012

A robust approach for variability extraction from the Linux build system.
Proceedings of the 16th International Software Product Line Conference, 2012

Sloth on Time: Efficient Hardware-Based Scheduling for Time-Triggered RTOS.
Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

CiAO/IP: a highly configurable aspect-oriented IP stack.
Proceedings of the 10th International Conference on Mobile Systems, 2012

Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability.
Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, 2012

Eliminating Single Points of Failure in Software-Based Redundancy.
Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

Fail*: Towards a Versatile Fault Injection Experiment Framework.
Proceedings of the ARCS 2012 Workshops, 28. Februar - 2. März 2012, München, Germany, 2012

2011
Puma: An Aspect-Oriented Code Analysis and Manipulation Framework for C and C++.
LNCS Trans. Aspect Oriented Softw. Dev., 2011

Configuration coverage in the analysis of large-scale system software.
Operating Systems Review, 2011

An infrastructure for composing build systems of software product lines.
Proceedings of the Software Product Lines - 15th International Conference, 2011

Configuration coverage in the analysis of large-scale system software.
Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011

Sleepy Sloth: Threads as Interrupts as Threads.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Revisiting Fault-Injection Experiment-Platform Architectures.
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

Automated application of fault tolerance mechanisms in a component-based system.
Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

Exploiting static application knowledge in a Java compiler for embedded systems: a case study.
Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

Escaping the Bonds of the Legacy: Step-Wise Migration to a Type-Safe Language in Safety-Critical Embedded Systems.
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

Feature consistency in compile-time-configurable system software: facing the linux 10, 000 feature problem.
Proceedings of the European Conference on Computer Systems, 2011

Fixing Configuration Inconsistencies across File Type Boundaries.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

DistRM: distributed resource management for on-chip many-core systems.
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011


Aspect-aware operating system development.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
AspectC++: An integrated approach for static and dynamic adaptation of system software.
Knowl.-Based Syst., 2010

Variability in Time - Product Line Variability and Evolution Revisited.
Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Leviathan: SPL Support on Filesystem Level.
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Consistent Product Line Configuration across File Type and Product Line Boundaries.
Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Multi-Level Product Line Customization.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2010

Efficient extraction and analysis of preprocessor-based variability.
Proceedings of the Generative Programming And Component Engineering, 2010

Toolchain-independent variant management with the Leviathan filesystem.
Proceedings of the Second International Workshop on Feature-Oriented Software Development, 2010

Memory protection at option.
Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

The aspect-oriented design of the PUMA C/C++ parser framework.
Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2009
CiAO: An Aspect-Oriented Operating-System Family for Resource-Constrained Embedded Systems.
Proceedings of the 2009 USENIX Annual Technical Conference, 2009

Dynamic AspectC++: Generic Advice at Any Time.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

Eine Infrastruktur für modellgetriebene hierarchische Produktlinien.
Proceedings of the Software Engineering 2009, 2009

Sloth: Threads as Interrupts.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Dead or Alive: finding zombie features in the Linux kernel.
Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009

Product derivation for solution-driven product line engineering.
Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009

Parallel, hardware-supported interrupt handling in an event-triggered real-time operating system.
Proceedings of the 2009 International Conference on Compilers, 2009

2008
Aspect-awareness in the development of configurable system software.
PhD thesis, 2008

Towards Separation of Concerns in Model Transformation Workflows.
Proceedings of the Software Product Lines, 12th International Conference, 2008

2007
The design and implementation of AspectC++.
Knowl.-Based Syst., 2007

Dimensions of variability in embedded operating systems.
Inform., Forsch. Entwickl., 2007

Configurable memory protection by aspects.
Proceedings of the 4th workshop on Programming languages and operating systems, 2007

Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems.
Proceedings of the Software Composition, 6th International Symposium, 2007

Modular Integration Through Aspects: Making Cents of Legacy Systems.
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

Interrupt synchronization in the CiAO operating system: experiences from implementing low-level system policies by AOP.
Proceedings of the 6th workshop on Aspects, 2007

2006
Lean and Efficient System Software Product Lines: Where Aspects Beat Objects.
, 2006

Developing embedded software product lines with AspectC++.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Static and Dynamic Weaving in System Software with AspectC++.
Proceedings of the 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), 2006

A quantitative analysis of aspects in the eCos kernel.
Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

2005
Functional and Non-Functional Properties in a Family of Embedded Operating Systems.
Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Advances in AOP with AspectC++.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2005

On Typesafe Aspect Implementations in C++.
Proceedings of the Software Composition, 4th International Workshop, 2005

The Design of Application-Tailorable Operating System Product Lines.
Proceedings of the Construction and Analysis of Safe, 2005

2004
Using AOP to develop architectural-neutral operating system components.
Proceedings of the 11st ACM SIGOPS European Workshop, 2004

Generic Advice: On the Combination of AOP with Generative Programming in AspectC++.
Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004


  Loading...