Reproducible Load Tests for Android Systems with Trace-based Benchmarks. - Alexander Lochmann 002; Fabian Bruckner; Olaf Spinczyk (ICPE Companion, 2017)

LockDoc: Trace-Based Analysis of Locking in the Linux Kernel. - Alexander Lochmann 002; Horst Schirmeier; Hendrik Borghorst; Olaf Spinczyk (EuroSys, 2019)

Improving Linux-Kernel Tests for LockDoc with Feedback-driven Fuzzing. - Alexander Lochmann 002; Robin Thunig; Horst Schirmeier (CoRR, 2020)

Aufzeichnungsbasierte Analyse von Sperren in Betriebssystemen. - Alexander Lochmann 002 (2021)

Declarative Stream-based Acquisition and Processing of OSData with kCQL. - Christoph Borchert; Jochen Streicher; Alexander Lochmann 002; Olaf Spinczyk (Mach. Learn. under Resour. Constraints Vol. 1 (1), 2022)

Path Expressions Revisited - Towards Compiler-enforced Reusable Synchronization Patterns. - Thomas Alexander Hövelmann; Olaf Spinczyk; Alexander Krause 003; Horst Schirmeier; Peter Ulbrich (PLOS@SOSP, 2025)

Wasm-IO: Enabling Low-Level Device Interaction in WebAssembly for Industry Automation. - Maximilian Seidler; Alexander Krause 003; Peter Ulbrich (ACM Trans. Embed. Comput. Syst., 2025)

Extending Lifetime of Embedded Systems by WebAssembly-based Functional Extensions Including Drivers. - Maximilian Seidler; Alexander Krause 003; Peter Ulbrich (CoRR, 2025)