Embedded System Software

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 Reverse Engineering the ESP32-C3 Wi-Fi Drivers for Static Worst-Case Analysis of Intermittently-Powered Systems (2025) Mudraje I, Vogelgesang K, Devreker J, Gerhorst L, Raffeck P, Wägemann P, Herfet T Conference contribution vNV-Heap: An Ownership-based Virtually Non-Volatile Heap for Embedded Systems (2025) Gerber ME, Gerhorst L, Mudraje I, Vogelgesang K, Herfet T, Wägemann P Conference contribution, 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 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 WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States (2024) Raffeck P, Maier J, Wägemann P Conference contribution