The Interlocking Bus Network for Fault-Tolerant Processor Arrays. - Markus Siegle; Douglas S. Reeves; Krzysztof Kozminski (Fault-Tolerant Computing Systems, 1991)

Monitoring Program Behaviour on SUPRENUM. - Markus Siegle; Richard Hofmann (ISCA, 1992)

Using Structured Modelling for Efficient Performance Prediction of Parallel Systems. - Markus Siegle (PARCO, 1993)

Reduced Markov Models Of Parallel Programs With Replicated Processes. - Markus Siegle (PDP, 1994)

Distributed Performance Monitoring: Methods, Tools, and Applications. - Richard Hofmann; Rainer Klar; Bernd Mohr; Andreas Quick; Markus Siegle (IEEE Trans. Parallel Distributed Syst., 1994)

Messung und Modellierung paralleler und verteilter Rechensysteme - Rainer Klar; Peter Dauphin; Franz Hartleb; Richard Hofmann; Bernd Mohr; Andreas Quick; Markus Siegle (Messung und Modellierung paralleler und verteilter Rechensysteme, 1995)

Modellierung und Meßunterstützung mit dem Werkzeug PEPP. - Markus Siegle; Andreas Quick; Rainer Klar; Peter Dauphin; Franz Hartleb (Informationstechnik Tech. Inform., 1995)

Beschreibung und Analyse von Markovmodellen mit grossem Zustandsraum. - Markus Siegle (1995)

Combining gprof and event-driven monitoring for analyzing distributed programs: a rough view of NCSA mosaic. - Chenglian Peng; Rainer Klar; Richard Hofmann; Peter Dauphin; Markus Siegle (J. Comput. Sci. Technol., 1996)

Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation. - Holger Hermanns; Markus Siegle (ARTS, 1999)

TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. - Holger Hermanns; Vassilis Mertsiotakis; Markus Siegle (CAV, 1999)

Symbolic Minimisation of Stochastic Process Algebra Models. - Holger Hermanns; Markus Siegle (FBT, 1999)

Compositional Representation and Reduction of Stochastic Labelled Transition Systems based on Decision Node BDDs. - Markus Siegle (MMB, 1999)

Towards Model Checking Stochastic Process Algebra. - Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle (IFM, 2000)

A Markov Chain Model Checker. - Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle (TACAS, 2000)

Compositional performance modelling with the TIPPtool. - Holger Hermanns; Ulrich Herzog; Ulrich Klehmet; Vassilis Mertsiotakis; Markus Siegle (Perform. Evaluation, 2000)

Advances in Model Representations. - Markus Siegle (PAPM-PROBMIV, 2001)

Deriving Symbolic Representations from Stochastic Process Algebras. - Matthias Kuntz; Markus Siegle (PAPM-PROBMIV, 2002)

ETMCC: Model Checking Performability Properties of Markov Chains. - Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle (DSN, 2003)

On the use of MTBDDs for performability analysis and verification of stochastic systems. - Holger Hermanns; Marta Z. Kwiatkowska; Gethin Norman; David Parker 001; Markus Siegle (J. Log. Algebraic Methods Program., 2003)

A tool for model-checking Markov chains. - Holger Hermanns; Joost-Pieter Katoen; Joachim Meyer-Kayser; Markus Siegle (Int. J. Softw. Tools Technol. Transf., 2003)

Model Checking Action- and State-Labelled Markov Chains. - Christel Baier; Lucia Cloth; Boudewijn R. Haverkort; Matthias Kuntz; Markus Siegle (DSN, 2004)

Symbolic Performance and Dependability Evaluation with the Tool CASPA. - Matthias Kuntz; Markus Siegle; Edith Werner (FORTE Workshops, 2004)

An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. - Kai Lampka; Markus Siegle; Max Walter (FMICS/PDMC, 2006)

Verifying Finite State Machines in Probabilistic Environments. - Markus Siegle (MBMV, 2006)

CASPA: Symbolic model checking of stochastic systems. - Matthias Kuntz; Markus Siegle (MMB, 2006)

Activity-local symbolic state graph generation for high-level stochastic models. - Kai Lampka; Markus Siegle (MMB, 2006)

Symbolic Model Checking of Stochastic Systems: Theory and Implementation. - Matthias Kuntz; Markus Siegle (SPIN, 2006)

Analysis of Markov reward models using zero-suppressed multi-terminal BDDs. - Kai Lampka; Markus Siegle (VALUETOOLS, 2006)

Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs. - Kai Lampka; S. Harwarth; Markus Siegle (VALUETOOLS, 2007)

Model Checking Markov Chains with Actions and State Labels. - Christel Baier; Lucia Cloth; Boudewijn R. Haverkort; Matthias Kuntz; Markus Siegle (IEEE Trans. Software Eng., 2007)

