The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Markus Siegle: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002