My name is Christian Dietrich, I'm a computer-science student at the University of Erlangen-Nuremberg. More stuff may be follow here soon (where soon refers to the same time as "a topic of further research", which is a euphemism for "never")

Thesis

Master Thesis

  • Dietrich, Christian. (2014): Global Optimization of Non-Functional Properties in OSEK Real-Time Systems by Static Cross-Kernel Flow Analyses. Department of Computer Science 4, Distributed Systems and Operating Systems; University of Erlangen-Nuremberg. PDF

Bachelor Thesis

  • Dietrich, Christian. (2012): A Robust and Portable Approach for Extracting Build-System Variability. Department of Computer Science 4, Distributed Systems and Operating Systems; University of Erlangen-Nuremberg. PDF

Published Publications

2015

  • Dietrich, Christian ; Hoffmann, Martin ; Lohmann, Daniel. Globale Kontrollflussanalyse von eingebetteten Echtzeitsystemen. In: Halang, Wolfgang; Spinczyk, Olaf: {Betriebssysteme und Echtzeit} () 128--136
    [doi> 10.1007/978-3-662-48611-5_14]. (no review process)

  • Hoffmann, Martin ; Lukas, Florian ; Dietrich, Christian ; Lohmann, Daniel. dOSEK: Maszgeschneiderte Zuverlaessigkeit. In: Halang, Wolfgang; Spinczyk, Olaf: {Betriebssysteme und Echtzeit} () 69--78
    [doi> 10.1007/978-3-662-48611-5_8]. (no review process)

  • Schirmeier, Horst ; Hoffmann, Martin ; Dietrich, Christian ; Lenz, Michael ; Lohmann, Daniel ; Spinczyk, Olaf. (2015): FAIL*: An Open and Versatile Fault-Injection Framework for the Assessment of Software-Implemented Hardware Fault Tolerance. In: Sens, Pierre: Proceedings of the 11th European Dependable Computing Conference (EDCC '15) () .

  • Dietrich, Christian ; Hoffmann, Martin ; Lohmann, Daniel. (2015): Back to the Roots: Implementing the RTOS as a Specialized State Machine. In: : Proceedings of the 11th annual Workshop on Operating Systems Platforms for Embedded Real-Time applications (Lund, Sweden) .

  • Dietrich, Christian ; Hoffmann, Martin ; Lohmann, Daniel. (2015): Cross-Kernel Control-Flow-Graph Analysis for Event-Driven Real-Time Systems. In: : Proceedings of the 16th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (Portland, Oregon, PA, USA) .

  • Hoffmann, Martin ; Lukas, Florian ; Dietrich, Christian ; Lohmann, Daniel. (2015): dOSEK: The Design and Implementation of a Dependability-Oriented Static Embedded Kernel. In: : Proceedings of the 20th Real-Time and Embedded Technology and Applications Symposium (RTAS '15) (Seatlle, WA, USA) .

  • Dietrich, Christian ; Lohmann, Daniel. (2015): The Dataref Versuchung: Saving Time Through Better Internal Repeatability. SIGOPS Oper. Syst. Rev.. ACM Press. 49(1), 51--60
    [doi> 10.1145/2723872.2723880].

  • Hoffmann, Martin ; Ulbrich, Peter ; Dietrich, Christian ; Schirmeier, Horst ; Lohmann, Daniel ; Schroeder-Preikschat, Wolfgang. (2015): AN. Software Quality Journal. Springer-Verlag. .

2014

  • Hoffmann, Martin ; Ulbrich, Peter ; Dietrich, Christian ; Schirmeier, Horst ; Lohmann, Daniel ; Schroeder-Preikschat, Wolfgang. A Practitioner's Guide to Software-based Soft-Error Mitigation Using AN-Codes. In: : Proceedings of the 15th IEEE International Symposium on High Assurance Systems Engineering (HASE '14) (Miami, Florida, USA) IEEE Computer Society Press.
    [doi> 10.1109/HASE.2014.14].

  • Hoffmann, Martin ; Borchert, Christoph ; Dietrich, Christian ; Schirmeier, Horst ; Kapitza, Ruediger ; Spinczyk, Olaf ; Lohmann, Daniel. Effectiveness of Fault Detection Mechanisms in Static and Dynamic Operating System Designs. In: : Proceedings of the 17th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '14) (Reno, Nevada, USA) IEEE Computer Society Press.
    [doi> 10.1109/ISORC.2014.26].

  • Stilkerich, Isabella ; Taffner, Philip ; Erhardt, Christoph ; Dietrich, Christian ; Wawersich, Christian ; Stilkerich, Michael. (2014): Team Up: Cooperative Memory Management in Embedded Systems.
    [doi> 10.1145/2656106.2656129].

  • Tartler, Reinhard ; Dietrich, Christian ; Sincero, Julio ; Schroeder-Preikschat, Wolfgang ; Lohmann, Daniel. (2014): Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue. In: : Proceedings of the 2014 USENIX Annual Technical Conference (USENIX '14) (Philadelphia, PA, USA) 421--432. Open Access

2013

  • Hoffmann, Martin ; Dietrich, Christian ; Lohmann, Daniel. (2013): dOSEK: A Dependable RTOS for Automotive Applications (Fast Abstract). In: : Proceedings of the 19th Pacific Rim International Symposium on Dependable Computing (PRDC '13) (Vancouver, British Columbia, Canada) IEEE. .

  • Hoffmann, Martin ; Dietrich, Christian ; Lohmann, Daniel. (2013): Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience. In: : Proceedings of the 2nd Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13) (Koblenz, Germany) German Society of Informatics. .

  • Nadi, Sarah ; Dietrich, Christian ; Tartler, Reinhard ; Holt, Richard ; Lohmann, Daniel. (2013): Linux variability anomalies: what causes them and how do they get fixed?. In: : Proceedings of the 10th Working Conference on Mining Software Repositories (MSR '13) (San Francisco, USA) IEEE Press. 111--120
    [doi> 10.1109/MSR.2013.6624017].

2012

  • Dietrich, Christian ; Tartler, Reinhard ; Schroder-Preikschat, Wolfgang ; Lohmann, Daniel. A Robust Approach for Variability Extraction from the Linux Build System. In: : Proceedings of the 16th Software Product Line Conference (SPLC '12) (Salvador, Brazil) 21--30
    [doi> 10.1145/2362536.2362544].

  • Tartler, Reinhard ; Lohmann, Daniel ; Dietrich, Christian ; Egger, Christoph ; Sincero, Julio. (2012): Configuration Coverage in the Analysis of Large-Scale System Software. ACM SIGOPS Operating Systems Review. ACM Press. 45(3), 10--14
    [doi> 10.1145/2094091.2094095].

  • Dietrich, Christian ; Tartler, Reinhard ; Schroeder-Preikschat, Wolfgang ; Lohmann, Daniel. Understanding Linux Feature Distribution. In: Borchert, Christoph; Haupt, Michael; Lohmann, Daniel: Proceedings of the 2nd AOSD Workshop on Modularity in Systems Software (AOSD-MISS '12) (Potsdam, Germany)
    [doi> 10.1145/2162024.2162030].

  • Tartler, Reinhard ; Sincero, Julio ; Dietrich, Christian ; Schroeder-Preikschat, Wolfgang ; Lohmann, Daniel. (2012): Revealing and Repairing Configuration Inconsistencies in Large-Scale System Software. International Journal on Software Tools for Technology Transfer (STTT). Springer-Verlag. 14(5), 531-551
    [doi> 10.1007/s10009-012-0225-2].