Max W. Haslbeck

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 15

Top Topics

Tree Structures

Euclidean Distance Transform

Top Venues

Arch. Formal Proofs

J. Autom. Reason.

Publications

Max W. Haslbeck, René Thiemann
An Isabelle/HOL formalization of AProVE's termination method for LLVM IR. CPP (2021)
Ralph Bottesch, Max W. Haslbeck, Alban Reynaud, René Thiemann
Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL. NFM (2020)
René Thiemann, Ralph Bottesch, Jose Divasón, Max W. Haslbeck, Sebastiaan J. C. Joosten, Akihisa Yamada
Formalizing the LLL Basis Reduction Algorithm and the LLL Factorization Algorithm in Isabelle/HOL. J. Autom. Reason. 64 (5) (2020)
Manuel Eberl, Max W. Haslbeck, Tobias Nipkow
Verified Analysis of Random Binary Tree Structures. J. Autom. Reason. 64 (5) (2020)
Max W. Haslbeck, Manuel Eberl
Skip Lists. Arch. Formal Proofs 2020 (2020)
Ralph Bottesch, Max W. Haslbeck, René Thiemann
Farkas' Lemma and Motzkin's Transposition Theorem. Arch. Formal Proofs 2019 (2019)
Ralph Bottesch, Max W. Haslbeck, René Thiemann
Verifying an Incremental Theory Solver for Linear Arithmetic in Isabelle/HOL. FroCos (2019)
Ralph Bottesch, Max W. Haslbeck, René Thiemann
A Verified Efficient Implementation of the LLL Basis Reduction Algorithm. LPAR (2018)
Manuel Eberl, Max W. Haslbeck, Tobias Nipkow
Verified Analysis of Random Binary Tree Structures. ITP (2018)
Cornelius Diekmann, Lars Hupel, Julius Michaelis, Max W. Haslbeck, Georg Carle
Verified iptables Firewall Analysis and Verification. J. Autom. Reason. 61 (1-4) (2018)
Max W. Haslbeck, Manuel Eberl, Tobias Nipkow
Treaps. Arch. Formal Proofs 2018 (2018)
Cornelius Diekmann, Julius Michaelis, Max W. Haslbeck, Georg Carle
Verified iptables firewall analysis. Networking (2016)
Julius Michaelis, Max W. Haslbeck, Peter Lammich, Lars Hupel
Algorithms for Reduced Ordered Binary Decision Diagrams. Arch. Formal Proofs 2016 (2016)
Cornelius Diekmann, Julius Michaelis, Max W. Haslbeck
Simple Firewall. Arch. Formal Proofs 2016 (2016)
Jasmin Christian Blanchette, Max W. Haslbeck, Daniel Matichuk, Tobias Nipkow
Mining the Archive of Formal Proofs. CICM (2015)