Search the dblp DataBase

Publications of Author

1. Holger Hermanns, Markus Siegle
   Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation. [Citation Graph (0, 0)][DBLP]
   ARTS, 1999, pp:244-264 [Conf]
   
2. Holger Hermanns, Vassilis Mertsiotakis, Markus Siegle
   TIPPtool: Compositional Specification and Analysis of Markovian Performance Models. [Citation Graph (0, 0)][DBLP]
   CAV, 1999, pp:487-490 [Conf]
   
3. Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
   Compositional Performance Modelling with TIPPtool. [Citation Graph (0, 0)][DBLP]
   Computer Performance Evaluation (Tools), 1998, pp:51-62 [Conf]
   
4. Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
   Model Checking Action- and State-Labelled Markov Chains. [Citation Graph (0, 0)][DBLP]
   DSN, 2004, pp:701-710 [Conf]
   
5. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
   ETMCC: Model Checking Performability Properties of Markov Chains. [Citation Graph (0, 0)][DBLP]
   DSN, 2003, pp:673-0 [Conf]
   
6. Holger Hermanns, Markus Siegle
   Symbolic Minimisation of Stochastic Process Algebra Models. [Citation Graph (0, 0)][DBLP]
   FBT, 1999, pp:73-82 [Conf]
   
7. Matthias Kuntz, Markus Siegle, Edith Werner
   Symbolic Performance and Dependability Evaluation with the Tool CASPA. [Citation Graph (0, 0)][DBLP]
   FORTE Workshops, 2004, pp:293-307 [Conf]
   
8. Markus Siegle, Douglas S. Reeves, Krzysztof Kozminski
   The Interlocking Bus Network for Fault-Tolerant Processor Arrays. [Citation Graph (0, 0)][DBLP]
   Fault-Tolerant Computing Systems, 1991, pp:348-359 [Conf]
   
9. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
   Towards Model Checking Stochastic Process Algebra. [Citation Graph (0, 0)][DBLP]
   IFM, 2000, pp:420-439 [Conf]
   
10. Markus Siegle, Richard Hofmann
    Monitoring Program Behaviour on SUPRENUM. [Citation Graph (0, 0)][DBLP]
    ISCA, 1992, pp:332-341 [Conf]
    
11. Markus Siegle
    Compositional Representation and Reduction of Stochastic Labelled Transition Systems based on Decision Node BDDs. [Citation Graph (0, 0)][DBLP]
    MMB, 1999, pp:173-185 [Conf]
    
12. Matthias Kuntz, Markus Siegle
    Deriving Symbolic Representations from Stochastic Process Algebras. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:188-206 [Conf]
    
13. Markus Siegle
    Advances in Model Representations. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2001, pp:1-22 [Conf]
    
14. Markus Siegle
    Using Structured Modelling for Efficient Performance Prediction of Parallel Systems. [Citation Graph (0, 0)][DBLP]
    PARCO, 1993, pp:453-460 [Conf]
    
15. Matthias Kuntz, Markus Siegle
    Symbolic Model Checking of Stochastic Systems: Theory and Implementation. [Citation Graph (0, 0)][DBLP]
    SPIN, 2006, pp:89-107 [Conf]
    
16. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
    A Markov Chain Model Checker. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:347-362 [Conf]
    
17. Kai Lampka, Markus Siegle
    Analysis of Markov reward models using zero-suppressed multi-terminal BDDs. [Citation Graph (0, 0)][DBLP]
    VALUETOOLS, 2006, pp:35- [Conf]
    
18. Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle
    On the use of MTBDDs for performability analysis and verification of stochastic systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:56, n:1-2, pp:23-67 [Journal]
    
19. Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis, Markus Siegle
    Compositional performance modelling with the TIPPtool. [Citation Graph (0, 0)][DBLP]
    Perform. Eval., 2000, v:39, n:1-4, pp:5-35 [Journal]
    
20. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser, Markus Siegle
    A tool for model-checking Markov chains. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:2, pp:153-172 [Journal]
    
21. Richard Hofmann, Rainer Klar, Bernd Mohr, Andreas Quick, Markus Siegle
    Distributed Performance Monitoring: Methods, Tools, and Applications. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Parallel Distrib. Syst., 1994, v:5, n:6, pp:585-598 [Journal]
    
22. Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle
    Model Checking Markov Chains with Actions and State Labels. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2007, v:33, n:4, pp:209-224 [Journal]
    
23. Kai Lampka, Markus Siegle, Max Walter
    An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. [Citation Graph (0, 0)][DBLP]
    FMICS/PDMC, 2006, pp:35-50 [Conf]
    
24. 
    Activity-local symbolic state graph generation for high-level stochastic models. [Citation Graph (, )][DBLP]
    
    
25. 
    CASPA: Symbolic model checking of stochastic systems. [Citation Graph (, )][DBLP]
    
    
26. 
    A Symbolic Multilevel Method with Sparse Submatrix Representation for Memory-Speed-Tradeoff. [Citation Graph (, )][DBLP]
    
    
27. 
    Recent Extensions to the Stochastic Process Algebra Tool CASPA. [Citation Graph (, )][DBLP]
    
    
28. 
    An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA. [Citation Graph (, )][DBLP]
    
    
29. 
    Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs. [Citation Graph (, )][DBLP]