Johann Schuster

According to our database, Johann Schuster authored at least 16 papers between 2008 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

The quest for minimal quotients for probabilistic and Markov automata.

Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang

Inf. Comput., 2018

2014

Symbolic counterexample generation for large discrete-time Markov chains.

Nils Jansen, Ralf Wimmer, Erika Ábrahám, Barna Zajzon, Joost-Pieter Katoen, Bernd Becker, Johann Schuster

Sci. Comput. Program., 2014

Markov Automata: Deciding weak bisimulation by means of non-naïvely vanishing states.

Johann Schuster, Markus Siegle

Inf. Comput., 2014

Some notes on the abstraction operation for multi-terminal binary decision diagrams.

Ludwig Griebl, Johann Schuster

Formal Methods Syst. Des., 2014

2013

Lattice structures for bisimilar Probabilistic Automata.

Johann Schuster, Markus Siegle

Proceedings of the Proceedings 15th International Workshop on Verification of Infinite-State Systems, 2013

The Quest for Minimal Quotients for Probabilistic Automata.

Christian Eisentraut, Holger Hermanns, Johann Schuster, Andrea Turrini, Lijun Zhang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

2012

Towards faster numerical solution of Continuous Time Markov Chains stored by symbolic data structures.

Johann Schuster

PhD thesis, 2012

A Modelling and Analysis Environment for LARES.

Alexander Gouberman, Martin Riedl, Johann Schuster, Markus Siegle

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

Symbolic Counterexample Generation for Discrete-Time Markov Chains.

Nils Jansen, Erika Ábrahám, Barna Zajzon, Ralf Wimmer, Johann Schuster, Joost-Pieter Katoen, Bernd Becker

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

Scale-Freeness of SPA Models with Weighted Immediate Actions.

Johann Schuster, Markus Siegle

Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012

2010

Dependability modelling with the stochastic process algebra tool CASPA.

Johann Schuster, Markus Siegle

Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems, 2010

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

Michael Günther, Johann Schuster, Markus Siegle

Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems, 2010

2009

An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA.

Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

2008

A view-probability-matrix approach to the modelling of gossiping protocols.

Thomas Krieger, Martin Riedl, Johann Schuster, Markus Siegle

SIGMETRICS Perform. Evaluation Rev., 2008

Recent Extensions to the Stochastic Process Algebra Tool CASPA.

Martin Riedl, Johann Schuster, Markus Siegle

Proceedings of the Fifth International Conference on the Quantitative Evaluaiton of Systems (QEST 2008), 2008

A Symbolic Multilevel Method with Sparse Submatrix Representation for Memory-Speed-Tradeoff.

Johann Schuster, Markus Siegle

Proceedings of the Proceedings 14th GI/ITG Conference on Measurement, Modelling and Evaluation of Computer and Communication Systems (MMB 2008), March 31, 2008