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

Towards Taming the Computing Continuum: System Software for Future Many-Core Architectures (2020) Schmaus F, Maier S, Langer T, Rabenstein J, Bauer L, Henkel J, Schröder-Preikschat W Conference contribution, Abstract of lecture Details and Proofs for: Stability Analysis of Multivariable Digital Control Systems with Uncertain Timing (2020) Gaukler M, Roppenecker G, Ulbrich P Other publication type Run-Time Enforcement of Non-functional Program Properties on MPSoCs (2020) Teich J, Mahmoody P, Pourmohseni B, Roloff S, Schröder-Preikschat W, Wildermann S Book chapter / Article in edited volumes Convergence Rate Abstractions for Weakly-Hard Real-Time Control (2019) Gaukler M, Rheinfels T, Ulbrich P, Roppenecker G Other publication type Analyse verbreiteter Anwendungen zum Lesen von elektronischen Büchern (2019) Benenson Z, Berger F, Cherepantsev A, Datsevich S, Do L, Eckert M, Elsberger T, et al. Other publication type Cocoon: Custom-fitted kernel compiled on demand (2019) Heinloth B, Ammon M, Nguyen DT, Hönig T, Sieh V, Schröder-Preikschat W Conference contribution Honey, I Shrunk the ELFs: Lightweight Binary Tailoring of Shared Libraries (2019) Ziegler A, Geus J, Heinloth B, Hönig T, Lohmann D Journal article Where to Look for What You See Is What You Sign? User Confusion in Transaction Security (2019) Haupert V, Gabert S Conference contribution, Conference Contribution Worst-case energy-consumption analysis by microarchitecture-aware timing analysis for device-driven cyber-physical systems (2019) Raffeck P, Eichler C, Wägemann P, Schröder-Preikschat W Conference contribution Asynchronous Abstract Machines: Anti-noise System Software for Many-core Processors (2019) Maier S, Hönig T, Wägemann P, Schröder-Preikschat W Conference contribution