default search action
Markus Siegle
Person information
- affiliation: Bundeswehr University Munich, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j15]Amin Soltanieh
, Markus Siegle
Rate Lifting for Stochastic Process Algebra by Transition Context Augmentation. ACM Trans. Model. Comput. Simul. 34(3): 20:1-20:30 (2024) - [c45]Fabian Michel, Markus Siegle:
Markov Chain Aggregation with Error Bounds on Transient Distributions. ASMTA 2024: 1-17 - 2023
- [c44]Ulrich Vogl, Markus Siegle:
Scaled Agile: Toolgestützte Echtzeitplausibilisierung des PI-Planning. PVM 2023 - 2022
- [c43]Markus Siegle, Amin Soltanieh:
Rate Lifting for Stochastic Process Algebra - Exploiting Structural Properties -. QEST 2022: 67-84 - [i2]Markus Siegle
Rate Lifting for Stochastic Process Algebra: Exploiting Structural Properties. CoRR abs/2206.14505 (2022) - 2021
- [c42]Amin Soltanieh, Markus Siegle
Solving Systems of Bilinear Equations for Transition Rate Reconstruction. FSEN 2021: 157-172 - 2020
- [c41]Amin Soltanieh, Markus Siegle
It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models. MMB 2020: 190-207
2010 – 2019
- 2019
- [j14]Alexander Gouberman
Markov chains with perturbed rates to absorption: Theory and application to model repair. Perform. Evaluation 130: 32-50 (2019) - [c40]Amin Soltanieh, Markus Siegle
Compositional Model Checking and Model Repair for a Class of Product Form Models. PASM 2019: 129-148 - 2017
- [j13]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): 22-42 (2017) - [c39]Ulrich Vogl, Markus Siegle
A New Approach to Predicting Reliable Project Runtimes via Probabilistic Model Checking. EPEW 2017: 117-132 - [c38]Alexander Gouberman, Markus Siegle
Perturbation of CTMC Trapping Probabilities with Application to Model Repair. VALUETOOLS 2017: 36-43 - 2016
- [c37]Bharath Siva Kumar Tati, Markus Siegle
Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements. Cassting/SynCoP 2016: 77-89 - 2015
- [c36]Bharath Siva Kumar Tati, Markus Siegle
Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. SynCoP 2015: 63-76 - 2014
- [j12]Johann Schuster, Markus Siegle
Markov Automata: Deciding weak bisimulation by means of non-naïvely vanishing states. Inf. Comput. 237: 151-173 (2014) - [c35]Alexander Gouberman, Christophe Grand, Martin Riedl, Markus Siegle
An IDE for the LARES Toolset. MMB/DFT 2014: 240-254 - 2013
- [c34]Johann Schuster, Markus Siegle
Lattice structures for bisimilar Probabilistic Automata. INFINITY 2013: 1-15 - [e4]Kaustubh R. Joshi, Markus Siegle
Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Lecture Notes in Computer Science 8054, Springer 2013, ISBN 978-3-642-40195-4 [contents] - [e3]Markus Siegle:
Second Workshop on Quantitative Models for Performance and Dependability, QMPD 2012, Vilnius, Lithuania, July 8-11, 2012. Electronic Notes in Theoretical Computer Science 291, Elsevier 2013 [contents] - 2012
- [c33]Johann Schuster, Markus Siegle
Scale-Freeness of SPA Models with Weighted Immediate Actions. EPEW/UKPEW 2012: 48-62 - [c32]Alexander Gouberman, Martin Riedl, Johann Schuster, Markus Siegle
A Modelling and Analysis Environment for LARES. MMB/DFT 2012: 244-248 - [c31]Alexander Gouberman, Markus Siegle
Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization. ROCKS 2012: 156-241 - [c30]Markus Siegle
Preface. QMPD 2012: 1-2 - [p1]Jeremy T. Bradley, Lucia Cloth, Richard A. Hayden, Leïla Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter:
Scalable Stochastic Modelling for Resilience. Resilience Assessment and Evaluation of Computing Systems 2012: 115-149 - [i1]Johann Schuster, Markus Siegle:
Markov Automata: Deciding Weak Bisimulation by means of non-naively Vanishing States. CoRR abs/1205.6192 (2012) - 2011
- [e2]Bo Hu, Karl Morasch, Stefan Pickl, Markus Siegle:
Operations Research Proceedings 2010, Selected Papers of the Annual International Conference of the German Operations Research Society, Universität der Bundeswehr, München, September 1-3, 2010. Springer 2011, ISBN 978-3-642-20008-3 [contents] - 2010
- [j11]Kai Lampka, Markus Siegle
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications. Formal Methods Syst. Des. 36(3): 198-222 (2010) - [c29]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: 13-18 - [c28]Johann Schuster, Markus Siegle
Dependability modelling with the stochastic process algebra tool CASPA. DYADEM-FTS@EDCC 2010: 35-36 - [c27]Alexander Gouberman, Markus Siegle:
On Lifetime Optimization of Boolean Parallel Systems with Erlang Repair Distributions. OR 2010: 187-192
2000 – 2009
- 2009
- [c26]Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. SOFSEM 2009: 485-496 - 2008
- [j10]Max Walter, Markus Siegle
OpenSESAME - the simple but extensive, structured availability modeling environment. Reliab. Eng. Syst. Saf. 93(6): 857-873 (2008) - [j9]Boudewijn R. Haverkort, Markus Siegle, Maarten van Steen:
Quantitative analysis of gossiping protocols. SIGMETRICS Perform. Evaluation Rev. 36(3): 2 (2008) - [j8]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): 23-30 (2008) - [c25]Johann Schuster, Markus Siegle:
A Symbolic Multilevel Method with Sparse Submatrix Representation for Memory-Speed-Tradeoff. MMB 2008: 191-206 - [c24]Martin Riedl, Johann Schuster, Markus Siegle
Recent Extensions to the Stochastic Process Algebra Tool CASPA. QEST 2008: 113-114 - 2007
- [j7]Christel Baier, Lucia Cloth, Boudewijn R. Haverkort
Model Checking Markov Chains with Actions and State Labels. IEEE Trans. Software Eng. 33(4): 209-224 (2007) - [c23]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: 78 - 2006
- [c22]Kai Lampka, Markus Siegle
An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. FMICS/PDMC 2006: 35-50 - [c21]Markus Siegle:
Verifying Finite State Machines in Probabilistic Environments. MBMV 2006: 248-254 - [c20]Kai Lampka, Markus Siegle:
Activity-local symbolic state graph generation for high-level stochastic models. MMB 2006: 245-264 - [c19]Matthias Kuntz, Markus Siegle:
CASPA: Symbolic model checking of stochastic systems. MMB 2006: 465-468 - [c18]Matthias Kuntz, Markus Siegle
Symbolic Model Checking of Stochastic Systems: Theory and Implementation. SPIN 2006: 89-107 - [c17]Kai Lampka, Markus Siegle
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs. VALUETOOLS 2006: 35 - 2004
- [c16]Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
Model Checking Action- and State-Labelled Markov Chains. DSN 2004: 701-710 - [c15]Matthias Kuntz, Markus Siegle
Symbolic Performance and Dependability Evaluation with the Tool CASPA. FORTE Workshops 2004: 293-307 - [e1]Christel Baier, Boudewijn R. Haverkort
Validation of Stochastic Systems - A Guide to Current Research. Lecture Notes in Computer Science 2925, Springer 2004, ISBN 3-540-22265-0 [contents] - 2003
- [j6]Holger Hermanns
On the use of MTBDDs for performability analysis and verification of stochastic systems. J. Log. Algebraic Methods Program. 56(1-2): 23-67 (2003) - [j5]Holger Hermanns
A tool for model-checking Markov chains. Int. J. Softw. Tools Technol. Transf. 4(2): 153-172 (2003) - [c14]Holger Hermanns
ETMCC: Model Checking Performability Properties of Markov Chains. DSN 2003: 673- - 2002
- [c13]Matthias Kuntz, Markus Siegle
Deriving Symbolic Representations from Stochastic Process Algebras. PAPM-PROBMIV 2002: 188-206 - 2001
- [c12]Markus Siegle
Advances in Model Representations. PAPM-PROBMIV 2001: 1-22 - 2000
- [j4]Holger Hermanns
Compositional performance modelling with the TIPPtool. Perform. Evaluation 39(1-4): 5-35 (2000) - [c11]Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
Towards Model Checking Stochastic Process Algebra. IFM 2000: 420-439 - [c10]Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
A Markov Chain Model Checker. TACAS 2000: 347-362
1990 – 1999
- 1999
- [c9]Holger Hermanns, Markus Siegle
Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation. ARTS 1999: 244-264 - [c8]Holger Hermanns, Vassilis Mertsiotakis, Markus Siegle
TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. CAV 1999: 487-490 - [c7]Holger Hermanns, Markus Siegle:
Symbolic Minimisation of Stochastic Process Algebra Models. FBT 1999: 73-82 - [c6]Markus Siegle:
Compositional Representation and Reduction of Stochastic Labelled Transition Systems based on Decision Node BDDs. MMB 1999: 173-185 - 1998
- [c5]Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
Compositional Performance Modelling with TIPPtool. Computer Performance Evaluation (Tools) 1998: 51-62 - 1996
- [j3]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): 427-432 (1996) - 1995
- [b2]Rainer Klar, Peter Dauphin, Franz Hartleb, Richard Hofmann, Bernd Mohr, Andreas Quick, Markus Siegle:
Messung und Modellierung paralleler und verteilter Rechensysteme. Vieweg+Teubner Verlag 1995, ISBN 978-3-519-02144-5 - [b1]Markus Siegle:
Beschreibung und Analyse von Markovmodellen mit grossem Zustandsraum. University of Erlangen-Nuremberg, Germany, 1995, pp. 1-143 - [j2]Markus Siegle, Andreas Quick, Rainer Klar, Peter Dauphin, Franz Hartleb:
Modellierung und Meßunterstützung mit dem Werkzeug PEPP. Informationstechnik Tech. Inform. 37(3): 41-47 (1995) - 1994
- [j1]Richard Hofmann, Rainer Klar, Bernd Mohr, Andreas Quick, Markus Siegle
Distributed Performance Monitoring: Methods, Tools, and Applications. IEEE Trans. Parallel Distributed Syst. 5(6): 585-598 (1994) - [c4]Markus Siegle
Reduced Markov Models Of Parallel Programs With Replicated Processes. PDP 1994: 126-133 - 1993
- [c3]Markus Siegle:
Using Structured Modelling for Efficient Performance Prediction of Parallel Systems. PARCO 1993: 453-460 - 1992
- [c2]Markus Siegle, Richard Hofmann:
Monitoring Program Behaviour on SUPRENUM. ISCA 1992: 332-341 - 1991
- [c1]Markus Siegle, Douglas S. Reeves, Krzysztof Kozminski:
The Interlocking Bus Network for Fault-Tolerant Processor Arrays. Fault-Tolerant Computing Systems 1991: 348-359
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 20:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: