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

Certified ACKBO. - Alexander Lochmann; Christian Sternagel (CPP, 2019)

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

Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting. - Alexander Lochmann; Aart Middeldorp (TACAS (2), 2020)

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

A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems. - Alexander Lochmann; Aart Middeldorp; Fabian Mitterwallner; Bertram Felgenhauer (CPP, 2021)

Certifying Proofs in the First-Order Theory of Rewriting. - Fabian Mitterwallner; Alexander Lochmann; Aart Middeldorp; Bertram Felgenhauer (TACAS (2), 2021)

Regular Tree Relations. - Alexander Lochmann; Bertram Felgenhauer; Christian Sternagel; René Thiemann; Thomas Sternagel (Arch. Formal Proofs, 2021)

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

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

Reducing Rewrite Properties to Properties on Ground Terms. - Alexander Lochmann (Arch. Formal Proofs, 2022)

First-Order Theory of Rewriting. - Alexander Lochmann; Bertram Felgenhauer (Arch. Formal Proofs, 2022)

First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification. - Aart Middeldorp; Alexander Lochmann; Fabian Mitterwallner (J. Autom. Reason., 2023)