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 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 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 CO2CoDe: Towards Carbon-Aware Hardware/Software Co-Design for Intermittently-Powered Embedded Systems (2024) Raffeck P, Posner S, Wägemann P Conference contribution Crêpe: Clock Reconfigurability for Preemption Control (Artifact) (2024) Dengler E, Wägemann P Other publication type, Artifact Evaluation