Daniel Lohmann

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.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015

Cutting out the middleman: OS-level support for x10 activities.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Workshop on X10, Portland, OR, USA, June 15 - 17, 2015, 2015

<i>d</i>OSEK: Maßgeschneiderte Zuverlässigkeit.

[BibT_eX]

[DOI]

Proceedings of the Betriebssysteme und Echtzeit, 2015

Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen.

[BibT_eX]

[DOI]

Proceedings of the Betriebssysteme und Echtzeit, 2015

Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, 2015

Lightweight, generative variant exploration for high-performance graphics Applications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 11th European Dependable Computing Conference, 2015

2014

Tailorable System Software (Maßschneiderbare Systemsoftware)

[BibT_eX]

[DOI]

, 2014

Static Analysis of Variability in System Software: The 90, 000 #ifdefs Issue.

[BibT_eX]

[DOI]

Proceedings of the 2014 USENIX Annual Technical Conference, 2014

SAFER SLOTH: Efficient, hardware-tailored memory protection.

[BibT_eX]

[DOI]

Daniel Danner

Rainer Muller

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

Automatic feature selection in large-scale system-software product lines.

[BibT_eX]

[DOI]

Andreas Ruprecht

Bernhard Heinloth

Proceedings of the Generative Programming: Concepts and Experiences, 2014

Defmacro for C: Lightweight, Ad Hoc Code Generation.

[BibT_eX]

[DOI]

Proceedings of ELS 2014 - 7th European Lisp Symposium, Paris, France, May 5-6, 2014., 2014

Multi Sloth: An Efficient Multi-core RTOS Using Hardware-Based Scheduling.

[BibT_eX]

[DOI]

Rainer Muller

Daniel Danner

Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

Crosscheck: Hardening Replicated Multithreaded Services.

[BibT_eX]

[DOI]

Arthur Martens

Christoph Borchert

Tobias Oliver Geissler

Rüdiger Kapitza

Proceedings of the 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2014

Resource-Aware Harris Corner Detection Based on Adaptive Pruning.

[BibT_eX]

[DOI]

Proceedings of the Architecture of Computing Systems - ARCS 2014, 2014

2013

dOSEK: A Dependable RTOS for Automotive Applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring.

[BibT_eX]

[DOI]

Rüdiger Kapitza

Proceedings of the 20th Annual Network and Distributed System Security Symposium, 2013

Linux variability anomalies: what causes them and how do they get fixed?

[BibT_eX]

[DOI]

Proceedings of the 10th Working Conference on Mining Software Repositories, 2013

A JVM for soft-error-prone embedded systems.

[BibT_eX]

[DOI]

Proceedings of the SIGPLAN/SIGBED Conference on Languages, 2013

Moving towards industrial software ecosystems: Are our software architectures fit for the future?

[BibT_eX]

[DOI]

Klaus-Benedikt Schultis

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.

[BibT_eX]

[DOI]

Proceedings of the 43. Jahrestagung der Gesellschaft für Informatik, 2013

A resource-aware nearest-neighbor search algorithm for k-dimensional trees.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

LNCS Trans. Aspect Oriented Softw. Dev., 2012

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

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2012

A robust approach for variability extraction from the Linux build system.

[BibT_eX]

[DOI]

Proceedings of the 16th International Software Product Line Conference, 2012

Sloth on Time: Efficient Hardware-Based Scheduling for Time-Triggered RTOS.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

CiAO/IP: a highly configurable aspect-oriented IP stack.

[BibT_eX]

[DOI]

Christoph Borchert

Proceedings of the 10th International Conference on Mobile Systems, 2012

Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability.

[BibT_eX]

[DOI]

Proceedings of the Eighth Workshop on Hot Topics in System Dependability, HotDep 2012, 2012

Eliminating Single Points of Failure in Software-Based Redundancy.

[BibT_eX]

[DOI]

Reiner N. Schmid

Proceedings of the 2012 Ninth European Dependable Computing Conference, 2012

Fail*: Towards a Versatile Fault Injection Experiment Framework.

[BibT_eX]

[DOI]

Proceedings of the ARCS 2012 Workshops, 28. Februar - 2. März 2012, München, Germany, 2012

Understanding linux feature distribution.

[BibT_eX]

[DOI]

Proceedings of the 2012 Workshop on Modularity in Systems Software, 2012

2011

Puma: An Aspect-Oriented Code Analysis and Manipulation Framework for C and C++.

[BibT_eX]

[DOI]

Matthias Urban

LNCS Trans. Aspect Oriented Softw. Dev., 2011

Configuration coverage in the analysis of large-scale system software.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2011

An infrastructure for composing build systems of software product lines.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines - 15th International Conference, 2011

Sleepy Sloth: Threads as Interrupts as Threads.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Revisiting Fault-Injection Experiment-Platform Architectures.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011

