Alexander Lochmann

According to our database, Alexander Lochmann authored at least 13 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification.

Aart Middeldorp, Alexander Lochmann, Fabian Mitterwallner

J. Autom. Reason., June, 2023

2022

First-Order Theory of Rewriting.

Alexander Lochmann, Bertram Felgenhauer

Arch. Formal Proofs, 2022

Reducing Rewrite Properties to Properties on Ground Terms.

Alexander Lochmann

Arch. Formal Proofs, 2022

Declarative Stream-based Acquisition and Processing of OSData with kCQL.

Christoph Borchert, Jochen Streicher, Alexander Lochmann, Olaf Spinczyk

Proceedings of the Machine Learning under Resource Constraints - Volume 1: Fundamentals, 2022

2021

Aufzeichnungsbasierte Analyse von Sperren in Betriebssystemen.

Alexander Lochmann

PhD thesis, 2021

Regular Tree Relations.

Alexander Lochmann, Bertram Felgenhauer, Christian Sternagel, René Thiemann, Thomas Sternagel

Arch. Formal Proofs, 2021

Certifying Proofs in the First-Order Theory of Rewriting.

Fabian Mitterwallner, Alexander Lochmann, Aart Middeldorp, Bertram Felgenhauer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

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

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020

Improving Linux-Kernel Tests for LockDoc with Feedback-driven Fuzzing.

Alexander Lochmann, Robin Thunig, Horst Schirmeier

CoRR, 2020

Formalized Proofs of the Infinity and Normal Form Predicates in the First-Order Theory of Rewriting.

Alexander Lochmann, Aart Middeldorp

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019

LockDoc: Trace-Based Analysis of Locking in the Linux Kernel.

Alexander Lochmann, Horst Schirmeier, Hendrik Borghorst, Olaf Spinczyk

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

Certified ACKBO.

Alexander Lochmann, Christian Sternagel

Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2017

Reproducible Load Tests for Android Systems with Trace-based Benchmarks.

Alexander Lochmann, Fabian Bruckner, Olaf Spinczyk

Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017