Johannes Hölzl

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7649964 (Why is no real title available?) (available as arXiv preprint)	2023-02-03	Paper
Formal verification of language-based concurrent noninterference	2019-09-18	Paper
Formalizing the Solution to the Cap Set Problem (available as arXiv preprint)	2019-07-02	Paper
\(\mathrm{MDP + TA = PTA}\): probabilistic timed automata, formalized (short paper)	2018-10-04	Paper
Markov chains and Markov decision processes in Isabelle/HOL Journal of Automated Reasoning	2018-02-22	Paper
A formally verified proof of the central limit theorem Journal of Automated Reasoning	2018-02-02	Paper
Foundational (co)datatypes and (co)recursion for higher-order logic	2018-01-04	Paper
Formalising Semantics for Expected Running Time of Probabilistic Programs Interactive Theorem Proving	2016-10-27	Paper
A verified compiler for probability density functions Programming Languages and Systems	2016-04-26	Paper
A formalized hierarchy of probabilistic system types. Proof pearl Interactive Theorem Proving	2015-09-14	Paper
Specifying and verifying sparse matrix codes Proceedings of the 15th ACM SIGPLAN international conference on Functional programming	2015-03-05	Paper
Formalizing probabilistic noninterference Certified Programs and Proofs	2015-01-13	Paper
Truly modular (co)datatypes for Isabelle/HOL Interactive Theorem Proving	2014-09-08	Paper
Recursive Functions on Lazy Lists via Domains and Topologies Interactive Theorem Proving	2014-09-08	Paper
Noninterfering schedulers. When possibilistic noninterference implies probabilistic noninterference Algebra and Coalgebra in Computer Science	2013-09-13	Paper
Type classes and filters for mathematical analysis in Isabelle/HOL Interactive Theorem Proving	2013-08-07	Paper
Proving concurrent noninterference Certified Programs and Proofs	2013-04-19	Paper
Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL Interactive Theorem Proving	2012-09-20	Paper
Verifying pCTL model checking Tools and Algorithms for the Construction and Analysis of Systems	2012-06-29	Paper
Three chapters of measure theory in Isabelle/HOL Interactive Theorem Proving	2011-08-17	Paper
scientific article; zbMATH DE number 176354 (Why is no real title available?)	1993-05-18	Paper

Research outcomes over time

This page was built for person: Johannes Hölzl