## Homepages 🌐

- http://home.in.tum.de/~hoelzl

## E-Mails 📧

- ed.mut.ni @lzleoh

## Entries

### 2018

##### Probabilistic Timed Automata

by Simon Wimmer 🌐 and Johannes Hölzl 🌐
May 24

### 2015

##### A Zoo of Probabilistic Systems

by Johannes Hölzl 🌐, Andreas Lochbihler 🌐 and Dmitriy Traytel 🌐
May 27

##### Verification of the UpDown Scheme

by Johannes Hölzl 📧
Jan 28

### 2014

##### A Verified Compiler for Probability Density Functions

by Manuel Eberl 🌐, Johannes Hölzl 🌐 and Tobias Nipkow 🌐
Oct 09

##### Probabilistic Noninterference

by Andrei Popescu 🌐 and Johannes Hölzl 🌐
Mar 11

### 2012

##### Possibilistic Noninterference

by Andrei Popescu 🌐 and Johannes Hölzl 📧
Sep 10

##### Ordinary Differential Equations

by Fabian Immler 🌐 and Johannes Hölzl 🌐
Apr 26

##### Markov Models

by Johannes Hölzl 🌐 and Tobias Nipkow 🌐
Jan 03