Verified iptables firewall analysis and verification C Diekmann, L Hupel, J Michaelis, M Haslbeck, G Carle Journal of automated reasoning 61, 191-242, 2018 | 27 | 2018 |
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 | 20 | 2018 |
Verified Textbook Algorithms: a Biased Survey T Nipkow, M Eberl, MPL Haslbeck International Symposium on Automated Technology for Verification and …, 2020 | 19 | 2020 |
Verifying asymptotic time complexity of imperative programs in Isabelle B Zhan, MPL Haslbeck Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018 | 18 | 2018 |
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 | 16 | 2022 |
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 | 7 | 2019 |
Verified Quantitative Analysis of Imperative Algorithms MPL Haslbeck Technische Universität München, 2021 | 6 | 2021 |
Kruskal’s algorithm for minimum spanning forest MPL Haslbeck, P Lammich, J Biendarra Archive of Formal Proofs, 2019 | 5 | 2019 |
Hoare logics for time bounds MPL Haslbeck, T Nipkow Tools and Algorithms for the Construction and Analysis of Systems, 155-171, 2024 | 4 | 2024 |
Competitive proving for fun MPL Haslbeck, S Wimmer Kalpa Publications in Computing 10, 9-14, 2019 | 3 | 2019 |
Verified analysis of list update algorithms MPL Haslbeck, T Nipkow 36th IARCS Annual Conference on Foundations of Software Technology and …, 2016 | 3 | 2016 |
A verified LLL algorithm R Bottesch, J Divasón, M Haslbeck, SJC Joosten, R Thiemann, A Yamada Archive of Formal Proofs, 2018 | 2 | 2018 |
Analysis of list update algorithms MPL Haslbeck, T Nipkow Archive of Formal Proofs, 2016 | 1 | 2016 |
For a Few Dollars More MPL Haslbeck, P Lammich Programming Languages and Systems, 292-319, 0 | 1 | |
A verified LLL algorithm M Haslbeck, A Yamada, S Joosten, R Thiemann, J Divasón, R Bottesch Archive of Formal Proofs, 1-251, 2018 | | 2018 |
A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions T Nipkow, M Haslbeck International Conference on Automated Reasoning with Analytic Tableaux and …, 2013 | | 2013 |
Formal Verification of Bounds for the LLL Basis Reduction Algorithm M Haslbeck, R Thiemann | | |