Publications (Workshop)
2024
-
DIMES
Workshop
Best Paper Award
The New Costs of Physical Memory Fragmentation -
Proceedings of the 2nd Workshop on Disruptive Memory SystemsAssociation 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]
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]
2020
-
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]
2019
-
OSPERT
Workshop
B
ARA: Automatic Instance-Level Analysis in Real-Time Systems -
Proceedings of the 15th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '19)2019.
PDF [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]
2017
-
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]
2016
-
ARCS
Workshop
Towards an Algorithm and Communication Cost Model for the Parallel Particle Swarm Optimization -
ARCS 2016; 29th International Conference on Architecture of Computing Systems2016.
[BibTex]
-
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]
-
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]
2015
-
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]
-
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]
-
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]
-
Workshop
dOSEK: Maßgeschneiderte Zuverlässigkeit -
Betriebssysteme und EchtzeitSpringer2015.
10.1007/978-3-662-48611-5_8 [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]
-
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]
-
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
-
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]
-
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
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]
-
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]
-
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]
-
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]
-
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]
2010
-
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]
-
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]
-
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]
-
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
-
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]
-
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]
-
Workshop
Eine Infrastruktur für modellgetriebene hierarchische Produktlinien -
Software Engineering 2009 - WorkshopbandGesellschaft für Informatik2009.
PDF [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-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]
-
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]
-
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]
2006
-
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]
-
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]
2005
-
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
-
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