Lehrstuhl für Informatik 4 (Systemsoftware)

PfIP: A UDP/IP Transactional Network Stack for Power-Failure Resilience in Embedded Systems (2025) Vogelgesang K, Mudraje I, Gerhorst L, Raffeck P, Wägemann P, Herfet T, Schröder-Preikschat W 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 Geo-Replicated Byzantine Fault-Tolerant State-Machine Replication with Low Latency (2024) Eischer M Thesis Targeting Tail Latency in Replicated Systems with Proactive Rejection (2024) Lawniczak L, Distler T Conference contribution Spider: A BFT Architecture for Geo-Replicated Cloud Services (2024) Eischer M, Distler T Other publication type