Johann Schuster

Publication Activity (10 Years)

Years Active: 2008-2018
Publications (10 Years): 1

Top Venues

Inf. Comput.

CoRR

TACAS

Sci. Comput. Program.

Bundeswehr University Munich (PHD)

Education History

Bundeswehr University Munich

PHD

Publications

Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang
The quest for minimal quotients for probabilistic and Markov automata. Inf. Comput. 262 (2018)
Ludwig Griebl, Johann Schuster
Some notes on the abstraction operation for multi-terminal binary decision diagrams. Formal Methods Syst. Des. 44 (1) (2014)
Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster
Symbolic counterexample generation for large discrete-time Markov chains. Sci. Comput. Program. 91 (2014)
Johann Schuster, Markus Siegle
Markov Automata: Deciding weak bisimulation by means of non-naïvely vanishing states. Inf. Comput. 237 (2014)
Johann Schuster, Markus Siegle
Lattice structures for bisimilar Probabilistic Automata. INFINITY (2013)
Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang
The Quest for Minimal Quotients for Probabilistic Automata. TACAS (2013)
Ludwig Griebl, Johann Schuster
Some notes on the abstraction operation for Multi-Terminal Binary Decision Diagrams CoRR (2013)
Alexander Gouberman, Martin Riedl, Johann Schuster, Markus Siegle
A Modelling and Analysis Environment for LARES. MMB/DFT (2012)
Johann Schuster, Markus Siegle
Scale-Freeness of SPA Models with Weighted Immediate Actions. EPEW/UKPEW (2012)
Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker
Symbolic Counterexample Generation for Discrete-Time Markov Chains. FACS (2012)
Johann Schuster, Markus Siegle
Markov Automata: Deciding Weak Bisimulation by means of non-naively Vanishing States CoRR (2012)
Michael Günther, Johann Schuster, Markus Siegle
Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA. DYADEM-FTS@EDCC (2010)
Johann Schuster, Markus Siegle
Dependability modelling with the stochastic process algebra tool CASPA. DYADEM-FTS@EDCC (2010)
Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. SOFSEM (2009)
Martin Riedl, Johann Schuster, Markus Siegle
Recent Extensions to the Stochastic Process Algebra Tool CASPA. QEST (2008)
Thomas Krieger, Martin Riedl, Johann Schuster, Markus Siegle
A view-probability-matrix approach to the modelling of gossiping protocols. SIGMETRICS Perform. Evaluation Rev. 36 (3) (2008)
Johann Schuster, Markus Siegle
A Symbolic Multilevel Method with Sparse Submatrix Representation for Memory-Speed-Tradeoff. MMB (2008)

Johann Schuster.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Johann Schuster