Johannes Hölzl

Probabilistic Timed Automata
by Simon Wimmer and Johannes Hölzl

A Zoo of Probabilistic Systems
by Johannes Hölzl, Andreas Lochbihler and Dmitriy Traytel

Verification of the UpDown Scheme
by Johannes Hölzl

A Verified Compiler for Probability Density Functions
by Manuel Eberl, Johannes Hölzl and Tobias Nipkow

Probabilistic Noninterference
by Andrei Popescu and Johannes Hölzl

Possibilistic Noninterference
by Andrei Popescu and Johannes Hölzl

Ordinary Differential Equations
by Fabian Immler and Johannes Hölzl

Markov Models
by Johannes Hölzl and Tobias Nipkow