Publications (2015 - 2019)
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]
-
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]
-
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]
-
ARCS
Conference
A Parallel Adaptive Swarm Search Framework for Solving Black-Box Optimization Problems -
ARCS 2019; 32th International Conference on Architecture of Computing SystemsSpringer International Publishing2019.
[BibTex]
-
Thesis
Interaction-Aware Analysis and Optimization of Real-Time Application and Operating System -
PHD thesisLeibniz Universität Hannover2019.
PDF 10.15488/7253 [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]
-
Artifact
Whole-System WCEC Analysis for Energy-Constrained Real-Time Systems (Artifact) -
Dagstuhl Artifacts Series4.2Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik2018.
10.4230/DARTS.4.2.7 [BibTex]
-
ECRTS
Conference
A
Outstanding Paper Award
Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems -
Proceedings of the 30th Euromicro Conference on Real-Time Systems 2018Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik2018Outstanding Paper Award.
PDF 10.4230/LIPIcs.ECRTS.2018.24 [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]
-
TECS
Journal
A
Demystifying Soft-Error Mitigation by Control-Flow Checking – A New Perspective on Its Effectiveness -
ACM Transactions on Embedded Computing Systems16.5sACM2017.
10.1145/3126503 [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]
- Identification and classification of agent behaviour at runtime in open, trust-based organic computing systems
-
Journal of Systems Architecture - Embedded Systems Design752017.
10.1016/j.sysarc.2017.02.003 [BibTex]
- Organic Computing in the Spotlight
-
CoRRabs/1701.081252017.
PDF URL 1701.08125 [BibTex]
- Quantitative Robustness - A Generalised Approach to Compare the Impact of Disturbances in Self-organising Systems
-
Proceedings of the 9th International Conference on Agents and Artificial Intelligence, ICAART 2017, Volume 1, Porto, Portugal, February 24-26, 2017.SciTePress2017.
10.5220/0006137300390050 [BibTex]
-
ESE
Invited Talk
SysWCET: Ende-zu-Ende-Antwortzeiten für OSEK-Systeme -
Tagungsband des Embedded Software Engineering Kongress 20172017.
PDF Slides [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
-
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]
- 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016
-
Sameh Elnikety, Peter R. Lewis, Christian Müller-SchloerIEEE2016.
[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]
- A Threatmodel for Trust-based Systems Consisting of Open, Heterogeneous and Distributed Agents
-
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 1, Rome, Italy, February 24-26, 2016.SciTePress2016.
10.5220/0005696801730180 [BibTex]
- An Evaluation of Two Trust-Based Autonomic/Organic Grid Computing Systems for Volunteer-Based Distributed Rendering
-
2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, July 17-22, 2016IEEE Computer Society2016.
10.1109/ICAC.2016.55 [BibTex]
- An Open, Self-Organised Social Infrastructure of Autonomous Agents
-
2016.
10.1007/978-3-319-29201-4 [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]
- Bottom-Up Norm Adjustment in Open, Heterogeneous Agent Societies
-
2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016IEEE2016.
10.1109/FAS-W.2016.21 [BibTex]
- Combining Trust and ETX to Provide Robust Wireless Sensor Networks
-
2016.
[BibTex]
- Comparison of Surveillance Strategies to Identify Undesirable Behaviour in Multi-Agent Systems
-
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 1, Rome, Italy, February 24-26, 2016.SciTePress2016.
10.5220/0005679201320140 [BibTex]
- Controlling Negative Emergent Behavior by Graph Analysis at Runtime
-
TAAS11.22016.
10.1145/2890507 [BibTex]
- Coverage-guided Intelligent Test Loop - A Concept for Applying Instrumented Testing to Self-organising Systems
-
Proceedings of the 13th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2016) - Volume 1, Lisbon, Portugal, July 29-31, 2016.SciTePress2016.
10.5220/0005992702210226 [BibTex]
- Detecting Colluding Attackers in Distributed Grid Systems
-
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 1, Rome, Italy, February 24-26, 2016.SciTePress2016.
10.5220/0005708301980206 [BibTex]
- Dynamic Self-Reconfiguration of a MIPS-Based Soft-Processor Architecture
-
2016 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2016, Chicago, IL, USA, May 23-27, 2016IEEE Computer Society2016.
10.1109/IPDPSW.2016.158 [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]
- Goal-Oriented Holonics for Complex System (Self-)Integration: Concepts and Case Studies
-
10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2016, Augsburg, Germany, September 12-16, 2016IEEE Computer Society2016.
10.1109/SASO.2016.16 [BibTex]
- Improving Reliability and Reducing Overhead in Low-Power Sensor Networks Using Trust and Forgiveness
-
2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, July 17-22, 2016IEEE Computer Society2016.
10.1109/ICAC.2016.56 [BibTex]
- Measuring Self-Organisation Processes in Smart Camera Networks
-
2016.
[BibTex]
- Normative Control – Controlling Open Distributed Systems with Autonomous Entities
-
2016.
10.1007/978-3-319-29201-4 [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]
- Organic Computing: Controlling negative emergent behaviour with norms
-
2016.
[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]
- Runtime Clustering of Similarly Behaving Agents in Open Organic Computing Systems
-
Architecture of Computing Systems - ARCS 2016 - 29th International Conference, Nuremberg, Germany, April 4-7, 2016, ProceedingsSpringer2016.
10.1007/978-3-319-30695-7_24 [BibTex]
- The Social Concept of Trust as Enabler for Robustness in Open Self-Organising Systems
-
2016.
10.1007/978-3-319-29201-4 [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]
- Trustworthy Open Self-Organising Systems
-
Wolfgang Reif, Gerrit Anders, Hella Seebach, Jan-Philipp Steghöfer, Elisabeth André, Jörg Hähner, Christian Müller-Schloer, Theo UngererSpringer2016978-3-319-29199-4.
10.1007/978-3-319-29201-4 [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]
-
OC-DDC
Colloquium
Adaptive Swarm Search -
Organic Computing: Doctoral Dissertation Colloquium 2015Kassel University Press GmbH2015.
[BibTex]
- Addressing Challenges Beyond Classic Control with Organic Computing
-
ICINCO 2015 - Proceedings of the 12th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Colmar, Alsace, France, 21-23 July, 2015.SciTePress2015.
10.5220/0005556102640269 [BibTex]
- An Accusation-Based Strategy to Handle Undesirable Behaviour in Multi-agent Systems
-
2015 IEEE International Conference on Autonomic Computing, Grenoble, France, July 7-10, 2015IEEE Computer Society2015.
10.1109/ICAC.2015.69 [BibTex]
- Cooperative Self-optimization of Network Protocol Parameters at Runtime
-
2015.
[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]
- Defending Autonomous Agents Against Attacks in Multi-Agent Systems Using Norms
-
ICAART 2015 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, Lisbon, Portugal, 10-12 January, 2015.SciTePress2015.
[BibTex]
- Detecting and Isolating Inconsistently Behaving Agents using an Intelligent Control Loop
-
ICINCO 2015 - Proceedings of the 12th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Colmar, Alsace, France, 21-23 July, 2015.SciTePress2015.
10.5220/0005548402460253 [BibTex]
- Distributed Rendering in an Open Self-Organised Trusted Desktop Grid
-
2015 IEEE International Conference on Autonomic Computing, Grenoble, France, July 7-10, 2015IEEE Computer Society2015.
10.1109/ICAC.2015.66 [BibTex]
- Enhancing RPL for Robust and Efficient Routing in Challenging Environments
-
2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASO Workshops 2015, Cambridge, MA, USA, September 21-25, 2015IEEE Computer Society2015.
10.1109/SASOW.2015.6 [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]
- Improving Reliability and Endurance Using End-to-End Trust in Distributed Low-Power Sensor Networks
-
Architecture of Computing Systems - ARCS 2015 - 28th International Conference, Porto, Portugal, March 24-27, 2015, ProceedingsSpringer2015.
10.1007/978-3-319-16086-3_11 [BibTex]
- Measuring Self-Organisation in Distributed Systems by External Observation
-
2015.
[BibTex]
- Norm-based System Control in Distributed Low-Power Sensor Networks
-
2015.
[BibTex]
- Normative Control: Controlling Open Distributed Systems with Autonomous Entities
-
Trustworthy Open Self-Organising SystemsSpringer2015.
10.1007/978-3-319-29201-4_4 [BibTex]
-
OC-DDC
Colloquium
On the Application Possibilities of Organic Computing Principles in Socio-technical Systems -
Organic Computing: Doctoral Dissertation Colloquium 2015Kassel University Press GmbH2015.
[BibTex]
- Representation of Trust and Reputation in Self-Managed Computing Systems
-
15th IEEE International Conference on Computer and Information Technology, CIT 2015; 14th IEEE International Conference on Ubiquitous Computing and Communications, IUCC 2015; 13th IEEE International Conference on Dependable, Autonomic and Secure Computing, DASC 2015; 13th IEEE International Conference on Pervasive Intelligence and Computing, PICom 2015, Liverpool, United Kingdom, October 26-28, 2015IEEE2015.
10.1109/CIT/IUCC/DASC/PICOM.2015.273 [BibTex]
- Task Execution in Distributed Smart Systems
-
Internet and Distributed Computing Systems - 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. ProceedingsSpringer2015.
10.1007/978-3-319-23237-9_10 [BibTex]
- The Social Concept of Trust as Enabler for Robustness in Open Self-Organising Systems
-
Trustworthy Open Self-Organising SystemsSpringer2015.
10.1007/978-3-319-29201-4_1 [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]
- Trust Communities: An Open, Self-Organised Social Infrastructure of Autonomous Agents
-
Trustworthy Open Self-Organising SystemsSpringer2015.
10.1007/978-3-319-29201-4_5 [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]