Lehrstuhl für Informatik 4 (Systemsoftware)

Hard Shell, Reliable Core: Improving Resilience in Replicated Systems with Selective Hybridization (2025) Lawniczak L, Distler T Conference contribution WatwaOS: A Framework for Worst-Case–Aware Tailoring and Whole-System Analysis of Energy-Constrained Real-Time Systems (2025) Häberlein T, Dengler E, Raffeck P, Wägemann P Conference contribution, Conference Contribution Dynamic Fuzzing-Based Whole-System Timing Analysis (2025) Berger A, Schuster S, Wägemann P, Ulbrich P Conference contribution, Conference Contribution Positional Paper: A Clock-Distribution Abstraction for Resource-Constrained Real-Time Systems in Zephyr (2025) Dengler E, Häberlein T, Raffeck P, Wägemann P Conference contribution, Conference Contribution TinyEP: TinyML-enhanced Energy Profiling for Extreme Edge Devices (2024) Müller K, Weidner J, Franchi N, Wägemann P Journal article VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions (2024) Gerhorst L, Herzog H, Wägemann P, Ott M, Kapitza R, Hönig T Conference contribution Virtual Memory Revisited for Tiered Memory (2024) Giersch O, Nguyen DT, Nolte J, Schröder-Preikschat W Conference contribution Crêpe: Clock-Reconfiguration–Aware Preemption Control in Real-Time Systems with Devices (2024) Dengler E, Wägemann P Conference contribution, Conference Contribution The Platin Multi-Target Worst-Case Analysis Tool (2024) Maroun EJ, Dengler E, Dietrich C, Herzog H, Hepp S, Huber B, Knoop J, et al. Conference contribution TinyBFT: Byzantine Fault-Tolerant Replication for Highly Resource-Constrained Embedded Systems (2024) Böhm H, Distler T, Wägemann P Conference contribution, Conference Contribution