Johannes Hölzl

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 16

Top Venues

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Matthew Brecknell, David Greenaway, Johannes Hölzl, Fabian Immler, Gerwin Klein, Rafal Kolanski, Japheth Lim, Michael Norrish, Norbert Schirmer, Salomon Sickert, Thomas Sewell, Harvey Tuch, Simon Wimmer
AutoCorres2. Arch. Formal Proofs 2024 (2024)
Christian Kop, Gerhard Leitner, Peter Schartner, Volodymyr A. Shekhovtsov, Claudia Steinberger, Eleni Zografou, Daniela Elisabeth Ströckl, Christoph Voutsinas, Herbert Groiss, Johannes Hölzl, Markus Irrasch
Towards a beneficial management of personal health records. CENTERIS/ProjMAN/HCist (2022)
Sander R. Dahmen, Johannes Hölzl, Robert Y. Lewis
Formalizing the Solution to the Cap Set Problem. ITP (2019)
Sander R. Dahmen, Johannes Hölzl, Robert Y. Lewis
Formalizing the Solution to the Cap Set Problem. CoRR (2019)
Simon Wimmer, Johannes Hölzl
Probabilistic Timed Automata. Arch. Formal Proofs 2018 (2018)
Simon Wimmer, Johannes Hölzl
MDP + TA = PTA: Probabilistic Timed Automata, Formalized (Short Paper). ITP (2018)
Jeremy Avigad, Johannes Hölzl, Luke Serafin
A Formally Verified Proof of the Central Limit Theorem. J. Autom. Reason. 59 (4) (2017)
Manuel Eberl, Johannes Hölzl, Tobias Nipkow
A Verified Compiler for Probability Density Functions. CoRR (2017)
Johannes Hölzl
Markov processes in Isabelle/HOL. CPP (2017)
Julian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl, Ondrej Kuncar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu, Christian Sternagel, René Thiemann, Dmitriy Traytel
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. FroCoS (2017)
Johannes Hölzl
Markov Chains and Markov Decision Processes in Isabelle/HOL. J. Autom. Reason. 59 (3) (2017)
Johannes Hölzl
Formalising Semantics for Expected Running Time of Probabilistic Programs. ITP (2016)
Johannes Hölzl, Andreas Lochbihler, Dmitriy Traytel
A Formalized Hierarchy of Probabilistic System Types - Proof Pearl. ITP (2015)
Johannes Hölzl, Andreas Lochbihler, Dmitriy Traytel
A Zoo of Probabilistic Systems. Arch. Formal Proofs 2015 (2015)
Manuel Eberl, Johannes Hölzl, Tobias Nipkow
A Verified Compiler for Probability Density Functions. ESOP (2015)
Johannes Hölzl
Verification of the UpDown Scheme. Arch. Formal Proofs 2015 (2015)
Jasmin Christian Blanchette, Johannes Hölzl, Andreas Lochbihler, Lorenz Panny, Andrei Popescu, Dmitriy Traytel
Truly Modular (Co)datatypes for Isabelle/HOL. ITP (2014)
Jeremy Avigad, Johannes Hölzl, Luke Serafin
A formally verified proof of the Central Limit Theorem. CoRR (2014)
Andrei Popescu, Johannes Hölzl
Probabilistic Noninterference. Arch. Formal Proofs 2014 (2014)
Andreas Lochbihler, Johannes Hölzl
Recursive Functions on Lazy Lists via Domains and Topologies. ITP (2014)
Manuel Eberl, Johannes Hölzl, Tobias Nipkow
A Verified Compiler for Probability Density Functions. Arch. Formal Proofs 2014 (2014)
Johannes Hölzl, Fabian Immler, Brian Huffman
Type Classes and Filters for Mathematical Analysis in Isabelle/HOL. ITP (2013)
Andrei Popescu, Johannes Hölzl, Tobias Nipkow
Formal Verification of Language-Based Concurrent Noninterference. J. Formaliz. Reason. 6 (1) (2013)
Andrei Popescu, Johannes Hölzl, Tobias Nipkow
Formalizing Probabilistic Noninterference. CPP (2013)
Andrei Popescu, Johannes Hölzl, Tobias Nipkow
Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference. CALCO (2013)
Johannes Hölzl, Tobias Nipkow
Interactive verification of Markov chains: Two distributed protocol case studies QFM (2012)
Johannes Hölzl, Tobias Nipkow
Markov Models. Arch. Formal Proofs 2012 (2012)
Andrei Popescu, Johannes Hölzl
Possibilistic Noninterference. Arch. Formal Proofs 2012 (2012)
Fabian Immler, Johannes Hölzl
Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL. ITP (2012)
Fabian Immler, Johannes Hölzl
Ordinary Differential Equations. Arch. Formal Proofs 2012 (2012)
Andrei Popescu, Johannes Hölzl, Tobias Nipkow
Proving Concurrent Noninterference. CPP (2012)
Johannes Hölzl, Tobias Nipkow
Verifying pCTL Model Checking. TACAS (2012)
Johannes Hölzl, Armin Heller
Three Chapters of Measure Theory in Isabelle/HOL. ITP (2011)
Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv
Specifying and verifying sparse matrix codes. ICFP (2010)
Johannes Hölzl
Quantitative Information Flow Analysis in Isabelle. AlgoSyn (2010)

Johannes Hölzl.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Johannes Hölzl