A Symbolic Multilevel Method with Sparse Submatrix Representation for Memory-Speed-Tradeoff. - Johann Schuster; Markus Siegle (MMB, 2008)

Recent Extensions to the Stochastic Process Algebra Tool CASPA. - Martin Riedl 001; Johann Schuster; Markus Siegle (QEST, 2008)

OpenSESAME - the simple but extensive, structured availability modeling environment. - Max Walter; Markus Siegle; Arndt Bode (Reliab. Eng. Syst. Saf., 2008)

Quantitative analysis of gossiping protocols. - Boudewijn R. Haverkort; Markus Siegle; Maarten van Steen (SIGMETRICS Perform. Evaluation Rev., 2008)

A view-probability-matrix approach to the modelling of gossiping protocols. - Thomas Krieger; Martin Riedl 001; Johann Schuster; Markus Siegle (SIGMETRICS Perform. Evaluation Rev., 2008)

An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. - Jens Bachmann; Martin Riedl 001; Johann Schuster; Markus Siegle (SOFSEM, 2009)

Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA. - Michael Günther 008; Johann Schuster; Markus Siegle (DYADEM-FTS@EDCC, 2010)

Dependability modelling with the stochastic process algebra tool CASPA. - Johann Schuster; Markus Siegle (DYADEM-FTS@EDCC, 2010)

On Lifetime Optimization of Boolean Parallel Systems with Erlang Repair Distributions. - Alexander Gouberman; Markus Siegle (OR, 2010)

Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications. - Kai Lampka; Markus Siegle; Jörn Ossowski; Christel Baier (Formal Methods Syst. Des., 2010)

Scalable Stochastic Modelling for Resilience. - Jeremy T. Bradley; Lucia Cloth; Richard A. Hayden; Leïla Kloul; Philipp Reinecke; Markus Siegle; Nigel Thomas; Katinka Wolter (Resilience Assessment and Evaluation of Computing Systems, 2012)

Scale-Freeness of SPA Models with Weighted Immediate Actions. - Johann Schuster; Markus Siegle (EPEW/UKPEW, 2012)

A Modelling and Analysis Environment for LARES. - Alexander Gouberman; Martin Riedl 001; Johann Schuster; Markus Siegle (MMB/DFT, 2012)

Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization. - Alexander Gouberman; Markus Siegle (ROCKS, 2012)

Preface. - Markus Siegle (QMPD, 2012)

Lattice structures for bisimilar Probabilistic Automata. - Johann Schuster; Markus Siegle (INFINITY, 2013)

An IDE for the LARES Toolset. - Alexander Gouberman; Christophe Grand; Martin Riedl 001; Markus Siegle (MMB/DFT, 2014)

Markov Automata: Deciding weak bisimulation by means of non-naïvely vanishing states. - Johann Schuster; Markus Siegle (Inf. Comput., 2014)

Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. - Bharath Siva Kumar Tati; Markus Siegle (SynCoP, 2015)

Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements. - Bharath Siva Kumar Tati; Markus Siegle (Cassting/SynCoP, 2016)

A New Approach to Predicting Reliable Project Runtimes via Probabilistic Model Checking. - Ulrich Vogl; Markus Siegle (EPEW, 2017)

Perturbation of CTMC Trapping Probabilities with Application to Model Repair. - Alexander Gouberman; Markus Siegle; Bharath Siva Kumar Tati (VALUETOOLS, 2017)

Analysing reward measures of LARES performability models by discontinuous Markov chains. - Alexander Gouberman; Martin Riedl 001; Markus Siegle (Int. J. Crit. Comput. Based Syst., 2017)

Compositional Model Checking and Model Repair for a Class of Product Form Models. - Amin Soltanieh; Markus Siegle (PASM, 2019)

Markov chains with perturbed rates to absorption: Theory and application to model repair. - Alexander Gouberman; Markus Siegle; Bharath Tati (Perform. Evaluation, 2019)

It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models. - Amin Soltanieh; Markus Siegle (MMB, 2020)

Solving Systems of Bilinear Equations for Transition Rate Reconstruction. - Amin Soltanieh; Markus Siegle (FSEN, 2021)

Rate Lifting for Stochastic Process Algebra - Exploiting Structural Properties -. - Markus Siegle; Amin Soltanieh (QEST, 2022)

Scaled Agile: Toolgestützte Echtzeitplausibilisierung des PI-Planning. - Ulrich Vogl; Markus Siegle (PVM, 2023)

Markov Chain Aggregation with Error Bounds on Transient Distributions. - Fabian Michel; Markus Siegle (ASMTA, 2024)

Rate Lifting for Stochastic Process Algebra by Transition Context Augmentation. - Amin Soltanieh; Markus Siegle (ACM Trans. Model. Comput. Simul., 2024)

Formal error bounds for the state space reduction of Markov chains. - Fabian Michel; Markus Siegle (Perform. Evaluation, 2025)