关注
Maximilian P. L. Haslbeck
Maximilian P. L. Haslbeck
在 in.tum.de 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Verified iptables firewall analysis and verification
C Diekmann, L Hupel, J Michaelis, M Haslbeck, G Carle
Journal of automated reasoning 61, 191-242, 2018
272018
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
202018
Verified Textbook Algorithms: a Biased Survey
T Nipkow, M Eberl, MPL Haslbeck
International Symposium on Automated Technology for Verification and …, 2020
192020
Verifying asymptotic time complexity of imperative programs in Isabelle
B Zhan, MPL Haslbeck
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018
182018
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
172022
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
72019
Verified Quantitative Analysis of Imperative Algorithms
MPL Haslbeck
Technische Universität München, 2021
62021
Kruskal’s algorithm for minimum spanning forest
MPL Haslbeck, P Lammich, J Biendarra
Archive of Formal Proofs, 2019
52019
Hoare logics for time bounds
MPL Haslbeck, T Nipkow
Tools and Algorithms for the Construction and Analysis of Systems, 155-171, 2024
42024
Competitive proving for fun
MPL Haslbeck, S Wimmer
Kalpa Publications in Computing 10, 9-14, 2019
32019
Verified analysis of list update algorithms
MPL Haslbeck, T Nipkow
36th IARCS Annual Conference on Foundations of Software Technology and …, 2016
32016
A verified LLL algorithm
R Bottesch, J Divasón, M Haslbeck, SJC Joosten, R Thiemann, A Yamada
Archive of Formal Proofs, 2018
22018
Analysis of list update algorithms
MPL Haslbeck, T Nipkow
Archive of Formal Proofs, 2016
12016
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
系统目前无法执行此操作,请稍后再试。
文章 1–17