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.
2024
-
RTSJ
Journal
Applied static analysis and specialization of cross-core syscalls for multi-core AUTOSAR OS -
Real-Time SystemsSpringer2024.
PDF 10.1007/s11241-024-09429-1 [BibTex]
-
JSA
Journal
Analyzing the memory ordering models of the Apple M1 -
Journal of Systems Architecture1492024.
PDF https://doi.org/10.1016/j.sysarc.2024.103102 [BibTex]
-
EMSOFT
Journal
A
KPAC: Efficient Emulation of the ARM Pointer Authentication Instructions -
IEEE Transactions on Computer-Aided Design of Integrated Circuits and SystemsIEEE Computer Society Press2024Accepted.
PDF 10.1109/TCAD.2024.3443773 [BibTex]
-
SPLC
Conference
B
Should I Bother? Fast Patch Filtering for Statically-Configured Software Variants -
Proceedings of the 28th ACM International Systems and Software Product Line ConferenceAssociation for Computing Machinery2024.
PDF 10.1145/3646548.3672585 [BibTex]
-
DIMES
Workshop
Best Paper Award
The New Costs of Physical Memory Fragmentation -
Proceedings of the 2nd Workshop on Disruptive Memory Systems (SOSP-DIMES '24)Association for Computing Machinery2024Best Paper Award.
PDF Details 10.1145/3698783.3699378 [BibTex]
2023
-
DIMES
Workshop
Morsels: Explicit Virtual Memory Objects -
Proceedings of the 1st Workshop on Disruptive Memory SystemsAssociation for Computing Machinery2023.
PDF Details Slides 10.1145/3609308.3625267 [BibTex]
-
USENIX
Conference
A
Distinguished Artifact Award
LLFree: Scalable and Optionally-Persistent Page-Frame Allocation -
2023 USENIX Annual Technical Conference (USENIX '23)USENIX Association2023Distinguished Artifact Award.
PDF Details Slides [BibTex]
-
USENIX
Conference
A
MELF: Multivariant Executables for a Heterogeneous World -
2023 USENIX Annual Technical Conference (USENIX '23)USENIX Association2023.
PDF Details [BibTex]
-
ARCS
Conference
Best Paper Award
TOSTING: Investigating Total Store Ordering on ARM -
Proceedings of the 36th GI/ITG International Conference on Architecture of Computing Systems (ARCS 23)Springer International Publishing2023Best Paper Award.
PDF Details Slides [BibTex]
-
LCTES
Conference
B
Thread-Level Attack-Surface Reduction -
Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded SystemsACM Press2023.
PDF Details Slides Video 10.1145/3589610.3596281 [BibTex]
-
RTAS
Conference
A
MultiSSE: Static Syscall Elision and Specialization for Event-Triggered Multi-Core RTOS -
Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'23)2023.
PDF Details Slides [BibTex]
2022
-
OSPERT
Workshop
B
RTOS-Independent Interaction Analysis in ARA -
Proceedings of the 16th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '22)2022.
PDF Slides [BibTex]
-
ICSOFT
Conference
B
Best Student Paper
TASTING: Reuse Test-case Execution by Global AST Hashing -
Proceedings of the 17th International Conference on Software Technologies - ICSOFTSciTePress2022Best Student Paper.
PDF 10.5220/0011139200003266 [BibTex]
-
ISORC
Conference
C
Outstanding Paper Award
PSIC: Priority-Strict Multi-Core IRQ Processing -
Proceedings of the 25th International Symposium on Real-Time Distributed ComputingIEEE Computer Society2022Outstanding Paper Award.
PDF Slides 10.1109/ISORC52572.2022.9812796 [BibTex]
-
CACM
Journal
'What is the Ideal Operating System?': Technical Perspective -
Communications of the ACM65.5Association for Computing Machinery2022.
PDF 10.1145/3524299 [BibTex]
-
SAFECOMP
Conference
B
ACTOR: Accelerating Fault Injection Campaigns using Timeout Detection based on Autocorrelation -
41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)Springer-Verlag2022.
PDF Slides 10.1007/978-3-031-14835-4_17 [BibTex]
-
SAFECOMP
Conference
B
SailFAIL: Model-Derived Simulation-Assisted ISA-Level Fault-Injection Platforms -
41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022)Springer-Verlag2022.
PDF Slides 10.1007/978-3-031-14835-4_14 [BibTex]
2021
-
LCTES
Conference
A
Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults -
Proceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)ACM Press2021.
PDF Slides 10.1145/3461648.3463851 [BibTex]
-
LCTES
Artifact
A
Source Code and Evaluation Data for the Paper: Data-Flow–Sensitive Fault-Space Pruning for the Injection of Transient Hardware Faults -
Proceedings of the 2021 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '21)ACM Press2021.
10.5281/zenodo.4698901 [BibTex]
-
RTAS
Conference
A
ARA: Static Initialization of Dynamically-Created System Objects -
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'21)2021.
PDF Details Video Teaser Video 10.1109/RTAS52030.2021.00039 [BibTex]
-
Conference
Silentium! Run-Analyse-Eradicate the Noise out of the DB/OS Stack -
BTW 2021Gesellschaft für Informatik2021.
PDF 10.18420/btw2021-21 [BibTex]
-
Book Chapter
Dependability Aspects in Configurable Embedded Operating Systems -
Dependable Embedded SystemsSpringer2021.
PDF 10.1007/978-3-030-52017-5_4 [BibTex]
2020
-
OSDI
Conference
A*
From Global to Local Quiescence: Wait-Free Code Patching of Multi-Threaded Processes -
14th Symposium on Operating System Design and Implementation (OSDI '20)2020.
PDF Details Video [BibTex]
-
CCSW
Workshop
The Sound of Silence: Mining Security Vulnerabilities from Secret Integration Channels in Open-Source Projects -
Proceedings of the 12th Cloud Computing Security Workshop (CCSW '20)ACM2020.
PDF Video 10.1145/3411495.3421360 [BibTex]
-
CACM
Journal
A Bibliometric Approach for Detecting the Gender Gap in Computer Science -
Communications of the ACM63.52020.
PDF Video 10.1145/3376901 [BibTex]
2019
-
EMSOFT
Journal
A
Honey, I Shrunk the ELFs: Lightweight Binary Tailoring of Shared Libraries -
ACM Transactions on Embedded Computing Systems18.5sACM Press2019.
PDF Raw Data 10.1145/3358222 [BibTex]
-
ICSE
Conference
A*
The List is the Process: Reliable Pre-Integration Tracking of Commits on Mailing Lists -
Proceedings of the 41st International Conference on Software Engineering (ICSE '19)2019.
PDF Raw Data 10.1109/ICSE.2019.00088 [BibTex]
-
EuroSys
Conference
A
Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software -
Fourteenth EuroSys Conference 2019 (EuroSys '19)ACM Press2019.
PDF Slides 10.1145/3302424.3303959 [BibTex]
-
PRDC
Conference
B
Program-Structure–Guided Approximation of Large Fault Spaces -
2019 24th Pacific Rim International Symposium on Dependable Computing (PRDC'19)IEEE Computer Society Press2019.
PDF Slides 10.1109/PRDC47002.2019.00044 [BibTex]
-
RTSS
Conference
A*
RT.js: Practical Real-Time Scheduling for Web Applications -
Proceedings of the 40th IEEE Real-Time Systems Symposium 2019IEEE Computer Society Press2019.
PDF 10.1109/RTSS46320.2019.00017 [BibTex]
-
PLOS
Workshop
B
Wait-Free Code Patching of Multi-Threaded Processes -
Proceedings of the 10th SOSP Workshop on Programming Languages and Operating Systems (PLOS '19)ACM2019.
PDF 10.1145/3365137.3365404 [BibTex]
2018
-
OSPERT
Workshop
B
Best Paper Award
Levels of Specialization in Real-Time Operating Systems -
Proceedings of the 14th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '18)2018Best Paper Award.
PDF [BibTex]
-
DAC
Conference
A
Cross-Layer Fault-Space Pruning for Hardware-Assisted Fault Injection -
Proceedings of the 55th Annual Design Automation Conference 2018 (DAC '18)ACM Press2018.
PDF Slides Raw Data 10.1145/3195970.3196019 [BibTex]
-
RTSS
Conference
A*
Semi-Extended Tasks: Efficient Stack Sharing Among Blocking Threads -
Proceedings of the 39th IEEE Real-Time Systems Symposium 2018IEEE Computer Society Press2018.
PDF Details Slides Raw Data 10.1109/RTSS.2018.00049 [BibTex]
-
Technical Report
The Gender Gap in Computer Science – A Bibliometric Analysis -
2018.
PDF 10.25593/issn.2191-5008/CS-2018-02 [BibTex]
2017
-
FMCAD
Conference
Automatic Verification of Application-Tailored OSEK Kernels -
Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD '17)ACM Press2017.
PDF 10.23919/FMCAD.2017.8102260 [BibTex]
-
USENIX
Conference
A
Best Paper Award
cHash: Detection of Redundant Compilations via AST Hashing -
Proceedings of the 2017 USENIX Annual Technical Conference (USENIX '17)USENIX Association2017Best Paper Award.
PDF Details Slides Raw Data [BibTex]
-
OSPERT
Workshop
B
Look Mum, no VM Exits! (Almost) -
Proceedings of the 13th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '17)2017.
PDF Slides [BibTex]
-
LCTES
Conference
A
OSEK-V: Application-Specific RTOS Instantiation in Hardware -
Proceedings 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]
-
ARCS
Conference
Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems -
Proceedings of the 2017 Conference on Architecture of Computing Systems (ARCS '17)Springer-Verlag2017.
PDF 10.1007/978-3-319-54999-6_1 [BibTex]
-
TECS
Journal
A
Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis -
ACM Transactions on Embedded Computing Systems16.2ACM Press2017.
PDF Raw Data 10.1145/2950053 [BibTex]
-
RTAS
Conference
A
Outstanding Paper Award
SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems -
Proceedings 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]
2016
-
Workshop
A Memory Management Library for CT-Reconstruction on GPUs -
Bildverarbeitung für die Medizin2016.
10.1007/978-3-662-49465-3_37 [BibTex]
-
VAMOS
Workshop
Analyzing the Impact of Feature Changes in Linux -
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems2016.
PDF 10.1145/2866614.2866618 [BibTex]
-
Technical Report
Architecture-Violation Management for Internal Software Ecosystems: An Industry Case Study -
2016.
PDF [BibTex]
-
WICSA
Conference
A
Architecture-Violation Management for Internal Software Ecosystems -
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 -
Software Quality Journal24.1Springer US2016.
PDF 10.1007/s11219-014-9260-4 [BibTex]
-
VAMOS
Workshop
Feature Models in Linux - From Symbols to Semantic -
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems2016.
PDF 10.1145/2866614.2866624 [BibTex]
-
DSPL
Workshop
Function Multiverses for Dynamic Variability -
Foundations and Applications of Self* Systems2016.
PDF [BibTex]
-
OpenSym
Conference
Observing Custom Software Modifications: A Quantitative Approach of Tracking the Evolution of Patch Stacks -
Proceedings of the 12th International Symposium on Open Collaboration (OpenSym '16)2016.
PDF 10.1145/2957792.2957810 [BibTex]
-
it
Journal
Providing Security on Demand Using Invasive Computing -
it - Special issue on Invasive Computingit - Information Technology58.6De Gruyter Oldenbourg2016.
10.1515/itit-2016-0032 [BibTex]
-
GPCE
Conference
B
Towards Scalable Configuration Testing in Variable Software -
Proceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences (GPCE '16)2016.
PDF 10.1145/2993236.2993252 [BibTex]
2015
-
JSA
Journal
B
Resource Awareness on Heterogeneous MPSoCs for Image Processing -
Journal of Systems Architecture61.10Elsevier2015.
10.1016/j.sysarc.2015.09.002 [BibTex]
-
JSA
Journal
B
Self-Adaptive Corner Detection on MPSoC Through Resource-Aware Programming -
Journal of Systems Architecture61.10Elsevier2015.
10.1016/j.sysarc.2015.07.011 [BibTex]
-
GPCE
Conference
B
Lightweight, Generative Variant Exploration for High-Performance Graphics Applications -
Proceedings of the 14th International Conference on Generative Programming and Component Engineering (GPCE '15)ACM Press2015.
10.1145/2814204.2814220 [BibTex]
-
EDCC
Conference
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 (EDCC '15)2015.
PDF 10.1109/EDCC.2015.28 [BibTex]
-
OSPERT
Workshop
B
Back to the Roots: Implementing the RTOS as a Specialized State Machine -
Proceedings of the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '15)2015.
PDF [BibTex]
-
LCTES
Conference
A
Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems -
Proceedings of the 2015 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '15)ACM Press2015.
PDF Raw Data 10.1145/2670529.2754963 [BibTex]
-
it
Journal
Multi-layer software reliability for unreliable hardware -
it - Information Technology57.3De Gruyter2015.
10.1515/itit-2014-1081 [BibTex]
-
HIS
Workshop
A Graph-Partition–Based Scheduling Policy for Heterogeneous Architectures -
Proceedings of the DATE Friday Workshop on Heterogeneous Architectures and Design Methods for Embedded Image Systems (HIS '15))2015.
PDF [BibTex]
-
RTAS
Conference
A
AUTOBEST: A United AUTOSAR-OS and ARINC 653 Kernel -
Proceedings of the 21st IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '15)IEEE Computer Society Press2015.
PDF Slides 10.1109/RTAS.2015.7108435 [BibTex]
-
X10
Workshop
Cutting out the Middleman: OS-level Support for x10 Activities -
Proceedings of the ACM SIGPLAN Workshop on X10ACM Press2015.
10.1145/2771774.2771775 [BibTex]
- Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen
-
Betriebssysteme und Echtzeit, Echtzeit 2015, Fachtagung des gemeinsamen Fachausschusses Echtzeitsysteme von Gesellschaft für Informatik e.V. (GI), VDI/VDE-Gesellschaft für Mess- und Automatisierungstechnik (GMA) und Informationstechnischer Gesellschaft im VDE (ITG) sowie der Fachgruppe Betriebssysteme von GI und ITG, Boppard, 12. und 13. November 20152015.
10.1007/978-3-662-48611-5_14 [BibTex]
-
OSR
Journal
The dataref versuchung -
ACM SIGOPS Operating Systems Review: Special Issue on Repeatability and Sharing of Experimental ArtifactsACM Press2015.
PDF 10.1145/2723872.2723880 [BibTex]
-
Workshop
dOSEK: Maßgeschneiderte Zuverlässigkeit -
Betriebssysteme und EchtzeitSpringer2015.
10.1007/978-3-662-48611-5_8 [BibTex]
-
RTAS
Conference
A
Best Paper Award
dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel -
Proceedings 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]
2014
-
FSE
Conference
A*
Distinguished Paper Award
Architecture Challenges for Internal Software Ecosystems: A Large-Scale Industry Case Study -
Proceedings of the 22nd International Symposium on Foundations of Software Engineering (FSE '14)ACM Press2014Distinguished Paper Award.
PDF 10.1145/2635868.2635876 [BibTex]
-
GPCE
Conference
B
Automatic Feature Selection in Large-Scale System-Software Product Lines -
Proceedings of the 13th International Conference on Generative Programming and Component Engineering (GPCE '14)ACM Press2014.
PDF 10.1145/2658761.2658767 [BibTex]
-
DCDV
Crosscheck: Hardening replicated multithreaded services -
Workshop on Dependability of Clouds, Data Centers and Virtual Machine Technology (DCDV '14)IEEE Computer Society Press2014.
PDF [BibTex]
-
USENIX
Conference
A
Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue -
Proceedings of the 2014 USENIX Annual Technical Conference (USENIX '14)USENIX Association2014.
PDF Raw Data [BibTex]
- Exploiting determinism for efficient protection against arbitrary state corruptions
-
2014.
PDF [BibTex]
-
ARCS
Conference
Resource-Aware Harris Corner Detection based on Adaptive Pruning -
Proceedings of the 2014 Conference on Architecture of Computing Systems (ARCS '14)Springer-Verlag2014.
10.1007/978-3-319-04891-8 [BibTex]
-
HASE
Conference
B
A Practitioner's Guide to Software-based Soft-Error Mitigation Using AN-Codes -
Proceedings of the 15th IEEE International Symposium on High-Assurance Systems Engineering (HASE '14)IEEE Computer Society Press2014.
PDF 10.1109/HASE.2014.14 [BibTex]
-
ELS
Conference
Defmacro for C: Lightweight, Ad-Hoc Code Generation -
Proceedings of the 7th European Lisp Symposium (ELS '14)2014.
PDF Slides [BibTex]
-
ISORC
Conference
C
Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs -
Proceedings 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]
-
ECRTS
Conference
A
MultiSloth: An Efficient Multi-Core RTOS using Hardware-Based Scheduling -
Proceedings of the 26th Euromicro Conference on Real-Time Systems (ECRTS '14)IEEE Computer Society Press2014.
PDF 10.1109/ECRTS.2014.30 [BibTex]
-
EuroSys
Poster
OctoPOS: A Hardware-Assisted OS for Many-Cores -
EuroSys 20142014Poster.
[BibTex]
-
RTAS
Conference
A
Safer Sloth: Efficient, Hardware-Tailored Memory Protection -
Proceedings of the 20th IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '14)IEEE Computer Society Press2014.
PDF 10.1109/RTAS.2014.6925989 [BibTex]
-
Thesis
Tailorable System Software -
HabilitationsschriftFriedrich-Alexander-Universität Erlangen-Nürnberg, Technische Fakultät2014.
PDF [BibTex]
2013
-
PRDC
Workshop
dOSEK: A Dependable RTOS for Automotive Applications -
Proceedings of the 19th International Symposium on Dependable Computing (PRDC '13)IEEE Computer Society Press2013Fast abstract.
PDF 10.1109/PRDC.2013.22 [BibTex]
-
DASIP
Conference
A Resource-Aware Nearest Neighbor Search Algorithm for K-Dimensional Trees -
Proceedings of the 2013 Conference on Design & Architectures for Signal and Image Processing (DASIP '13)IEEE Computer Society Press2013.
[BibTex]
-
LCTES
Conference
A
A JVM for Soft-Error-Prone Embedded Systems -
Proceedings of the 2013 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '13)ACM Press2013.
PDF 10.1145/2465554.2465571 [BibTex]
-
MSR
Conference
A
Linux Variability Anomalies: What Causes Them and How Do They Get Fixed? -
Proceedings of the 10th Working Conference on Mining Software Repositories (MSR '13)IEEE Computer Society Press2013.
PDF 10.1109/MSR.2013.6624017 [BibTex]
-
PLEASE
Workshop
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 (ICSE-PLEASE '13)2013.
PDF 10.1109/PLEASE.2013.6608655 [BibTex]
-
NDSS
Conference
A*
Attack Surface Metrics and Automated Compile-Time OS Kernel Tailoring -
Proceedings of the 20th Network and Distributed Systems Security SymposiumThe Internet Society2013.
PDF [BibTex]
-
SOBRES
Workshop
Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience -
Proceedings of the 2nd International Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13)Gesellschaft für Informatik2013.
PDF [BibTex]
2012
-
RTSS
Conference
A*
Sloth on Time: Efficient Hardware-Based Scheduling for Time-Triggered RTOS -
Proceedings of the 33rd IEEE International Symposium on Real-Time Systems (RTSS '12)IEEE Computer Society Press2012.
PDF 10.1109/RTSS.2012.75 [BibTex]
-
MobiSys
Conference
B
CiAO/IP: A Highly Configurable Aspect-Oriented IP Stack -
Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services (MobiSys '12)ACM Press2012.
PDF 10.1145/2307636.2307676 [BibTex]
-
EDCC
Conference
Eliminating Single Points of Failure in Software-Based Redundancy -
Proceedings of the 9th European Dependable Computing Conference (EDCC '12)IEEE Computer Society Press2012.
PDF 10.1109/EDCC.2012.21 [BibTex]
-
Workshop
FAIL*: Towards a Versatile Fault-Injection Experiment Framework -
25th International Conference on Architecture of Computing Systems (ARCS '12), Workshop ProceedingsGesellschaft für Informatik2012.
PDF [BibTex]
-
STTT
Journal
B
Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software -
International Journal on Software Tools for Technology Transfer (STTT)14.5Springer-Verlag2012.
PDF 10.1007/s10009-012-0225-2 [BibTex]
-
OSR
Journal
Configuration Coverage in the Analysis of Large-Scale System Software -
ACM SIGOPS Operating Systems Review45.3ACM Press2012.
PDF 10.1145/2094091.2094095 [BibTex]
-
SPLC
Conference
A Robust Approach for Variability Extraction from the Linux Build System -
Proceedings of the 16th Software Product Line Conference (SPLC '12)ACM Press2012.
PDF 10.1145/2362536.2362544 [BibTex]
-
HotDep
Workshop
Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability -
Proceedings of the 8th International Workshop on Hot Topics in System Dependability (HotDep '12)USENIX Association2012.
PDF [BibTex]
-
AOSD-MISS
Proceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS '12)) -
Christoph Borchert, Michael Haupt, Daniel LohmannProceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS '12)ACM Press2012.
[BibTex]
-
TAOSD
Journal
The Aspect-Aware Design and Implementation of the CiAO Operating-System Family -
Transactions on AOSD IXSpringer-Verlag2012.
PDF 10.1007/978-3-642-35551-6_5 [BibTex]
-
AOSD-MISS
Workshop
Understanding Linux Feature Distribution -
Proceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS '12)ACM Press2012.
PDF 10.1145/2162024.2162030 [BibTex]
2011
-
PRDC
Workshop
Revisiting Fault-Injection Experiment-Platform Architectures -
Proceedings of the 17th International Symposium on Dependable Computing (PRDC '11)IEEE Computer Society Press2011Fast abstract.
PDF 10.1109/PRDC.2011.46 [BibTex]
-
RTSS
Conference
A*
Sleepy Sloth: Threads as Interrupts as Threads -
Proceedings of the 32nd IEEE International Symposium on Real-Time Systems (RTSS '11)IEEE Computer Society Press2011.
PDF 10.1109/RTSS.2011.14 [BibTex]
-
CODES+ISSS
Conference
C
Design and Architectures for Dependable Embedded Systems -
Proceedings of the 9th IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '11)ACM Press2011.
10.1145/2039370.2039384 [BibTex]
-
CODES+ISSS
Conference
C
DistRM: Distributed Resource Management for On-chip Many-Core Systems -
Proceedings of the 9th IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS '11)ACM Press2011.
10.1145/2039370.2039392 [BibTex]
-
JTRES
Workshop
Automated Application of Fault Tolerance Mechanisms in a Component-Based System -
JTRES '11: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems ACM Press2011.
PDF 10.1145/2043910.2043925 [BibTex]
-
JTRES
Workshop
Exploiting Static Application Knowledge in a Java Compiler for Embedded Systems: A Case Study -
JTRES '11: Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems ACM Press2011.
PDF 10.1145/2043910.2043927 [BibTex]
-
Workshop
An Infrastructure for Composing Build Systems of Software Product Lines -
Proceedings of the 15th Software Product Line Conference (SPLC '11), Volume 2ACM Press2011(MAPLE/SCALE '11 Proceedings).
PDF 10.1145/2019136.2019157 [BibTex]
-
SEAA
B
Fixing Configuration Inconsistencies Across File Type Boundaries -
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA '11)IEEE Computer Society Press2011.
PDF 10.1109/SEAA.2011.26 [BibTex]
-
EuroSys
Conference
A
Feature Consistency in Compile-Time-Configurable System Software: Facing the Linux 10,000 Feature Problem -
Proceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2011 (EuroSys '11)ACM Press2011.
PDF 10.1145/1966445.1966451 [BibTex]
-
ISORC
Conference
C
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-Oriented Real-Time Distributed Computing (ISORC '11)IEEE Computer Society Press2011.
PDF 10.1109/ISORC.2011.29 [BibTex]
-
DFR
Workshop
DanceOS: Towards Dependability Aspects in Configurable Embedded Operating Systems -
Proceedings of the 3rd HiPEAC Workshop on Design for Reliability (DFR '11)2011.
PDF [BibTex]
-
AOSD
Conference
A
Aspect-Aware Operating-System Development -
Proceedings of the 10th International Conference on Aspect-Oriented Software Development (AOSD '11)ACM Press2011.
PDF 10.1145/1960275.1960285 [BibTex]
-
PLOS
Workshop
B
Configuration Coverage in the Analysis of Large-Scale System Software -
Proceedings of the 6th Workshop on Programming Languages and Operating Systems (PLOS '11)ACM Press2011.
PDF 10.1145/2039239.2039242 [BibTex]
-
Book Chapter
Configuration of Non-Functional Properties in Embedded Operating Systems: The CiAO Approach -
IGI Global2011.
PDF 10.4018/978-1-60960-493-6 [BibTex]
-
SFMA
Workshop
OctoPOS: A Parallel Operating System for Invasive Computing -
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++ -
Transactions on AOSD VIIISpringer-Verlag2011.
10.1007/978-3-642-22031-9_5 [BibTex]
2010
-
SPLC
Best Paper Award
Consistent Product Line Configuration Across File Type and Product Line Boundaries -
Proceedings of the 14th Software Product Line Conference (SPLC '10)Springer-Verlag2010Best Paper Award.
PDF 10.1007/978-3-642-15579-6_13 [BibTex]
-
SPLC
Poster
Leviathan: SPL Support on Filesystem Level -
Proceedings of the 14th Software Product Line Conference (SPLC '10)Springer-Verlag2010Poster.
PDF 10.1007/978-3-642-15579-6_43 [BibTex]
-
Technical Report
An Algorithm for Quantifying the Program Variability Induced by Conditional Compilation -
2010.
PDF [BibTex]
-
VAMOS
Workshop
Variability in Time – Product Line Variability and Evolution Revisited -
Proceedings of the 4th International Workshop on Variability Modelling of Software-intensive Systems (VAMOS '10)2010.
PDF [BibTex]
-
KnoSys
Journal
B
AspectC++: An integrated approach for static and dynamic adaptation of system software -
Knowledge-Based Systems23.72010.
PDF 10.1016/j.knosys.2010.03.002 [BibTex]
-
IWMSE
Workshop
Challenges in Operating-Systems Reengineering for Many Cores -
Proceedings of the 3rd International Workshop on Multicore Software Engineering (IWMSE '10)ACM Press2010.
PDF 10.1145/1808954.1808968 [BibTex]
-
GPCE
Conference
B
Efficient Extraction and Analysis of Preprocessor-Based Variability -
Proceedings of the 9th International Conference on Generative Programming and Component Engineering (GPCE '10)ACM Press2010.
PDF 10.1145/1868294.1868300 [BibTex]
-
IIDS
Workshop
Gradual Software-Based Memory Protection -
Proceedings of the Workshop on Isolation and Integration for Dependable Systems (IIDS '10)ACM Press2010.
PDF [BibTex]
-
CARS
Workshop
Memory Protection at Option -
Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & SafetyACM Press2010.
PDF 10.1145/1772643.1772649 [BibTex]
-
SoMeT
Conference
B
Multi-Level Product Line Customization -
Proceedings of the 2010 Conference on New Trends in Software Methodologies, Tools and Techniques (SoMeT '10)IOS Press2010.
PDF 10.3233/978-1-60750-629-4-37 [BibTex]
- Proceedings of the 9th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS '10)
-
Bram Adams, Michael Haupt, Daniel LohmannUniversitätsverlag Potsdam2010.
PDF [BibTex]
-
AOSD
Conference
A
The aspect-oriented design of the PUMA C/C++ parser framework -
Proceedings of the 9th International Conference on Aspect-Oriented Software Development (AOSD '10)ACM Press2010.
PDF 10.1145/1739230.1739256 [BibTex]
-
FOSD
Workshop
Toolchain-Independent Variant Management with the Leviathan Filesystem -
Proceedings of the 2nd Workshop on Feature-Oriented Software Development (FOSD '10)ACM Press2010.
PDF 10.1145/1868688.1868692 [BibTex]
2009
-
RTSS
Conference
A*
Sloth: Threads as Interrupts -
Proceedings of the 30th IEEE International Symposium on Real-Time Systems (RTSS '09)IEEE Computer Society Press2009.
PDF 10.1109/RTSS.2009.18 [BibTex]
-
USENIX
Conference
A
CiAO: An Aspect-Oriented Operating-System Family for Resource-Constrained Embedded Systems -
Proceedings of the 2009 USENIX Annual Technical Conference USENIX Association2009.
PDF [BibTex]
-
IIES
Workshop
An Asynchronous Nonblocking Coordination and Synchronization Protocol for a Parallel Robotic Control Kernel -
Proceedings of the 2nd Workshop on Isolation and Integration in Embedded Systems (IIES '09)ACM Press2009.
PDF 10.1145/1519130.1519132 [BibTex]
-
Thesis
Aspect Awareness in the Development of Configurable System Software -
PHD thesisFriedrich-Alexander-Universität Erlangen-Nürnberg, Technische Fakultät2009.
PDF [BibTex]
-
FOSD
Workshop
Dead or Alive: Finding zombie features in the Linux kernel -
Proceedings of the 1st Workshop on Feature-Oriented Software Development (FOSD '09)ACM Press2009.
PDF 10.1145/1629716.1629732 [BibTex]
-
SoMeT
Conference
B
Dynamic AspectC++: Generic Advice at Any Time -
Proceedings of the 2009 Conference on New Trends in Software Methodologies, Tools and Techniques (SoMeT '09)IOS Press2009.
PDF 10.3233/978-1-60750-049-0-165 [BibTex]
-
Workshop
Eine Infrastruktur für modellgetriebene hierarchische Produktlinien -
Software Engineering 2009 - WorkshopbandGesellschaft für Informatik2009.
PDF [BibTex]
-
CASES
Conference
A
Parallel, Hardware-Supported Interrupt Handling in an Event-Triggered Real-Time Operating System -
Proceedings of the 2009 International Conference on Compilers, Architectures, and Synthesis for Embedded Systems (CASES '09)ACM Press2009.
PDF 10.1145/1629395.1629419 [BibTex]
- Proceedings of the 8th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS '09)
-
Eric Wohlstadter, Daniel Lohmann, Celina GibbsACM Press2009.
[BibTex]
-
FOSD
Workshop
Product Derivation for Solution-Driven Product Line Engineering -
Proceedings of the 1st Workshop on Feature-Oriented Software Development (FOSD '09)ACM Press2009.
PDF 10.1145/1629716.1629724 [BibTex]
2008
-
AOSD
Poster
Inter Product-Line-Reuse by Product-Line Families -
2008Poster.
[BibTex]
-
AOSD-ACP4IS
Workshop
Concern Impact Analysis in Configurable System Software—The AUTOSAR OS Case -
Proceedings of the 7th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS '08)ACM Press2008.
PDF 10.1145/1404891.1404897 [BibTex]
-
AOSD-ACP4IS
Proceedings of the 7th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS '08)) -
Eric Wohlstadter, Daniel Lohmann, Celina GibbsACM Press2008.
[BibTex]
-
Workshop
Towards Separation of Concerns in Model Transformation Workflows -
Proceedings of the 12th Software Product Line Conference (SPLC '08), Second VolumeLero International Science Centre2008.
PDF [BibTex]
2007
-
PLOS
Workshop
B
Configurable Memory Protection by Aspects -
Proceedings of the 4th Workshop on Programming Languages and Operating Systems (PLOS '07)ACM Press2007.
PDF 10.1145/1376789.1376794 [BibTex]
-
IFE
Journal
Dimensions of Variability in Embedded Operating Systems -
Informatik - Forschung und Entwicklung22.12007.
PDF 10.1007/s00450-007-0037-x [BibTex]
-
AOSD-ACP4IS
Workshop
Interrupt Synchronization in the CiAO Operating System -
Proceedings of the 6th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (AOSD-ACP4IS '07)ACM Press2007.
PDF 10.1145/1233901.1233907 [BibTex]
-
HICSS
Conference
A
Modular Integration through Aspects: Making Cents of Legacy Systems -
Proceedings of the 40th Hawaii International Conference on System Sciences (HICSS '07) - Clinical Process and Data Integration and EvolutionIEEE Computer Society Press2007.
PDF 10.1109/HICSS.2007.390 [BibTex]
-
KnoSys
Journal
B
The Design and Implementation of AspectC++ -
Knowledge-Based Systems, Special Issue on Techniques to Produce Intelligent Secure Software20.7Elsevier2007.
PDF 10.1016/j.knosys.2007.05.004 [BibTex]
-
SC
Conference
Unification of Static and Dynamic AOP for Evolution in Embedded Software Systems -
Proceedings of the Sixth International Symposium on Software CompositionSpringer-Verlag2007.
10.1007/978-3-540-77351-1 [BibTex]
2006
-
RTSS
WiP Talk
Aspect-Oriented Real-Time Architecture—AORTA -
Proceedings of the 27th IEEE International Symposium on Real-Time Systems (RTSS '06)IEEE Computer Society Press2006.
[BibTex]
-
GPCE-AOPLE
Workshop
Concern Hierarchies -
1st GPCE Workshop on Aspect-Oriented Product Line Engineering (GPCE-AOPLE '06)2006(published as Lancaster University TR: COMP-004-2007).
PDF [BibTex]
-
EuroSys
Conference
A
A Quantitative Analysis of Aspects in the eCos Kernel -
Proceedings of the ACM SIGOPS/EuroSys European Conference on Computer Systems 2006 (EuroSys '06)ACM Press2006.
PDF 10.1145/1218063.1217954 [BibTex]
-
Technical Report
AspectC++ Quick Reference (Version 1.11) -
2006.
[BibTex]
-
Demo
Developing embedded software product lines with AspectC++ -
Companion to the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2006)ACM Press2006.
PDF 10.1145/1176617.1176702 [BibTex]
-
TAOSD
Journal
Lean and Efficient System Software Product Lines: Where Aspects Beat Objects -
Transactions on AOSD IISpringer-Verlag2006.
PDF 10.1007/11922827_8 [BibTex]
-
Workshop
B
PURE Embedded Operating Systems – CiAO -
Proceedings of the ECRTS Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT '06)2006.
PDF [BibTex]
-
HICSS
Conference
A
Static and Dynamic Weaving in System Software with AspectC++ -
Proceedings of the 39th Hawaii International Conference on System Sciences (HICSS '06) - Track 9IEEE Computer Society Press2006.
PDF 10.1109/HICSS.2006.437 [BibTex]
2005
-
SoMeT
Conference
B
Advances in AOP with AspectC++ -
New Trends in Software Methodologies, Tools and Techniques (SoMeT '05)IOS Press2005.
PDF [BibTex]
-
Journal
AspectC++: An AOP Extension for C++ -
Software Developers Journal5.5Software-Sydawnicto Sp. z o. o.2005.
PDF [BibTex]
-
SC
Conference
On Typesafe Aspect Implementations in C++ -
Proceedings of Software Composition 2005 (SC '05)Springer-Verlag2005.
PDF 10.1007/11550679 [BibTex]
-
AOSD-ACP4IS
Workshop
On the Configuration of Non-Functional Properties in Operating System Product Lines -
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]
-
WORDS
Workshop
B
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 '05)2005.
PDF 10.1109/WORDS.2005.37 [BibTex]
-
CASSIS
Workshop
The Design of Application-Tailorable Operating System Product Lines -
Proceedings of the International Workshop on Construction and Analysis of Safe, Secure and Interoperable Smart devices (CASSIS '05)Springer-Verlag2005.
PDF 10.1007/11741060_6 [BibTex]
2004
-
GPCE
Conference
B
Generic Advice: On the Combination of AOP with Generative Programming in AspectC++ -
Proceedings of the 3rd International Conference on Generative Programming and Component Engineering (GPCE '04)Springer-Verlag2004.
PDF 10.1007/978-3-540-30175-2_4 [BibTex]
-
Workshop
On the Design and Development of a Customizable Embedded Operating System -
Proceedings of the SRDS Workshop on Dependable Embedded Systems (SRDS-DES '04)IEEE Computer Society Press2004.
PDF [BibTex]
-
EW
Workshop
Using AOP to Develop Architecture-Neutral Operating System Components -
Proceedings of the 11th ACM SIGOPS European Workshop ACM Press2004.
PDF 10.1145/1133572.1133582 [BibTex]
-
PLOS
Workshop
On Adapable Aspect-Oriented Operating Systems -
Proceedings of the 2004 ECOOP Workshop on Programming Languages and Operating Systems (ECOOP-PLOS '04)2004.
PDF [BibTex]
2003
-
AOSD-EA
Workshop
A Generalization of the Hyperspace Approach using Meta-Models -
Proceedings of the 2003 AOSD Early Aspects Workshop (AOSD-EA '03)2003.
PDF [BibTex]
2002