Maximilian P. L. Haslbeck

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 11

Top Topics

Refinement Process

Imperative Programs

Top Venues

Arch. Formal Proofs

Publications

Maximilian P. L. Haslbeck, Peter Lammich
For a Few Dollars More: Verified Fine-Grained Algorithm Analysis Down to LLVM. ACM Trans. Program. Lang. Syst. 44 (3) (2022)
Maximilian P. L. Haslbeck, Peter Lammich
For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM. ESOP (2021)
Tobias Nipkow, Manuel Eberl, Maximilian P. L. Haslbeck
Verified Textbook Algorithms - A Biased Survey. ATVA (2020)
Maximilian P. L. Haslbeck, Peter Lammich
Refinement with Time - Refining the Run-Time of Algorithms in Isabelle/HOL. ITP (2019)
Maximilian P. L. Haslbeck, Peter Lammich, Julian Biendarra
Kruskal's Algorithm for Minimum Spanning Forest. Arch. Formal Proofs 2019 (2019)
Maximilian P. L. Haslbeck, Tobias Nipkow
Hoare Logics for Time Bounds - A Study in Meta Theory. TACAS (1) (2018)
Bohua Zhan, Maximilian P. L. Haslbeck
Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle. IJCAR (2018)
Bohua Zhan, Maximilian P. L. Haslbeck
Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle. CoRR (2018)
Maximilian P. L. Haslbeck, Tobias Nipkow
Hoare Logics for Time Bounds. Arch. Formal Proofs 2018 (2018)
Maximilian P. L. Haslbeck, Tobias Nipkow
Analysis of List Update Algorithms. Arch. Formal Proofs 2016 (2016)
Maximilian P. L. Haslbeck, Tobias Nipkow
Verified Analysis of List Update Algorithms. FSTTCS (2016)
Tobias Nipkow, Maximilian P. L. Haslbeck
A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions. TABLEAUX (2013)