| 2010 | EDCC | Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA. | Michael Gnther, Johann Schuster, Markus Siegle |
| 2010 | EDCC | Dependability modelling with the stochastic process algebra tool CASPA. | Johann Schuster, Markus Siegle |
| 2009 | SOFSEM | An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. | Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle |
| 2006 | FMICS | An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. | Kai Lampka, Markus Siegle, Max Walter |
| 2004 | DSN | Model Checking Action- and State-Labelled Markov Chains. | Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle |
| 2004 | FORTE | Symbolic Performance and Dependability Evaluation with the Tool CASPA. | Matthias Kuntz, Markus Siegle, Edith Werner |
| 2003 | DSN | ETMCC: Model Checking Performability Properties of Markov Chains. | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
| 2000 | IFM | Towards Model Checking Stochastic Process Algebra. | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
| 2000 | TACAS | A Markov Chain Model Checker. | Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle |
| 1999 | CAV | TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. | Holger Hermanns, Vassilis Mertsiotakis, Markus Siegle |
| 1994 | PDP | Reduced Markov Models Of Parallel Programs With Replicated Processes. | Markus Siegle |
| 1992 | ISCA | Monitoring Program Behaviour on SUPRENUM. | Markus Siegle, Richard Hofmann |