Seguir
Lars Hupel
Lars Hupel
Chief Evangelist CBDC, G+D
E-mail confirmado em tum.de - Página inicial
Título
Citado por
Citado por
Ano
A verified compiler from Isabelle/HOL to CakeML
L Hupel, T Nipkow
27th European Symposium on Programming, ESOP 2018, 2018
562018
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
232018
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
142015
Interactive Simplifier Tracing and Debugging in Isabelle
L Hupel
Conferences on Intelligent Computer Mathematics 8543 (Lecture Notes in …, 2014
82014
Directed Security Policies: A Stateful Network Implementation
C Diekmann, L Hupel, G Carle
EPTCS 150, 20-34, 2014
82014
Iptables Semantics
C Diekmann, L Hupel
42016
Experience Report: The Next 1100 Haskell Programmers
JC Blanchette, L Hupel, T Nipkow, L Noschinski, D Traytel
Haskell Symposium 2014, 2014
42014
Verified Code Generation from Isabelle/HOL
L Hupel
Technische Universität München, 2019
32019
IP Addresses
C Diekmann, J Michaelis, L Hupel
Archive of Formal Proofs, Jun, 2016
32016
Properties of Random Graphs – Subgraph Containment
L Hupel
Archive of Formal Proofs, 2014
32014
Certifying Dictionary Construction in Isabelle/HOL
L Hupel
Fundamenta Informaticae 170 (1-3), 177–205, 2019
22019
CakeML
L Hupel, Y Zhang
Archive of Formal Proofs, 2018
22018
Algorithms for Reduced Ordered Binary Decision Diagrams.
J Michaelis, MW Haslbeck, P Lammich, L Hupel
Arch. Formal Proofs 2016, 2016
22016
Dictionary Construction
L Hupel
Archive of Formal Proofs (May 2017). http://isa-afp. org/entries …, 2023
12023
An Algebra for Higher-Order Terms
L Hupel
Archive of Formal Proofs (Jan. 2019). http://isa-afp. org/entries …, 2019
12019
Lazifying case constants
L Hupel
Archive of Formal Proofs (Apr. 2017). http://isa-afp. org/entries/Lazy_Case …, 2017
12017
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
How does post-quantum cryptography affect Central Bank Digital Currency?
L Hupel, M Rafiee
arXiv preprint arXiv:2308.15787, 2023
2023
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–20