| 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 | 17 | 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 | | |
