Articles with public access mandates - Maximilian P. L. HaslbeckLearn more
Available somewhere: 7
Verified iptables firewall analysis and verification
C Diekmann, L Hupel, J Michaelis, M Haslbeck, G Carle
Journal of automated reasoning 61, 191-242, 2018
Mandates: Federal Ministry of Education and Research, Germany
Hoare logics for time bounds: A study in meta theory
MPL Haslbeck, T Nipkow
International Conference on Tools and Algorithms for the Construction and …, 2018
Mandates: German Research Foundation
Verified Textbook Algorithms: a Biased Survey
T Nipkow, M Eberl, MPL Haslbeck
International Symposium on Automated Technology for Verification and …, 2020
Mandates: German Research Foundation
Verifying asymptotic time complexity of imperative programs in Isabelle
B Zhan, MPL Haslbeck
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
Mandates: German Research Foundation
For a few dollars more: Verified fine-grained algorithm analysis down to llvm
MPL Haslbeck, P Lammich
ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (3), 1-36, 2022
Mandates: German Research Foundation
Refinement with time-refining the run-time of algorithms in Isabelle/HOL
MPL Haslbeck, P Lammich
10th International Conference on Interactive Theorem Proving (ITP 2019), 2019
Mandates: German Research Foundation
Verified analysis of list update algorithms
MPL Haslbeck, T Nipkow
36th IARCS Annual Conference on Foundations of Software Technology and …, 2016
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program