Johann Schuster

A Multilevel Algorithm based on Binary Decision Diagrams

Markus Siegle, Johann Schuster, Markus. Siegle, 2007 .

Path-based calculation of MTTFF, MTTFR, and asymptotic unavailability with the stochastic process algebra tool CASPA †

Markus Siegle, Johann Schuster, 2011 .

LARES — A Novel Approach for Describing System Reconfigurability in Dependability Models of Fault-Tolerant Systems

Markus Siegle, Alexander Gouberman, Martin Riedl, 2009 .

Speeding up the Symbolic Multilevel Algorithm

Johann Schuster, de Markus Siegle, 2010 .

Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA

Michael Günther, Markus Siegle, Johann Schuster, 2010 .