Formal error bounds for the state space reduction of Markov chains von Michel, Fabian, Siegle, Markus

Volltext

Rate Lifting for Stochastic Process Algebra by Transition Context Augmentation von Soltanieh, Amin, Siegle, Markus

Volltext

Graphs and Combinatorial Optimization: From Theory to Applications: CTW 2023, Garmisch-Partenkirchen, Germany, June 20-22 von Brieden, Andreas, Pickl, Stefan, Siegle, Markus

Volltext

Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements von Tati, Bharath Siva Kumar, Siegle, Markus

Volltext

Graphs and Combinatorial Optimization: CTW 2023, Garmisch-Partenkirchen, Germany, June 20-22 von Brieden, Andreas, Pickl, Stefan, Siegle, Markus

Volltext

Lattice structures for bisimilar Probabilistic Automata von Schuster, Johann, Siegle, Markus

Volltext

Markov chains with perturbed rates to absorption: Theory and application to model repair von Gouberman, Alexander, Siegle, Markus, Tati, Bharath

Volltext

Markov Automata: Deciding weak bisimulation by means of non-naïvely vanishing states von Schuster, Johann, Siegle, Markus

Volltext

Rate Lifting for Stochastic Process Algebra – Exploiting Structural Properties von Siegle, Markus, Soltanieh, Amin

Volltext

Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization von Gouberman, Alexander, Siegle, Markus

Volltext

Solving Systems of Bilinear Equations for Transition Rate Reconstruction von Soltanieh, Amin, Siegle, Markus

Volltext

SAT-Based Analysis and Quantification of Information Flow in Programs von Klebanov, Vladimir, Manthey, Norbert, Muise, Christian

Volltext

It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models von Soltanieh, Amin, Siegle, Markus

Volltext

Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings von Joshi, Kaustubh, Siegle, Markus, Stoelinga, Mariëlle, D'Argenio, Pedro R

Volltext

Validation of Stochastic Systems: A Guide to Current Research von Baier, Christel, Haverkort, Boudewijn R, Hermanns, Holger, Katoen, Joost-Pieter, Siegle, Markus

Volltext

OpenSESAME—the simple but extensive, structured availability modeling environment von Walter, Max, Siegle, Markus, Bode, Arndt

Volltext

Formal Error Bounds for the State Space Reduction of Markov Chains von Michel, Fabian, Siegle, Markus

Volltext bestellen

Compositional Model Checking and Model Repair for a Class of Product Form Models von Soltanieh, Amin, Siegle, Markus

Volltext

Model Checking Markov Chains with Actions and State Labels von Baier, C., Cloth, L., Haverkort, B.R., Kuntz, M., Siegle, M.

Volltext

A New Approach to Predicting Reliable Project Runtimes via Probabilistic Model Checking von Vogl, Ulrich, Siegle, Markus

Volltext