Markus Siegle - RankMe

72 papers A* 2A 3B 2C 1Journal 19Unranked 38

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Finding Minimal Clusters in st-DAGs. CoRR Ulrich Vogl, Markus Siegle
2025	—	`conf`	Formal Approximations of the Transient Distributions of the M/G/1 Workload Process. QEST+FORMATS Fabian Michel, Markus Siegle
2025	J	`jnl`	Formal error bounds for the state space reduction of Markov chains. Perform. Evaluation Fabian Michel, Markus Siegle
2024	—	`conf`	Markov Chain Aggregation with Error Bounds on Transient Distributions. ASMTA Fabian Michel, Markus Siegle
2024	J	`jnl`	Rate Lifting for Stochastic Process Algebra by Transition Context Augmentation. ACM Trans. Model. Comput. Simul. Amin Soltanieh, Markus Siegle
2023	—	`conf`	Scaled Agile: Toolgestützte Echtzeitplausibilisierung des PI-Planning. PVM Ulrich Vogl, Markus Siegle
2022	—	`conf`	Rate Lifting for Stochastic Process Algebra - Exploiting Structural Properties -. QEST Markus Siegle, Amin Soltanieh
2022	J	`jnl`	Rate Lifting for Stochastic Process Algebra: Exploiting Structural Properties. CoRR Markus Siegle, Amin Soltanieh
2021	—	`conf`	Solving Systems of Bilinear Equations for Transition Rate Reconstruction. FSEN Amin Soltanieh, Markus Siegle
2020	—	`conf`	It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models. MMB Amin Soltanieh, Markus Siegle
2019	—	`conf`	Compositional Model Checking and Model Repair for a Class of Product Form Models. PASM Amin Soltanieh, Markus Siegle
2019	J	`jnl`	Markov chains with perturbed rates to absorption: Theory and application to model repair. Perform. Evaluation Alexander Gouberman, Markus Siegle, Bharath Tati
2017	—	`conf`	A New Approach to Predicting Reliable Project Runtimes via Probabilistic Model Checking. EPEW Ulrich Vogl, Markus Siegle
2017	J	`jnl`	Analysing reward measures of LARES performability models by discontinuous Markov chains. Int. J. Crit. Comput. Based Syst. Alexander Gouberman, Martin Riedl, Markus Siegle
2017	—	`conf`	Perturbation of CTMC Trapping Probabilities with Application to Model Repair. VALUETOOLS Alexander Gouberman, Markus Siegle, Bharath Siva Kumar Tati
2016	—	`conf`	Rate Reduction for State-labelled Markov Chains with Upper Time-bounded CSL Requirements. Cassting/SynCoP Bharath Siva Kumar Tati, Markus Siegle
2015	—	`conf`	Parameter and Controller Synthesis for Markov Chains with Actions and State Labels. SynCoP Bharath Siva Kumar Tati, Markus Siegle
2014	—	`conf`	An IDE for the LARES Toolset. MMB/DFT Alexander Gouberman, Christophe Grand, Martin Riedl, Markus Siegle
2014	J	`jnl`	Markov Automata: Deciding weak bisimulation by means of non-naïvely vanishing states. Inf. Comput. Johann Schuster, Markus Siegle
2013	—	`conf`	Lattice structures for bisimilar Probabilistic Automata. INFINITY Johann Schuster, Markus Siegle
2013	—	`ed.`	Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings QEST Kaustubh R. Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio
2013	—	`ed.`	Second Workshop on Quantitative Models for Performance and Dependability, QMPD 2012, Vilnius, Lithuania, July 8-11, 2012 QMPD Markus Siegle
2012	—	`conf`	A Modelling and Analysis Environment for LARES. MMB/DFT Alexander Gouberman, Martin Riedl, Johann Schuster, Markus Siegle
2012	J	`jnl`	Markov Automata: Deciding Weak Bisimulation by means of non-naively Vanishing States CoRR Johann Schuster, Markus Siegle
2012	—	`conf`	Markov Reward Models and Markov Decision Processes in Discrete and Continuous Time: Performance Evaluation and Optimization. ROCKS Alexander Gouberman, Markus Siegle
2012	—	`conf`	Preface. QMPD Markus Siegle
2012	—	`ch.`	Scalable Stochastic Modelling for Resilience. Resilience Assessment and Evaluation of Computing Systems Jeremy T. Bradley, Lucia Cloth, Richard A. Hayden, Leïla Kloul, Philipp Reinecke, Markus Siegle, Nigel Thomas, Katinka Wolter
2012	—	`conf`	Scale-Freeness of SPA Models with Weighted Immediate Actions. EPEW/UKPEW Johann Schuster, Markus Siegle
2011	—	`ed.`	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 OR Bo Hu, Karl Morasch, Stefan Pickl, Markus Siegle
2010	—	`conf`	Dependability modelling with the stochastic process algebra tool CASPA. DYADEM-FTS@EDCC Johann Schuster, Markus Siegle
2010	—	`conf`	On Lifetime Optimization of Boolean Parallel Systems with Erlang Repair Distributions. OR Alexander Gouberman, Markus Siegle
2010	J	`jnl`	Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications. Formal Methods Syst. Des. Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier
2010	—	`conf`	Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA. DYADEM-FTS@EDCC Michael Günther, Johann Schuster, Markus Siegle
2009	B	`conf`	An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. SOFSEM Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle
2008	—	`conf`	A Symbolic Multilevel Method with Sparse Submatrix Representation for Memory-Speed-Tradeoff. MMB Johann Schuster, Markus Siegle
2008	J	`jnl`	A view-probability-matrix approach to the modelling of gossiping protocols. SIGMETRICS Perform. Evaluation Rev. Thomas Krieger, Martin Riedl, Johann Schuster, Markus Siegle
2008	J	`jnl`	OpenSESAME - the simple but extensive, structured availability modeling environment. Reliab. Eng. Syst. Saf. Max Walter, Markus Siegle, Arndt Bode
2008	J	`jnl`	Quantitative analysis of gossiping protocols. SIGMETRICS Perform. Evaluation Rev. Boudewijn R. Haverkort, Markus Siegle, Maarten van Steen
2008	—	`conf`	Recent Extensions to the Stochastic Process Algebra Tool CASPA. QEST Martin Riedl, Johann Schuster, Markus Siegle
2007	—	`conf`	Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs. VALUETOOLS Kai Lampka, S. Harwarth, Markus Siegle
2007	J	`jnl`	Model Checking Markov Chains with Actions and State Labels. IEEE Trans. Software Eng. Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
2006	—	`conf`	Activity-local symbolic state graph generation for high-level stochastic models. MMB Kai Lampka, Markus Siegle
2006	—	`conf`	An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. FMICS/PDMC Kai Lampka, Markus Siegle, Max Walter
2006	—	`conf`	Analysis of Markov reward models using zero-suppressed multi-terminal BDDs. VALUETOOLS Kai Lampka, Markus Siegle
2006	—	`conf`	CASPA: Symbolic model checking of stochastic systems. MMB Matthias Kuntz, Markus Siegle
2006	—	`conf`	Symbolic Model Checking of Stochastic Systems: Theory and Implementation. SPIN Matthias Kuntz, Markus Siegle
2006	—	`conf`	Verifying Finite State Machines in Probabilistic Environments. MBMV Markus Siegle
2004	A	`conf`	Model Checking Action- and State-Labelled Markov Chains. DSN Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
2004	—	`conf`	Symbolic Performance and Dependability Evaluation with the Tool CASPA. FORTE Workshops Matthias Kuntz, Markus Siegle, Edith Werner
2004	—	`ed.`	Validation of Stochastic Systems - A Guide to Current Research Validation of Stochastic Systems Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
2003	J	`jnl`	A tool for model-checking Markov chains. Int. J. Softw. Tools Technol. Transf. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
2003	A	`conf`	ETMCC: Model Checking Performability Properties of Markov Chains. DSN Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
2003	J	`jnl`	On the use of MTBDDs for performability analysis and verification of stochastic systems. J. Log. Algebraic Methods Program. Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle
2002	—	`conf`	Deriving Symbolic Representations from Stochastic Process Algebras. PAPM-PROBMIV Matthias Kuntz, Markus Siegle
2001	—	`conf`	Advances in Model Representations. PAPM-PROBMIV Markus Siegle
2000	A	`conf`	A Markov Chain Model Checker. TACAS Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
2000	J	`jnl`	Compositional performance modelling with the TIPPtool. Perform. Evaluation Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
2000	B	`conf`	Towards Model Checking Stochastic Process Algebra. IFM Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
1999	—	`conf`	Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation. ARTS Holger Hermanns, Markus Siegle
1999	—	`conf`	Compositional Representation and Reduction of Stochastic Labelled Transition Systems based on Decision Node BDDs. MMB Markus Siegle
1999	—	`conf`	Symbolic Minimisation of Stochastic Process Algebra Models. FBT Holger Hermanns, Markus Siegle
1999	A*	`conf`	TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. CAV Holger Hermanns, Vassilis Mertsiotakis, Markus Siegle
1998	—	`conf`	Compositional Performance Modelling with TIPPtool. Computer Performance Evaluation (Tools) Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
1996	J	`jnl`	Combining gprof and event-driven monitoring for analyzing distributed programs: a rough view of NCSA mosaic. J. Comput. Sci. Technol. Chenglian Peng, Rainer Klar, Richard Hofmann, Peter Dauphin, Markus Siegle
1995	—	`—`	Beschreibung und Analyse von Markovmodellen mit grossem Zustandsraum. Markus Siegle
1995	—	`book`	Messung und Modellierung paralleler und verteilter Rechensysteme Messung und Modellierung paralleler und verteilter Rechensysteme Rainer Klar, Peter Dauphin, Franz Hartleb, Richard Hofmann, Bernd Mohr, Andreas Quick, Markus Siegle
1995	J	`jnl`	Modellierung und Meßunterstützung mit dem Werkzeug PEPP. Informationstechnik Tech. Inform. Markus Siegle, Andreas Quick, Rainer Klar, Peter Dauphin, Franz Hartleb
1994	J	`jnl`	Distributed Performance Monitoring: Methods, Tools, and Applications. IEEE Trans. Parallel Distributed Syst. Richard Hofmann, Rainer Klar, Bernd Mohr, Andreas Quick, Markus Siegle
1994	C	`conf`	Reduced Markov Models Of Parallel Programs With Replicated Processes. PDP Markus Siegle
1993	—	`conf`	Using Structured Modelling for Efficient Performance Prediction of Parallel Systems. PARCO Markus Siegle
1992	A*	`conf`	Monitoring Program Behaviour on SUPRENUM. ISCA Markus Siegle, Richard Hofmann
1991	—	`conf`	The Interlocking Bus Network for Fault-Tolerant Processor Arrays. Fault-Tolerant Computing Systems Markus Siegle, Douglas S. Reeves, Krzysztof Kozminski