Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: 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}, url = {https://www.isa-afp.org/entries/Go.html}, timestamp = {Thu, 21 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/afp/StubingerH24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Hupel23, author = {Lars Hupel}, title = {Fixed-length vectors}, journal = {Arch. Formal Proofs}, volume = {2023}, year = {2023}, url = {https://www.isa-afp.org/entries/Fixed\_Length\_Vector.html}, timestamp = {Fri, 15 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Hupel23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2308.15787}, doi = {10.48550/ARXIV.2308.15787}, eprinttype = {arXiv}, eprint = {2308.15787}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2308-15787.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2310.02704}, doi = {10.48550/ARXIV.2310.02704}, eprinttype = {arXiv}, eprint = {2310.02704}, timestamp = {Thu, 19 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-02704.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/DiekmannH20, author = {Cornelius Diekmann and Lars Hupel}, title = {Hello World}, journal = {Arch. Formal Proofs}, volume = {2020}, year = {2020}, url = {https://www.isa-afp.org/entries/Hello\_World.html}, timestamp = {Mon, 15 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/DiekmannH20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/dnb/Hupel19, author = {Lars Hupel}, title = {Verified Code Generation from Isabelle/HOL}, school = {Technical University of Munich, Germany}, year = {2019}, url = {https://nbn-resolving.org/urn:nbn:de:bvb:91-diss-20190711-1473785-1-3}, urn = {urn:nbn:de:bvb:91-diss-20190711-1473785-1-3}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/dnb/Hupel19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Hupel19, author = {Lars Hupel}, title = {An Algebra for Higher-Order Terms}, journal = {Arch. Formal Proofs}, volume = {2019}, year = {2019}, url = {https://www.isa-afp.org/entries/Higher\_Order\_Terms.html}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Hupel19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://www.isa-afp.org/entries/CakeML\_Codegen.html}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Hupel19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.3233/FI-2019-1859}, doi = {10.3233/FI-2019-1859}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Hupel19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Hupel18, author = {Lars Hupel}, title = {CakeML}, journal = {Arch. Formal Proofs}, volume = {2018}, year = {2018}, url = {https://www.isa-afp.org/entries/CakeML.html}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Hupel18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://www.isa-afp.org/entries/Generic\_Deriving.html}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/RadleH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10817-017-9445-1}, doi = {10.1007/S10817-017-9445-1}, timestamp = {Wed, 02 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jar/DiekmannHMHC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esop/HupelN18, author = {Lars Hupel and Tobias Nipkow}, editor = {Amal Ahmed}, title = {A Verified Compiler from Isabelle/HOL to CakeML}, booktitle = {Programming Languages and Systems - 27th European Symposium on Programming, {ESOP} 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10801}, pages = {999--1026}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-89884-1\_35}, doi = {10.1007/978-3-319-89884-1\_35}, timestamp = {Tue, 05 Jul 2022 08:30:25 +0200}, biburl = {https://dblp.org/rec/conf/esop/HupelN18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Hupel17, author = {Lars Hupel}, title = {Lazifying case constants}, journal = {Arch. Formal Proofs}, volume = {2017}, year = {2017}, url = {https://www.isa-afp.org/entries/Lazy\_Case.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Hupel17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Hupel17a, author = {Lars Hupel}, title = {Constructor Functions}, journal = {Arch. Formal Proofs}, volume = {2017}, year = {2017}, url = {https://www.isa-afp.org/entries/Constructor\_Funs.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Hupel17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Hupel17b, author = {Lars Hupel}, title = {Dictionary Construction}, journal = {Arch. Formal Proofs}, volume = {2017}, year = {2017}, url = {https://www.isa-afp.org/entries/Dict\_Construction.html}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Hupel17b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/DiekmannH16, author = {Cornelius Diekmann and Lars Hupel}, title = {Iptables{\_}Semantics}, journal = {Arch. Formal Proofs}, volume = {2016}, year = {2016}, url = {https://www.isa-afp.org/entries/Iptables\_Semantics.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/DiekmannH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://www.isa-afp.org/entries/IP\_Addresses.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/DiekmannMH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://www.isa-afp.org/entries/ROBDD.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/MichaelisHLH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/HupelK16, author = {Lars Hupel and Viktor Kuncak}, editor = {Nicola Olivetti and Ashish Tiwari}, title = {Translating Scala Programs to Isabelle/HOL - System Description}, booktitle = {Automated Reasoning - 8th International Joint Conference, {IJCAR} 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9706}, pages = {568--577}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40229-1\_38}, doi = {10.1007/978-3-319-40229-1\_38}, timestamp = {Mon, 26 Jun 2023 20:45:22 +0200}, biburl = {https://dblp.org/rec/conf/cade/HupelK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1604.00206}, eprinttype = {arXiv}, eprint = {1604.00206}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/DiekmannHC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1607.01539}, eprinttype = {arXiv}, eprint = {1607.01539}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/HupelK16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/DiekmannHC15, author = {Cornelius Diekmann and Lars Hupel and Georg Carle}, editor = {Nikolaj S. Bj{\o}rner and Frank S. de Boer}, title = {Semantics-Preserving Simplification of Real-World Firewall Rule Sets}, booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9109}, pages = {195--212}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19249-9\_13}, doi = {10.1007/978-3-319-19249-9\_13}, timestamp = {Thu, 14 Apr 2022 20:26:16 +0200}, biburl = {https://dblp.org/rec/conf/fm/DiekmannHC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/afp/Hupel14, author = {Lars Hupel}, title = {Properties of Random Graphs - Subgraph Containment}, journal = {Arch. Formal Proofs}, volume = {2014}, year = {2014}, url = {https://www.isa-afp.org/entries/Random\_Graph\_Subgraph\_Threshold.shtml}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/afp/Hupel14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/haskell/BlanchetteHNNT14, author = {Jasmin Christian Blanchette and Lars Hupel and Tobias Nipkow and Lars Noschinski and Dmitriy Traytel}, editor = {Wouter Swierstra}, title = {Experience report: the next 1100 Haskell programmers}, booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014}, pages = {25--30}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2633357.2633359}, doi = {10.1145/2633357.2633359}, timestamp = {Thu, 24 Jun 2021 16:19:29 +0200}, biburl = {https://dblp.org/rec/conf/haskell/BlanchetteHNNT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mkm/Hupel14, author = {Lars Hupel}, editor = {Stephen M. Watt and James H. Davenport and Alan P. Sexton and Petr Sojka and Josef Urban}, title = {Interactive Simplifier Tracing and Debugging in Isabelle}, booktitle = {Intelligent Computer Mathematics - International Conference, {CICM} 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8543}, pages = {328--343}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08434-3\_24}, doi = {10.1007/978-3-319-08434-3\_24}, timestamp = {Wed, 16 Mar 2022 23:55:39 +0100}, biburl = {https://dblp.org/rec/conf/mkm/Hupel14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/DiekmannHC14, author = {Cornelius Diekmann and Lars Hupel and Georg Carle}, editor = {Jun Pang and Yang Liu}, title = {Directed Security Policies: {A} Stateful Network Implementation}, booktitle = {Proceedings Third International Workshop on Engineering Safety and Security Systems, {ESSS} 2014, Singapore, Singapore, 13 May 2014}, series = {{EPTCS}}, volume = {150}, pages = {20--34}, year = {2014}, url = {https://doi.org/10.4204/EPTCS.150.3}, doi = {10.4204/EPTCS.150.3}, timestamp = {Mon, 23 Dec 2019 09:19:12 +0100}, biburl = {https://dblp.org/rec/journals/corr/DiekmannHC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Hupel14, author = {Lars Hupel}, title = {Interactive Simplifier Tracing and Debugging in Isabelle}, journal = {CoRR}, volume = {abs/1406.0292}, year = {2014}, url = {http://arxiv.org/abs/1406.0292}, eprinttype = {arXiv}, eprint = {1406.0292}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Hupel14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.