dblp.uni-trier.dewww.uni-trier.de

Markus Siegle Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
30EEJens 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
28EEMartin Riedl, Johann Schuster, Markus Siegle: Recent Extensions to the Stochastic Process Algebra Tool CASPA. QEST 2008: 113-114
2007
27EEKai 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
26EEChristel 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
25EEKai 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
22EEMatthias Kuntz, Markus Siegle: Symbolic Model Checking of Stochastic Systems: Theory and Implementation. SPIN 2006: 89-107
21EEKai 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
19EEChristel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle: Model Checking Action- and State-Labelled Markov Chains. DSN 2004: 701-710
18EEMatthias Kuntz, Markus Siegle, Edith Werner: Symbolic Performance and Dependability Evaluation with the Tool CASPA. FORTE Workshops 2004: 293-307
2003
17EEHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: ETMCC: Model Checking Performability Properties of Markov Chains. DSN 2003: 673-
16EEHolger 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)
15EEHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: A tool for model-checking Markov chains. STTT 4(2): 153-172 (2003)
2002
14EEMatthias Kuntz, Markus Siegle: Deriving Symbolic Representations from Stochastic Process Algebras. PAPM-PROBMIV 2002: 188-206
2001
13EEMarkus Siegle: Advances in Model Representations. PAPM-PROBMIV 2001: 1-22
2000
12EEHolger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle: Towards Model Checking Stochastic Process Algebra. IFM 2000: 420-439
11EEHolger 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
9EEHolger Hermanns, Markus Siegle: Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation. ARTS 1999: 244-264
8EEHolger 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
5EEHolger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle: Compositional Performance Modelling with TIPPtool. Computer Performance Evaluation (Tools) 1998: 51-62
1994
4EERichard 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)