Alexander Lochmann

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 11

Top Topics

Rewrite Systems

Quantifier Free

Top Venues

Arch. Formal Proofs

Publications

Aart Middeldorp, Alexander Lochmann, Fabian Mitterwallner
First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification. J. Autom. Reason. 67 (2) (2023)
Alexander Lochmann, Bertram Felgenhauer
First-Order Theory of Rewriting. Arch. Formal Proofs 2022 (2022)
Alexander Lochmann
Reducing Rewrite Properties to Properties on Ground Terms. Arch. Formal Proofs 2022 (2022)
Fabian Mitterwallner, Alexander Lochmann, Aart Middeldorp, Bertram Felgenhauer
Certifying Proofs in the First-Order Theory of Rewriting. TACAS (2) (2021)
Alexander Lochmann, Aart Middeldorp, Fabian Mitterwallner, Bertram Felgenhauer
A verified decision procedure for the first-order theory of rewriting for linear variable-separated rewrite systems. CPP (2021)
Alexander Lochmann, Bertram Felgenhauer, Christian Sternagel, René Thiemann, Thomas Sternagel
Regular Tree Relations. Arch. Formal Proofs 2021 (2021)
Alexander Lochmann, Aart Middeldorp
Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting. TACAS (2) (2020)
Alexander Lochmann, Robin Thunig, Horst Schirmeier
Improving Linux-Kernel Tests for LockDoc with Feedback-driven Fuzzing. CoRR (2020)
Alexander Lochmann, Christian Sternagel
Certified ACKBO. CPP (2019)
Alexander Lochmann, Horst Schirmeier, Hendrik Borghorst, Olaf Spinczyk
LockDoc: Trace-Based Analysis of Locking in the Linux Kernel. EuroSys (2019)
Alexander Lochmann, Fabian Bruckner, Olaf Spinczyk
Reproducible Load Tests for Android Systems with Trace-based Benchmarks. ICPE Companion (2017)