Maximilian P. L. Haslbeck
From MaRDI portal
Person:1799113
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| scientific article; zbMATH DE number 7649969 (Why is no real title available?) | 2023-02-03 | Paper |
| Verified Textbook Algorithms 1517.68443 | 2022-12-22 | Paper |
| For a few dollars more. Verified fine-grained algorithm analysis down to LLVM | 2021-10-18 | Paper |
| Hoare logics for time bounds. A study in meta theory | 2019-09-16 | Paper |
| Verifying asymptotic time complexity of imperative programs in Isabelle (available as arXiv preprint) | 2018-10-18 | Paper |
| Verified iptables firewall analysis and verification Journal of Automated Reasoning | 2018-08-21 | Paper |
| Verified analysis of list update algorithms | 2018-04-19 | Paper |
| Mining the Archive of Formal Proofs Lecture Notes in Computer Science | 2015-11-20 | Paper |
| A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions Lecture Notes in Computer Science | 2013-10-04 | Paper |
Research outcomes over time
This page was built for person: Maximilian P. L. Haslbeck