Automated application of fault tolerance mechanisms in a component-based system.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Christoph Erhardt

Michael Stilkerich

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.

[BibT_eX]

[DOI]

Michael Stilkerich

Jens Schedel

Peter Ulbrich

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.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Computer Systems, 2011

Fixing Configuration Inconsistencies across File Type Boundaries.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sebastian Kobbe

Lars Bauer

Jörg Henkel

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

Design and architectures for dependable embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

Aspect-aware operating system development.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2010

Variability in Time - Product Line Variability and Evolution Revisited.

[BibT_eX]

[DOI]

Goetz Botterweck

Proceedings of the Fourth International Workshop on Variability Modelling of Software-Intensive Systems, 2010

Leviathan: SPL Support on Filesystem Level.

[BibT_eX]

[DOI]

Frank Blendinger

Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Consistent Product Line Configuration across File Type and Product Line Boundaries.

[BibT_eX]

[DOI]

Peter Ulbrich

Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

Multi-Level Product Line Customization.

[BibT_eX]

[DOI]

Christa Schwanninger

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2010

Challenges in operating-systems reengineering for many cores.

[BibT_eX]

[DOI]

Michael Gernoth

Dirk Wischermann

Proceedings of the 3rd International Workshop on Multicore Software Engineering, 2010

Efficient extraction and analysis of preprocessor-based variability.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming And Component Engineering, 2010

Toolchain-independent variant management with the Leviathan filesystem.

[BibT_eX]

[DOI]

Frank Blendinger

Proceedings of the Second International Workshop on Feature-Oriented Software Development, 2010

Memory protection at option.

[BibT_eX]

[DOI]

Michael Stilkerich

Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety, 2010

The aspect-oriented design of the PUMA C/C++ parser framework.

[BibT_eX]

[DOI]

Matthias Urban

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.

[BibT_eX]

[DOI]

Jochen Streicher

Proceedings of the 2009 USENIX Annual Technical Conference, 2009

Dynamic AspectC++: Generic Advice at Any Time.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

Eine Infrastruktur für modellgetriebene hierarchische Produktlinien.

[BibT_eX]

[DOI]

Christa Schwanninger

Proceedings of the Software Engineering 2009, 2009

Sloth: Threads as Interrupts.

[BibT_eX]

[DOI]

Fabian Scheler

Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Dead or Alive: finding zombie features in the Linux kernel.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009

Product derivation for solution-driven product line engineering.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Feature-Oriented Software Development, 2009

An asynchronous nonblocking coordination and synchronization protocol for a parallel robotic control kernel.

[BibT_eX]

[DOI]

Philippe Stellwag

Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, 2009

Parallel, hardware-supported interrupt handling in an event-triggered real-time operating system.

[BibT_eX]

[DOI]

Proceedings of the 2009 International Conference on Compilers, 2009

2008

Aspect-awareness in the development of configurable system software.

[BibT_eX]

[DOI]

PhD thesis, 2008

Towards Separation of Concerns in Model Transformation Workflows.

[BibT_eX]

Proceedings of the Software Product Lines, 12th International Conference, 2008

Concern impact analysis in configurable system software: the AUTOSAR OS case.

[BibT_eX]

[DOI]

Proceedings of the ACP4IS@AOSD 2008: Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software, Brussels, Belgium, 31 March, 2008

2007

The design and implementation of AspectC++.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2007

Dimensions of variability in embedded operating systems.

[BibT_eX]

[DOI]

Fabian Scheler

Inform. Forsch. Entwickl., 2007

Configurable memory protection by aspects.

[BibT_eX]

[DOI]

Proceedings of the 4th workshop on Programming languages and operating systems, 2007

Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 6th International Symposium, 2007

Modular Integration Through Aspects: Making Cents of Legacy Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Jochen Streicher

Proceedings of the 6th workshop on Aspects, 2007

2006

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

[BibT_eX]

[DOI]

LNCS Trans. Aspect Oriented Softw. Dev., 2006

Developing embedded software product lines with AspectC++.

[BibT_eX]

[DOI]

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++.

[BibT_eX]

[DOI]

Proceedings of the 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), 2006

A quantitative analysis of aspects in the eCos kernel.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2005

Advances in AOP with AspectC++.

[BibT_eX]

[DOI]

Matthias Urban

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2005

On Typesafe Aspect Implementations in C++.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 4th International Workshop, 2005

The Design of Application-Tailorable Operating System Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Construction and Analysis of Safe, 2005

2004

Using AOP to develop architectural-neutral operating system components.

[BibT_eX]

[DOI]

Proceedings of the 11st ACM SIGOPS European Workshop, 2004

Generic Advice: On the Combination of AOP with Generative Programming in AspectC++.

[BibT_eX]

[DOI]

Georg Blaschke