Max W. Haslbeck

15 papers B 4C 1Journal 8Unranked 2

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