Johann Schuster

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