Lehrstuhl für Informatik 4 (Verteilte Systeme und Betriebssysteme)

Reasoning with Bounded Self-reference Using Logical Interpreters (2013) Gorin D, Schröder L, Wißmann T Conference contribution, Original article Slothful Linux: Ein effizientes, hybrides Echtzeitbetriebssystem durch Hardware-basierte Task-Einlastung (2013) Müller R Conference contribution Moving Towards Industrial Software Ecosystems: Are Our Software Architectures Fit for the Future? (2013) Schultis KB, Elsner C, Lohmann D Conference contribution Linux Variability Anomalies: What Causes Them and How Do They Get Fixed? (2013) Nadi S, Dietrich C, Tartler R, Holt RC, Lohmann D Conference contribution Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience (2013) Hoffmann M, Dietrich C, Lohmann D Conference contribution Experiences During Extraction of Variability Models for Warehouse Management Systems (2013) Fang M, Leyh G, Elsner C, Doerr J Conference contribution dOSEK: A Dependable RTOS for Automotive Applications (2013) Hoffmann M, Dietrich C, Lohmann D Conference contribution Challenges in Managing Behavior Variability of Production Control Software (2013) Fang M, Leyh G, Elsner C, Dorr J Conference contribution A Resource-Aware Nearest Neighbor Search Algorithm for K-Dimensional Trees (2013) Paul J, Stechele W, Kroehnert M, Asfour T, Oechslein B, Erhardt C, Schedel J, et al. Conference contribution An Infrastructure for the Life Cycle Management of Multi Product Lines (2013) Holl G, Grünbacher P, Elsner C, Vierhauser M Conference contribution