Johannes Hölzl

Homepages 🌐

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

E-Mails 📧

• ed.mut.ni @lzleoh

Entries

2024

AutoCorres2

by 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 and Simon Wimmer

Apr 17

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