Markus Siegle

ORCID

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 12

Top Venues

University of Erlangen-Nuremberg, Germany (PHD)

Education History

University of Erlangen-Nuremberg, Germany

PHD

Publications

Ulrich Vogl, Markus Siegle
Scaled Agile: Toolgestützte Echtzeitplausibilisierung des PI-Planning. PVM (2023)
Markus Siegle, Amin Soltanieh
Rate Lifting for Stochastic Process Algebra: Exploiting Structural Properties. CoRR (2022)
Markus Siegle, Amin Soltanieh
Rate Lifting for Stochastic Process Algebra - Exploiting Structural Properties -. QEST (2022)
Amin Soltanieh, Markus Siegle
Solving Systems of Bilinear Equations for Transition Rate Reconstruction. FSEN (2021)
Amin Soltanieh, Markus Siegle
It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models. MMB (2020)
Amin Soltanieh, Markus Siegle
Compositional Model Checking and Model Repair for a Class of Product Form Models. PASM (2019)
Alexander Gouberman, Markus Siegle, Bharath Tati
Markov chains with perturbed rates to absorption: Theory and application to model repair. Perform. Evaluation 130 (2019)
Alexander Gouberman, Markus Siegle, Bharath Siva Kumar Tati
Perturbation of CTMC Trapping Probabilities with Application to Model Repair. VALUETOOLS (2017)
Alexander Gouberman, Martin Riedl, Markus Siegle
Analysing reward measures of LARES performability models by discontinuous Markov chains. Int. J. Crit. Comput. Based Syst. 7 (1) (2017)
Ulrich Vogl, Markus Siegle
A New Approach to Predicting Reliable Project Runtimes via Probabilistic Model Checking. EPEW (2017)
Bharath Siva Kumar Tati, Markus Siegle
Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements. Cassting/SynCoP (2016)
Bharath Siva Kumar Tati, Markus Siegle
Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. SynCoP (2015)
Alexander Gouberman, Christophe Grand, Martin Riedl, Markus Siegle
An IDE for the LARES Toolset. MMB/DFT (2014)
Johann Schuster, Markus Siegle
Markov Automata: Deciding weak bisimulation by means of non-naïvely vanishing states. Inf. Comput. 237 (2014)
Markus Siegle
Preface. Electron. Notes Theor. Comput. Sci. 291 (2013)
Johann Schuster, Markus Siegle
Lattice structures for bisimilar Probabilistic Automata. INFINITY (2013)
Alexander Gouberman, Martin Riedl, Johann Schuster, Markus Siegle
A Modelling and Analysis Environment for LARES. MMB/DFT (2012)
Johann Schuster, Markus Siegle
Scale-Freeness of SPA Models with Weighted Immediate Actions. EPEW/UKPEW (2012)
Alexander Gouberman, Markus Siegle
Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization. ROCKS (2012)
Johann Schuster, Markus Siegle
Markov Automata: Deciding Weak Bisimulation by means of non-naively Vanishing States CoRR (2012)
Alexander Gouberman, Markus Siegle
On Lifetime Optimization of Boolean Parallel Systems with Erlang Repair Distributions. OR (2010)
Michael Günther, Johann Schuster, Markus Siegle
Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA. DYADEM-FTS@EDCC (2010)
Johann Schuster, Markus Siegle
Dependability modelling with the stochastic process algebra tool CASPA. DYADEM-FTS@EDCC (2010)
Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications. Formal Methods Syst. Des. 36 (3) (2010)
Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. SOFSEM (2009)
Martin Riedl, Johann Schuster, Markus Siegle
Recent Extensions to the Stochastic Process Algebra Tool CASPA. QEST (2008)
Max Walter, Markus Siegle, Arndt Bode
OpenSESAME - the simple but extensive, structured availability modeling environment. Reliab. Eng. Syst. Saf. 93 (6) (2008)
Boudewijn R. Haverkort, Markus Siegle, Maarten van Steen
Quantitative analysis of gossiping protocols. SIGMETRICS Perform. Evaluation Rev. 36 (3) (2008)
Thomas Krieger, Martin Riedl, Johann Schuster, Markus Siegle
A view-probability-matrix approach to the modelling of gossiping protocols. SIGMETRICS Perform. Evaluation Rev. 36 (3) (2008)
Johann Schuster, Markus Siegle
A Symbolic Multilevel Method with Sparse Submatrix Representation for Memory-Speed-Tradeoff. MMB (2008)
Kai Lampka, S. Harwarth, Markus Siegle
Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs. VALUETOOLS (2007)
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
Model Checking Markov Chains with Actions and State Labels. IEEE Trans. Software Eng. 33 (4) (2007)
Kai Lampka, Markus Siegle
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs. VALUETOOLS (2006)
Kai Lampka, Markus Siegle
Activity-local symbolic state graph generation for high-level stochastic models. MMB (2006)
Markus Siegle
Verifying Finite State Machines in Probabilistic Environments. MBMV (2006)
Matthias Kuntz, Markus Siegle
Symbolic Model Checking of Stochastic Systems: Theory and Implementation. SPIN (2006)
Kai Lampka, Markus Siegle, Max Walter
An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. FMICS/PDMC (2006)
Matthias Kuntz, Markus Siegle
CASPA: Symbolic model checking of stochastic systems. MMB (2006)
Matthias Kuntz, Markus Siegle, Edith Werner
Symbolic Performance and Dependability Evaluation with the Tool CASPA. FORTE Workshops (2004)
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
Model Checking Action- and State-Labelled Markov Chains. DSN (2004)
Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle
On the use of MTBDDs for performability analysis and verification of stochastic systems. J. Log. Algebraic Methods Program. 56 (1-2) (2003)
Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
A tool for model-checking Markov chains. Int. J. Softw. Tools Technol. Transf. 4 (2) (2003)
Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
ETMCC: Model Checking Performability Properties of Markov Chains. DSN (2003)
Matthias Kuntz, Markus Siegle
Deriving Symbolic Representations from Stochastic Process Algebras. PAPM-PROBMIV (2002)
Markus Siegle
Advances in Model Representations. PAPM-PROBMIV (2001)
Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
Compositional performance modelling with the TIPPtool. Perform. Evaluation 39 (1-4) (2000)
Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
Towards Model Checking Stochastic Process Algebra. IFM (2000)
Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
A Markov Chain Model Checker. TACAS (2000)
Holger Hermanns, Vassilis Mertsiotakis, Markus Siegle
TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. CAV (1999)
Holger Hermanns, Markus Siegle
Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation. ARTS (1999)
Markus Siegle
Compositional Representation and Reduction of Stochastic Labelled Transition Systems based on Decision Node BDDs. MMB (1999)
Holger Hermanns, Markus Siegle
Symbolic Minimisation of Stochastic Process Algebra Models. FBT (1999)
Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
Compositional Performance Modelling with TIPPtool. Computer Performance Evaluation (Tools) (1998)
Chenglian Peng, Rainer Klar, Richard Hofmann, Peter Dauphin, Markus Siegle
Combining gprof and event-driven monitoring for analyzing distributed programs: a rough view of NCSA mosaic. J. Comput. Sci. Technol. 11 (4) (1996)
Markus Siegle, Andreas Quick, Rainer Klar, Peter Dauphin, Franz Hartleb
Modellierung und Meßunterstützung mit dem Werkzeug PEPP. Informationstechnik Tech. Inform. 37 (3) (1995)
Markus Siegle
Reduced Markov Models Of Parallel Programs With Replicated Processes. PDP (1994)
Richard Hofmann, Rainer Klar, Bernd Mohr, Andreas Quick, Markus Siegle
Distributed Performance Monitoring: Methods, Tools, and Applications. IEEE Trans. Parallel Distributed Syst. 5 (6) (1994)
Markus Siegle
Using Structured Modelling for Efficient Performance Prediction of Parallel Systems. PARCO (1993)
Markus Siegle, Richard Hofmann
Monitoring Program Behaviour on SUPRENUM. ISCA (1992)
Markus Siegle, Douglas S. Reeves, Krzysztof Kozminski
The Interlocking Bus Network for Fault-Tolerant Processor Arrays. Fault-Tolerant Computing Systems (1991)

Markus Siegle.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Markus Siegle