Markus Siegle

2009
30	EE	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
29		Johann Schuster, Markus Siegle: A Symbolic Multilevel Method with Sparse Submatrix Representation for Memory-Speed-Tradeoff. MMB 2008: 191-206
28	EE	Martin Riedl, Johann Schuster, Markus Siegle: Recent Extensions to the Stochastic Process Algebra Tool CASPA. QEST 2008: 113-114
2007
27	EE	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
26	EE	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): 209-224 (2007)
2006
25	EE	Kai Lampka, Markus Siegle, Max Walter: An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. FMICS/PDMC 2006: 35-50
24		Kai Lampka, Markus Siegle: Activity-local symbolic state graph generation for high-level stochastic models. MMB 2006: 245-264
23		Matthias Kuntz, Markus Siegle: CASPA: Symbolic model checking of stochastic systems. MMB 2006: 465-468
22	EE	Matthias Kuntz, Markus Siegle: Symbolic Model Checking of Stochastic Systems: Theory and Implementation. SPIN 2006: 89-107
21	EE	Kai Lampka, Markus Siegle: Analysis of Markov reward models using zero-suppressed multi-terminal BDDs. VALUETOOLS 2006: 35
2004
20		Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle: Validation of Stochastic Systems - A Guide to Current Research Springer 2004
19	EE	Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle: Model Checking Action- and State-Labelled Markov Chains. DSN 2004: 701-710
18	EE	Matthias Kuntz, Markus Siegle, Edith Werner: Symbolic Performance and Dependability Evaluation with the Tool CASPA. FORTE Workshops 2004: 293-307
2003
17	EE	Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: ETMCC: Model Checking Performability Properties of Markov Chains. DSN 2003: 673-
16	EE	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. Algebr. Program. 56(1-2): 23-67 (2003)
15	EE	Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: A tool for model-checking Markov chains. STTT 4(2): 153-172 (2003)
2002
14	EE	Matthias Kuntz, Markus Siegle: Deriving Symbolic Representations from Stochastic Process Algebras. PAPM-PROBMIV 2002: 188-206
2001
13	EE	Markus Siegle: Advances in Model Representations. PAPM-PROBMIV 2001: 1-22
2000
12	EE	Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: Towards Model Checking Stochastic Process Algebra. IFM 2000: 420-439
11	EE	Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: A Markov Chain Model Checker. TACAS 2000: 347-362
10		Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle: Compositional performance modelling with the TIPPtool. Perform. Eval. 39(1-4): 5-35 (2000)
1999
9	EE	Holger Hermanns, Markus Siegle: Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation. ARTS 1999: 244-264
8	EE	Holger Hermanns, Vassilis Mertsiotakis, Markus Siegle: TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. CAV 1999: 487-490
7		Holger Hermanns, Markus Siegle: Symbolic Minimisation of Stochastic Process Algebra Models. FBT 1999: 73-82
6		Markus Siegle: Compositional Representation and Reduction of Stochastic Labelled Transition Systems based on Decision Node BDDs. MMB 1999: 173-185
1998
5	EE	Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle: Compositional Performance Modelling with TIPPtool. Computer Performance Evaluation (Tools) 1998: 51-62
1994
4	EE	Richard Hofmann, Rainer Klar, Bernd Mohr, Andreas Quick, Markus Siegle: Distributed Performance Monitoring: Methods, Tools, and Applications. IEEE Trans. Parallel Distrib. Syst. 5(6): 585-598 (1994)
1993
3		Markus Siegle: Using Structured Modelling for Efficient Performance Prediction of Parallel Systems. PARCO 1993: 453-460
1992
2		Markus Siegle, Richard Hofmann: Monitoring Program Behaviour on SUPRENUM. ISCA 1992: 332-341
1991
1		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

1	Jens Bachmann	[30]
2	Christel Baier	[19] [20] [26]
3	Lucia Cloth	[19] [26]
4	S. Harwarth	[27]
5	Boudewijn R. Haverkort	[19] [20] [26]
6	Holger Hermanns	[5] [7] [8] [9] [10] [11] [12] [15] [16] [17] [20]
7	Ulrich Herzog	[5] [10]
8	Richard Hofmann	[2] [4]
9	Joost-Pieter Katoen	[11] [12] [15] [17] [20]
10	Rainer Klar	[4]
11	Ulrich Klehmet	[5] [10]
12	Krzysztof Kozminski	[1]
13	Matthias Kuntz	[14] [18] [19] [22] [23] [26]
14	Marta Z. Kwiatkowska	[16]
15	Kai Lampka	[21] [24] [25] [27]
16	Vassilis Mertsiotakis	[5] [8] [10]
17	Joachim Meyer-Kayser	[11] [12] [15] [17]
18	Bernd Mohr	[4]
19	Gethin Norman	[16]
20	David Parker	[16]
21	Andreas Quick	[4]
22	Douglas S. Reeves	[1]
23	Martin Riedl	[28] [30]
24	Johann Schuster	[28] [29] [30]
25	Max Walter	[25]
26	Edith Werner	[18]

Colors in the list of coauthors