BibTeX records: Lars Hupel

• > Home > Persons > Lars Hupel

@article{DBLP:journals/afp/StubingerH24,
  author       = {Terru St{\"{u}}binger and
                  Lars Hupel},
  title        = {Go Code Generation for Isabelle},
  journal      = {Arch. Formal Proofs},
  volume       = {2024},
  year         = {2024}
}

@article{DBLP:journals/afp/Hupel23,
  author       = {Lars Hupel},
  title        = {Fixed-length vectors},
  journal      = {Arch. Formal Proofs},
  volume       = {2023},
  year         = {2023}
}

@inproceedings{DBLP:conf/ubisec/HupelR23,
  author       = {Lars Hupel and
                  Makan Rafiee},
  title        = {How Does Post-quantum Cryptography Affect Central Bank Digital Currency?},
  booktitle    = {UbiSec},
  series       = {Communications in Computer and Information Science},
  volume       = {2034},
  pages        = {45--62},
  publisher    = {Springer},
  year         = {2023}
}

@article{DBLP:journals/corr/abs-2308-15787,
  author       = {Lars Hupel and
                  Makan Rafiee},
  title        = {How does post-quantum cryptography affect Central Bank Digital Currency?},
  journal      = {CoRR},
  volume       = {abs/2308.15787},
  year         = {2023}
}

@article{DBLP:journals/corr/abs-2310-02704,
  author       = {Terru St{\"{u}}binger and
                  Lars Hupel},
  title        = {Extending Isabelle/HOL's Code Generator with support for the Go programming
                  language},
  journal      = {CoRR},
  volume       = {abs/2310.02704},
  year         = {2023}
}

@article{DBLP:journals/afp/DiekmannH20,
  author       = {Cornelius Diekmann and
                  Lars Hupel},
  title        = {Hello World},
  journal      = {Arch. Formal Proofs},
  volume       = {2020},
  year         = {2020}
}

@phdthesis{DBLP:phd/dnb/Hupel19,
  author       = {Lars Hupel},
  title        = {Verified Code Generation from Isabelle/HOL},
  school       = {Technical University of Munich, Germany},
  year         = {2019}
}

@article{DBLP:journals/afp/Hupel19,
  author       = {Lars Hupel},
  title        = {An Algebra for Higher-Order Terms},
  journal      = {Arch. Formal Proofs},
  volume       = {2019},
  year         = {2019}
}

@article{DBLP:journals/afp/Hupel19a,
  author       = {Lars Hupel},
  title        = {A Verified Code Generator from Isabelle/HOL to CakeML},
  journal      = {Arch. Formal Proofs},
  volume       = {2019},
  year         = {2019}
}

@article{DBLP:journals/fuin/Hupel19,
  author       = {Lars Hupel},
  title        = {Certifying Dictionary Construction in Isabelle/HOL},
  journal      = {Fundam. Informaticae},
  volume       = {170},
  number       = {1-3},
  pages        = {177--205},
  year         = {2019}
}

@article{DBLP:journals/afp/Hupel18,
  author       = {Lars Hupel},
  title        = {CakeML},
  journal      = {Arch. Formal Proofs},
  volume       = {2018},
  year         = {2018}
}

@article{DBLP:journals/afp/RadleH18,
  author       = {Jonas R{\"{a}}dle and
                  Lars Hupel},
  title        = {Deriving generic class instances for datatypes},
  journal      = {Arch. Formal Proofs},
  volume       = {2018},
  year         = {2018}
}

@article{DBLP:journals/jar/DiekmannHMHC18,
  author       = {Cornelius Diekmann and
                  Lars Hupel and
                  Julius Michaelis and
                  Max W. Haslbeck and
                  Georg Carle},
  title        = {Verified iptables Firewall Analysis and Verification},
  journal      = {J. Autom. Reason.},
  volume       = {61},
  number       = {1-4},
  pages        = {191--242},
  year         = {2018}
}

@inproceedings{DBLP:conf/esop/HupelN18,
  author       = {Lars Hupel and
                  Tobias Nipkow},
  title        = {A Verified Compiler from Isabelle/HOL to CakeML},
  booktitle    = {{ESOP}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10801},
  pages        = {999--1026},
  publisher    = {Springer},
  year         = {2018}
}

@article{DBLP:journals/afp/Hupel17,
  author       = {Lars Hupel},
  title        = {Lazifying case constants},
  journal      = {Arch. Formal Proofs},
  volume       = {2017},
  year         = {2017}
}

@article{DBLP:journals/afp/Hupel17a,
  author       = {Lars Hupel},
  title        = {Constructor Functions},
  journal      = {Arch. Formal Proofs},
  volume       = {2017},
  year         = {2017}
}

@article{DBLP:journals/afp/Hupel17b,
  author       = {Lars Hupel},
  title        = {Dictionary Construction},
  journal      = {Arch. Formal Proofs},
  volume       = {2017},
  year         = {2017}
}

@article{DBLP:journals/afp/DiekmannH16,
  author       = {Cornelius Diekmann and
                  Lars Hupel},
  title        = {Iptables{\_}Semantics},
  journal      = {Arch. Formal Proofs},
  volume       = {2016},
  year         = {2016}
}

@article{DBLP:journals/afp/DiekmannMH16,
  author       = {Cornelius Diekmann and
                  Julius Michaelis and
                  Lars Hupel},
  title        = {{IP} Addresses},
  journal      = {Arch. Formal Proofs},
  volume       = {2016},
  year         = {2016}
}

@article{DBLP:journals/afp/MichaelisHLH16,
  author       = {Julius Michaelis and
                  Max W. Haslbeck and
                  Peter Lammich and
                  Lars Hupel},
  title        = {Algorithms for Reduced Ordered Binary Decision Diagrams},
  journal      = {Arch. Formal Proofs},
  volume       = {2016},
  year         = {2016}
}

@inproceedings{DBLP:conf/cade/HupelK16,
  author       = {Lars Hupel and
                  Viktor Kuncak},
  title        = {Translating Scala Programs to Isabelle/HOL - System Description},
  booktitle    = {{IJCAR}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9706},
  pages        = {568--577},
  publisher    = {Springer},
  year         = {2016}
}

@article{DBLP:journals/corr/DiekmannHC16,
  author       = {Cornelius Diekmann and
                  Lars Hupel and
                  Georg Carle},
  title        = {Semantics-Preserving Simplification of Real-World Firewall Rule Sets},
  journal      = {CoRR},
  volume       = {abs/1604.00206},
  year         = {2016}
}

@article{DBLP:journals/corr/HupelK16,
  author       = {Lars Hupel and
                  Viktor Kuncak},
  title        = {Translating Scala Programs to Isabelle/HOL},
  journal      = {CoRR},
  volume       = {abs/1607.01539},
  year         = {2016}
}

@inproceedings{DBLP:conf/fm/DiekmannHC15,
  author       = {Cornelius Diekmann and
                  Lars Hupel and
                  Georg Carle},
  title        = {Semantics-Preserving Simplification of Real-World Firewall Rule Sets},
  booktitle    = {{FM}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9109},
  pages        = {195--212},
  publisher    = {Springer},
  year         = {2015}
}

@article{DBLP:journals/afp/Hupel14,
  author       = {Lars Hupel},
  title        = {Properties of Random Graphs - Subgraph Containment},
  journal      = {Arch. Formal Proofs},
  volume       = {2014},
  year         = {2014}
}

@inproceedings{DBLP:conf/haskell/BlanchetteHNNT14,
  author       = {Jasmin Christian Blanchette and
                  Lars Hupel and
                  Tobias Nipkow and
                  Lars Noschinski and
                  Dmitriy Traytel},
  title        = {Experience report: the next 1100 Haskell programmers},
  booktitle    = {Haskell},
  pages        = {25--30},
  publisher    = {{ACM}},
  year         = {2014}
}

@inproceedings{DBLP:conf/mkm/Hupel14,
  author       = {Lars Hupel},
  title        = {Interactive Simplifier Tracing and Debugging in Isabelle},
  booktitle    = {{CICM}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8543},
  pages        = {328--343},
  publisher    = {Springer},
  year         = {2014}
}

@inproceedings{DBLP:journals/corr/DiekmannHC14,
  author       = {Cornelius Diekmann and
                  Lars Hupel and
                  Georg Carle},
  title        = {Directed Security Policies: {A} Stateful Network Implementation},
  booktitle    = {{ESSS}},
  series       = {{EPTCS}},
  volume       = {150},
  pages        = {20--34},
  year         = {2014}
}

@article{DBLP:journals/corr/Hupel14,
  author       = {Lars Hupel},
  title        = {Interactive Simplifier Tracing and Debugging in Isabelle},
  journal      = {CoRR},
  volume       = {abs/1406.0292},
  year         = {2014}
}