A verified compiler from Isabelle/HOL to CakeML L Hupel, T Nipkow 27th European Symposium on Programming, ESOP 2018, 2018 | 56 | 2018 |
Verified iptables firewall analysis and verification C Diekmann, L Hupel, J Michaelis, M Haslbeck, G Carle Journal of automated reasoning 61 (1), 191-242, 2018 | 25 | 2018 |
Translating Scala Programs to Isabelle/HOL L Hupel, V Kuncak Automated Reasoning, 8th International Joint Conference (IJCAR 2016), 2016 | 14* | 2016 |
Semantics-preserving simplification of real-world firewall rule sets C Diekmann, L Hupel, G Carle FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015 | 14 | 2015 |
Interactive Simplifier Tracing and Debugging in Isabelle L Hupel Conferences on Intelligent Computer Mathematics 8543 (Lecture Notes in …, 2014 | 8 | 2014 |
Directed Security Policies: A Stateful Network Implementation C Diekmann, L Hupel, G Carle EPTCS 150, 20-34, 2014 | 8 | 2014 |
Iptables Semantics C Diekmann, L Hupel | 4 | 2016 |
Properties of Random Graphs – Subgraph Containment L Hupel Archive of Formal Proofs, 2014 | 4 | 2014 |
Experience Report: The Next 1100 Haskell Programmers JC Blanchette, L Hupel, T Nipkow, L Noschinski, D Traytel Haskell Symposium 2014, 2014 | 4 | 2014 |
Verified Code Generation from Isabelle/HOL L Hupel Technische Universität München, 2019 | 3 | 2019 |
Certifying Dictionary Construction in Isabelle/HOL L Hupel Fundamenta Informaticae 170 (1-3), 177–205, 2019 | 3 | 2019 |
IP Addresses C Diekmann, J Michaelis, L Hupel Archive of Formal Proofs, Jun, 2016 | 3 | 2016 |
CakeML L Hupel, Y Zhang Archive of Formal Proofs, 2018 | 2 | 2018 |
Algorithms for Reduced Ordered Binary Decision Diagrams. J Michaelis, MW Haslbeck, P Lammich, L Hupel Arch. Formal Proofs 2016, 2016 | 2 | 2016 |
How does post-quantum cryptography affect Central Bank Digital Currency? L Hupel, M Rafiee International Conference on Ubiquitous Security, 45-62, 2023 | 1 | 2023 |
Dictionary Construction L Hupel Archive of Formal Proofs (May 2017). http://isa-afp. org/entries …, 2023 | 1 | 2023 |
An Algebra for Higher-Order Terms L Hupel Archive of Formal Proofs (Jan. 2019). http://isa-afp. org/entries …, 2019 | 1* | 2019 |
Lazifying case constants L Hupel Archive of Formal Proofs (Apr. 2017). http://isa-afp. org/entries/Lazy_Case …, 2017 | 1 | 2017 |
Constructor Functions L Hupel Archive of Formal Proofs 2017, 2017 | 1* | 2017 |
Extending Isabelle/HOL's Code Generator with support for the Go programming language T Stübinger, L Hupel arXiv preprint arXiv:2310.02704, 2023 | | 2023 |