Publications

2017

FMCAD Conference
Automatic Verification of Application-Tailored OSEK Kernels.
Hans-Peter Deifel, Christian Dietrich, Merlin Göttlinger, Daniel Lohmann, Stefan Milius, Lutz Schröder; In: Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (FMCAD '17); ACM Press, 2017. (To Appear.).
[PDF] [Raw Data] [BibTex]
ARCS Conference
Effectiveness of Software-Based Hardening for Radiation-Induced Soft Errors in Real-Time Operating Systems.
Thiago Santini, Christoph Borchert, Christian Dietrich, Horst Schirmeier, Martin Hoffmann, Olaf Spinczyk, Daniel Lohmann, Flávio Rech Wagner, Paolo Rech; In: Proceedings of the 2017 Conference on Architecture of Computing Systems (ARCS '17); Springer-Verlag, 2017.
[PDF] [10.1007/978-3-319-54999-6_1] [BibTex]
TECS Journal
Global Optimization of Fixed-Priority Real-Time Systems by RTOS-Aware Control-Flow Analysis.
Christian Dietrich, Martin Hoffmann, Daniel Lohmann; ACM Transactions on Embedded Computing Systems 16.2; ACM Press, 2017.
[PDF] [10.1145/2950053] [BibTex]
Identification and classification of agent behaviour at runtime in open, trust-based organic computing systems.
Jan Kantert, Sven Tomforde, Richard Scharrer, Susanne Weber, Sarah Edenhofer, Christian Müller-Schloer; Journal of Systems Architecture - Embedded Systems Design 75; 2017.
[10.1016/j.sysarc.2017.02.003] [BibTex]
OSPERT Workshop
Look Mum, no VM Exits! (Almost).
Ralf Ramsauer, Jan Kiszka, Daniel Lohmann, Wolfgang Mauerer; In: Proceedings of the 13th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '17)); 2017.
[PDF] [URL] [Slides] [BibTex]
LCTES Conference
OSEK-V: Application-Specific RTOS Instantiation in Hardware.
Christian Dietrich, Daniel Lohmann; In: Proceedings of the 2017 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '17); ACM Press, 2017.
[PDF] [10.1145/3078633.3078637] [BibTex]
Organic Computing in the Spotlight.
Sven Tomforde, Bernhard Sick, Christian Müller-Schloer; CoRR abs/1701.08125; 2017.
[URL] [BibTex]
Quantitative Robustness - A Generalised Approach to Compare the Impact of Disturbances in Self-organising Systems.
Jan Kantert, Sven Tomforde, Christian Müller-Schloer, Sarah Edenhofer, Bernhard Sick; In: Proceedings of the 9th International Conference on Agents and Artificial Intelligence, ICAART 2017, Volume 1, Porto, Portugal, February 24-26, 2017.; SciTePress, 2017.
[10.5220/0006137300390050] [BibTex]
RTAS Conference Outstanding Paper Award
SysWCET: Whole-System Response-Time Analysis for Fixed-Priority Real-Time Systems.
Christian Dietrich, Peter Wägemann, Peter Ulbrich, Daniel Lohmann; In: Proceedings of the 23rd IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '17); IEEE Computer Society Press, 2017. Outstanding Paper Award.
[PDF] [10.1109/RTAS.2017.37] [BibTex]
USENIX Conference Best Paper Award
cHash: Detection of Redundant Compilations via AST Hashing.
Christian Dietrich, Valentin Rothberg, Ludwig Füracker, Andreas Ziegler, Daniel Lohmann; In: Proceedings of the 2017 USENIX Annual Technical Conference; USENIX Association, 2017. Best Paper Award.
[PDF] [URL] [Raw Data] [BibTex]

2016

Workshop
A Memory Management Library for CT-Reconstruction on GPUs.
Hao Wu, Martin Berger, Andreas Maier, Daniel Lohmann; In: Bildverarbeitung für die Medizin; 2016.
[10.1007/978-3-662-49465-3_37] [BibTex]
A Threatmodel for Trust-based Systems Consisting of Open, Heterogeneous and Distributed Agents.
Jan Kantert, Lukas Klejnowski, Sarah Edenhofer, Sven Tomforde, Christian Müller-Schloer; In: Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 1, Rome, Italy, February 24-26, 2016.; SciTePress, 2016.
[10.5220/0005696801730180] [BibTex]
An Evaluation of Two Trust-Based Autonomic/Organic Grid Computing Systems for Volunteer-Based Distributed Rendering.
Jan Kantert, Christian Reinbold, Sven Tomforde, Christian Müller-Schloer; In: 2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, July 17-22, 2016; IEEE Computer Society, 2016.
[10.1109/ICAC.2016.55] [BibTex]
VAMOS Workshop
Analyzing the Impact of Feature Changes in Linux.
Andreas Ziegler, Valentin Rothberg, Daniel Lohmann; In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems; 2016.
[PDF] [10.1145/2866614.2866618] [BibTex]
Technical Report
Architecture-Violation Management for Internal Software Ecosystems: An Industry Case Study.
Klaus-Benedikt Schultis, Christoph Elsner, Daniel Lohmann; 2016.
[PDF] [URL] [BibTex]
WICSA Conference
Architecture-Violation Management for Internal Software Ecosystems.
Klaus-Benedikt Schultis, Christoph Elsner, Daniel Lohmann; In: Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture (WICSA '16)); 2016.
[URL] [10.1109/WICSA.2016.16] [BibTex]
Bottom-Up Norm Adjustment in Open, Heterogeneous Agent Societies.
Sarah Edenhofer, Christopher Stifter, Youssef Madkour, Sven Tomforde, Jan Kantert, Christian Müller-Schloer, Jörg Hähner; In: 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany, September 12-16, 2016; IEEE, 2016.
[10.1109/FAS-W.2016.21] [BibTex]
Comparison of Surveillance Strategies to Identify Undesirable Behaviour in Multi-Agent Systems.
Sarah Edenhofer, Christopher Stifter, Sven Tomforde, Jan Kantert, Christian Müller-Schloer, Jörg Hähner; In: Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 1, Rome, Italy, February 24-26, 2016.; SciTePress, 2016.
[10.5220/0005679201320140] [BibTex]
Controlling Negative Emergent Behavior by Graph Analysis at Runtime.
Jan Kantert, Sven Tomforde, Melanie Kauder, Richard Scharrer, Sarah Edenhofer, Jörg Hähner, Christian Müller-Schloer; TAAS 11.2; 2016.
[10.1145/2890507] [BibTex]
Coverage-guided Intelligent Test Loop - A Concept for Applying Instrumented Testing to Self-organising Systems.
Jan Kantert, Sven Tomforde, Susanne Weber, Christian Müller-Schloer; In: Proceedings of the 13th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2016) - Volume 1, Lisbon, Portugal, July 29-31, 2016.; SciTePress, 2016.
[10.5220/0005992702210226] [BibTex]
Detecting Colluding Attackers in Distributed Grid Systems.
Jan Kantert, Melanie Kauder, Sarah Edenhofer, Sven Tomforde, Christian Müller-Schloer; In: Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 1, Rome, Italy, February 24-26, 2016.; SciTePress, 2016.
[10.5220/0005708301980206] [BibTex]
Dynamic Self-Reconfiguration of a MIPS-Based Soft-Processor Architecture.
Stephan Nolting, Guillermo Payá Vayá, Florian Giesemann, Holger Blume, Sebastian Niemann, Christian Müller-Schloer; In: 2016 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2016, Chicago, IL, USA, May 23-27, 2016; IEEE Computer Society, 2016.
[10.1109/IPDPSW.2016.158] [BibTex]
SQJ Journal
Experiences with Software-based Soft-Error Mitigation using AN-Codes.
Martin Hoffmann, Peter Ulbrich, Christian Dietrich, Horst Schirmeier, Daniel Lohmann, Wolfgang Schröder-Preikschat; Software Quality Journal; Springer US, 2016.
[PDF] [10.1007/s11219-014-9260-4] [BibTex]
VAMOS Workshop
Feature Models in Linux - From Symbols to Semantic.
Valentin Rothberg, Nicolas Dintzner, Andreas Ziegler, Daniel Lohmann; In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems; 2016.
[PDF] [10.1145/2866614.2866624] [BibTex]
DSPL Workshop
Function Multiverses for Dynamic Variability.
Valentin Rothberg, Christian Dietrich, Alexander Graf, Daniel Lohmann; In: Foundations and Applications of Self* Systems; 2016.
[PDF] [URL] [BibTex]
Goal-Oriented Holonics for Complex System (Self-)Integration: Concepts and Case Studies.
Ada Diaconescu, Sylvain Frey, Christian Müller-Schloer, Jeremy Pitt, Sven Tomforde; In: 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2016, Augsburg, Germany, September 12-16, 2016; IEEE Computer Society, 2016.
[10.1109/SASO.2016.16] [BibTex]
Improving Reliability and Reducing Overhead in Low-Power Sensor Networks Using Trust and Forgiveness.
Jan Kantert, Sven Tomforde, Georg von Zengen, Susanne Weber, Lars C. Wolf, Christian Müller-Schloer; In: 2016 IEEE International Conference on Autonomic Computing, ICAC 2016, Wuerzburg, Germany, July 17-22, 2016; IEEE Computer Society, 2016.
[10.1109/ICAC.2016.56] [BibTex]
OpenSym Conference
Observing Custom Software Modifications: A Quantitative Approach of Tracking the Evolution of Patch Stacks.
Ralf Ramsauer, Daniel Lohmann, Wolfgang Mauerer; In: Proceedings of the 12th International Symposium on Open Collaboration (OpenSym '16)); 2016.
[10.1145/2957792.2957810] [BibTex]
it Journal
Providing Security on Demand Using Invasive Computing.
Gabor Drescher, Christoph Erhardt, Felix Freiling, Johannes Götzfried, Daniel Lohmann, Pieter Maene, Tilo Müller, Ingrid Verbauwhede, Andreas Weichslgartner, Stefan Wildermann; In: it - Special issue on Invasive Computing; it - Information Technology 58.6; De Gruyter Oldenbourg, 2016.
[10.1515/itit-2016-0032] [BibTex]
Runtime Clustering of Similarly Behaving Agents in Open Organic Computing Systems.
Jan Kantert, Richard Scharrer, Sven Tomforde, Sarah Edenhofer, Christian Müller-Schloer; In: Architecture of Computing Systems - ARCS 2016 - 29th International Conference, Nuremberg, Germany, April 4-7, 2016, Proceedings; Springer, 2016.
[10.1007/978-3-319-30695-7_24] [BibTex]
GPCE Conference
Towards Scalable Configuration Testing in Variable Software.
Valentin Rothberg, Christian Dietrich, Andreas Ziegler, Daniel Lohmann; In: Proceedings of the 2016 International Conference on Generative Programming: Concepts and Experiences; 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 Ungerer ; Springer, 2016.
[10.1007/978-3-319-29201-4] [BibTex]

2015

HIS Workshop
A Graph-Partition–Based Scheduling Policy for Heterogeneous Architectures.
Hao Wu, Daniel Lohmann, Wolfgang Schröder-Preikschat; In: Proceedings of the DATE Friday Workshop on Heterogeneous Architectures and Design Methods for Embedded Image Systems (HIS '15)); 2015.
[PDF] [BibTex]
RTAS Conference
AUTOBEST: A United AUTOSAR-OS and ARINC 653 Kernel.
Alexander Zuepke, Marc Bommert, Daniel Lohmann; In: Proceedings of the 21st IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '15); IEEE Computer Society Press, 2015.
[PDF] [10.1109/RTAS.2015.7108435] [BibTex]
Addressing Challenges Beyond Classic Control with Organic Computing.
Jan Kantert, Sven Tomforde, Christian Müller-Schloer; In: ICINCO 2015 - Proceedings of the 12th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Colmar, Alsace, France, 21-23 July, 2015.; SciTePress, 2015.
[10.5220/0005556102640269] [BibTex]
An Accusation-Based Strategy to Handle Undesirable Behaviour in Multi-agent Systems.
Sarah Edenhofer, Christopher Stifter, Uwe Jänen, Jan Kantert, Sven Tomforde, Jörg Hähner, Christian Müller-Schloer; In: 2015 IEEE International Conference on Autonomic Computing, Grenoble, France, July 7-10, 2015; IEEE Computer Society, 2015.
[10.1109/ICAC.2015.69] [BibTex]
OSPERT Workshop
Back to the Roots: Implementing the RTOS as a Specialized State Machine.
Christian Dietrich, Martin Hoffmann, Daniel Lohmann; In: Proceedings of the 11th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT '15)); 2015.
[PDF] [URL] [BibTex]
LCTES Conference
Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems.
Christian Dietrich, Martin Hoffmann, Daniel Lohmann; In: Proceedings of the 2015 ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES '15); ACM Press, 2015.
[PDF] [10.1145/2670529.2754963] [BibTex]
X10 Workshop
Cutting out the Middleman: OS-level Support for x10 Activities.
Manuel Mohr, Sebastian Buchwald, Andreas Zwinkau, Christoph Erhardt, Benjamin Oechslein, Jens Schedel, Daniel Lohmann; In: Proceedings of the ACM SIGPLAN Workshop on X10; ACM Press, 2015.
[10.1145/2771774.2771775] [BibTex]
Defending Autonomous Agents Against Attacks in Multi-Agent Systems Using Norms.
Jan Kantert, Sarah Edenhofer, Sven Tomforde, Jörg Hähner, Christian Müller-Schloer; In: ICAART 2015 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, Lisbon, Portugal, 10-12 January, 2015.; SciTePress, 2015.
[BibTex]
Detecting and Isolating Inconsistently Behaving Agents using an Intelligent Control Loop.
Jan Kantert, Sarah Edenhofer, Sven Tomforde, Jörg Hähner, Christian Müller-Schloer; In: ICINCO 2015 - Proceedings of the 12th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Colmar, Alsace, France, 21-23 July, 2015.; SciTePress, 2015.
[10.5220/0005548402460253] [BibTex]
Distributed Rendering in an Open Self-Organised Trusted Desktop Grid.
Jan Kantert, Henning Spiegelberg, Sven Tomforde, Jörg Hähner, Christian Müller-Schloer; In: 2015 IEEE International Conference on Autonomic Computing, Grenoble, France, July 7-10, 2015; IEEE Computer Society, 2015.
[10.1109/ICAC.2015.66] [BibTex]
Enhancing RPL for Robust and Efficient Routing in Challenging Environments.
Jan Kantert, Christian Ringwald, Georg von Zengen, Sven Tomforde, Lars C. Wolf, Christian Müller-Schloer; In: 2015 IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, SASO Workshops 2015, Cambridge, MA, USA, September 21-25, 2015; IEEE Computer Society, 2015.
[10.1109/SASOW.2015.6] [BibTex]
EDCC Conference
FAIL*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance.
Horst Schirmeier, Martin Hoffmann, Christian Dietrich, Michael Lenz, Daniel Lohmann, Olaf Spinczyk; In: Proceedings of the 11th European Dependable Computing Conference (EDCC '15); 2015.
[PDF] [BibTex]
Improving Reliability and Endurance Using End-to-End Trust in Distributed Low-Power Sensor Networks.
Jan Kantert, Sergej Wildemann, Georg von Zengen, Sarah Edenhofer, Sven Tomforde, Lars C. Wolf, Jörg Hähner, Christian Müller-Schloer; In: Architecture of Computing Systems - ARCS 2015 - 28th International Conference, Porto, Portugal, March 24-27, 2015, Proceedings; Springer, 2015.
[10.1007/978-3-319-16086-3_11] [BibTex]
GPCE Conference
Lightweight, Generative Variant Exploration for High-Performance Graphics Applications.
Kai Selgrad, Alexander Lier, Franz Köferl, Marc Stamminger, Daniel Lohmann; In: Proceedings of the 14th International Conference on Generative Programming and Component Engineering (GPCE '15); ACM Press, 2015.
[10.1145/2814204.2814220] [BibTex]
it Journal
Multi-layer software reliability for unreliable hardware.
Muhammad Shafique, Philip Axer, Christoph Borchert, Jian-Jia Chen, Kuan-Hsun Chen, Björn Döbel, Rolf Ernst, Hermann Härtig, Andreas Heinig, Rüdiger Kapitza, Florian Kriebel, Daniel Lohmann, Peter Marwedel, Semeen Rehman, Florian Schmoll, Olaf Spinczyk; it - Information Technology 57.3; De Gruyter, 2015.
[10.1515/itit-2014-1081] [BibTex]
Normative Control: Controlling Open Distributed Systems with Autonomous Entities.
Jan Kantert, Sarah Edenhofer, Sven Tomforde, Jörg Hähner, Christian Müller-Schloer; In: Trustworthy Open Self-Organising Systems; Springer, 2015.
[10.1007/978-3-319-29201-4_4] [BibTex]
Representation of Trust and Reputation in Self-Managed Computing Systems.
Jan Kantert, Sarah Edenhofer, Sven Tomforde, Christian Müller-Schloer; In: 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, 2015; IEEE, 2015.
[10.1109/CIT/IUCC/DASC/PICOM.2015.273] [BibTex]
JSA Journal
Resource Awareness on Heterogeneous MPSoCs for Image Processing.
Johny Paul, Walter Stechele, Benjamin Oechslein, Christoph Erhardt, Jens Schedel, Daniel Lohmann, Wolfgang Schröder-Preikschat, Manfred Kröhnert, Tamim Asfour, Éricles Sousa, Vahid Lari, Frank Hannig, Jürgen Teich, Artjum Grundnitsky, Lars Bauer, Jörg Henkel; Journal of Systems Architecture 61.10; Elsevier, 2015.
[URL] [10.1016/j.sysarc.2015.09.002] [BibTex]
JSA Journal
Self-Adaptive Corner Detection on MPSoC Through Resource-Aware Programming.
Johny Paul, Benjamin Oechslein, Christoph Erhardt, Jens Schedel, Manfred Kröhnert, Daniel Lohmann, Walter Stechele, Tamim Asfour, Wolfgang Schröder-Preikschat; Journal of Systems Architecture 61.10; Elsevier, 2015.
[URL] [10.1016/j.sysarc.2015.07.011] [BibTex]
Task Execution in Distributed Smart Systems.
Uwe Jänen, Carsten Grenz, Sarah Edenhofer, Anthony Stein, Jürgen Brehm, Jörg Hähner; In: Internet and Distributed Computing Systems - 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings; Springer, 2015.
[10.1007/978-3-319-23237-9_10] [BibTex]
The Social Concept of Trust as Enabler for Robustness in Open Self-Organising Systems.
Gerrit Anders, Hella Seebach, Jan-Philipp Steghöfer, Wolfgang Reif, Elisabeth André, Jörg Hähner, Christian Müller-Schloer, Theo Ungerer; In: Trustworthy Open Self-Organising Systems; Springer, 2015.
[10.1007/978-3-319-29201-4_1] [BibTex]
OSR Journal
The dataref versuchung.
Christian Dietrich, Daniel Lohmann; ACM SIGOPS Operating Systems Review; ACM Press, 2015.
[PDF] [10.1145/2723872.2723880] [BibTex]
Trust Communities: An Open, Self-Organised Social Infrastructure of Autonomous Agents.
Sarah Edenhofer, Sven Tomforde, Jan Kantert, Lukas Klejnowski, Yvonne Bernard, Jörg Hähner, Christian Müller-Schloer; In: Trustworthy Open Self-Organising Systems; Springer, 2015.
[10.1007/978-3-319-29201-4_5] [BibTex]
Workshop
dOSEK: Maßgeschneiderte Zuverlässigkeit.
Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel Lohmann; In: Betriebssysteme und Echtzeit; Springer, 2015.
[10.1007/978-3-662-48611-5_8] [BibTex]
RTAS Conference Best Paper Award
dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel.
Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel Lohmann; In: Proceedings of the 21st IEEE International Symposium on Real-Time and Embedded Technology and Applications (RTAS '15); IEEE Computer Society Press, 2015. Best Paper Award.
[PDF] [10.1109/RTAS.2015.7108449] [BibTex]