Prof. Dr.-Ing. Markus Siegle


Publikationen

Bücher und Buchkapitel

  1. Rainer Klar, Peter Dauphin, Franz Hartleb, Bernd Mohr, Andreas Quick und Markus Siegle, "Messung und Modellierung paralleler und verteilter Rechensysteme," Stuttgart: Teubner, 1995

Journale und Magazine

  1. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser und Markus Siegle, "A tool for model-checking Markov chains," in Int. Journal on Software Tools for Technology Transfer Bd. 4, pp. 153-172, 2003
  2. H. Hermanns, M. Kwiatkowska, G. Norman, D. Parker und Markus Siegle, "On the use of MTBDDs for performability analysis and verification of stochastic systems," in Journal of Logic and Algebraic Programming Bd. 56, pp. 23-67, 2003
  3. H. Hermanns, J.-P. Katoen, Joachim Meyer-Kayser und Markus Siegle, "A tool for model checking Markov chains," in Journal on Software Tools for Technology Transfer, pp. -, 2002
  4. Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis und Markus Siegle, "Compositional performance modelling with the TIPPtool.," in Performance Evaluation Bd. 39 (1-4), pp. 5-35, 2000

Konferenzen und Workshops

  1. Matthias Kuntz und Markus Siegle, "A stochastic extension of the logic PDL," Proc. of the Sixth Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS6), Monticello (IL), pp. 58-61, September 2003
  2. Kai Lampka und Markus Siegle, "MTBDD-based activity-local state graph generation," Proc. of the Sixth Int. Workshop on Performability Modeling of Computer and Communication Systems (PMCCS6), Monticello (IL), pp. 15-18, September 2003
  3. Matthias Kuntz und Markus Siegle, "Deriving symbolic representations from stochastic process algebras," Proc. Joint International Workshop PAPM-PROBMIV, Heidelberg, Kopenhagen, pp. 188-206, Juli 2002
  4. Markus Siegle, "Advances in model representation," Process Algebra and Probabilistic Methods, Joint Int. Workshop PAPM-PROBMIV 2001, Heidelberg, pp. 1-22, 2001
  5. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser und Markus Siegle, "A Markov Chain Model Checker," Tool Proceedings of Aachen 2001 Int. Multiconference on Measurement, Modelling and Evaluation of Computer-CommunicationSystems, Dortmund, Dortmund, pp. 1-6, 2001
  6. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser und Markus Siegle, "Implementing a Model Checker for Performability Behaviour," Fifth Int. Workshop on Performability Modelling of Computer and Communication Systems (PMCCS5), Arbeitsbericht, Erlangen, 2001
  7. Holger Hermanns, Joost-Pieter Katoen, Joachim Meyer-Kayser und Markus Siegle, "Towards Model Checking Stochastic Process Algebra," Proc. 2nd Int. Conf. on Integrated Formal Methods (IFM), Heidelberg, Dagstuhl, pp. 420-439, Dezember 2000
  8. Markus Siegle, "Compositional Representation and Reduction of Stochastic Labelled Transition Systems based on Decision Node BDDs," MMB'99, Trier, pp. 173-185, September 1999
  9. Holger Hermanns, Vassilis Mertsiotakis und Markus Siegle, "TIPPtool: Compisitional Specification and Analysis of Markovian Performance Models," Computer Aided Verification (CAV), Heidelberg, Trento, Italien, pp. 487-490, Juli 1999
  10. Ulrich Klehmet und Markus Siegle, "Compositional Reduction of Performability Models based on Stochastic Process Algebras," Modelling and Simulation: A Tool for the next Millenium, Delft, Netherlands, Warschau, Polen, Juni 1999
  11. Holger Hermanns und Markus Siegle, "Symbolic Minimisation of Stochastic Process Algebras," Formale Beschreibungstechniken für verteilte Systeme., München, München, pp. 73-82, Juni 1999
  12. Holger Hermanns und Markus Siegle, "Bisimulation Algorithms for Stochastic Process Algebras and their BDD-based Implementation," ARTS'99, 5th Int. AMAST Workshop on Real-Time and Probabilistic Systems, Heidelberg, Bamberg, pp. 144-264, Mai 1999
  13. Holger Hermanns, Joachim Meyer-Kayser und Markus Siegle, "Multi Terminal Binary Decision Diagrams to Represent and Analyse Continuous Time Markov Chains," Proc of the 3rd Int. Workshop on the Numerical Solution of Markov Chains, Zaragoza, pp. 188-207, 1999
  14. Markus Siegle, "Compact representation of large performability models based on extended BDDs," Fourth International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS4), Williamsburg, pp. 77-80, September 1998
  15. Holger Hermanns, Ulrich Herzog, Ulrich Klehmet, Vassilis Mertsiotakis und Markus Siegle, "Compositional Performance Modelling with the TIPPtool," 10th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS '98), Heidelberg, Palma de Mallorca, pp. 51-62, September 1998
  16. Holger Hermanns und Markus Siegle, "Computing Bisimulations for Stochastic Process Algebras using Symbolic Representations," Sixth International Workshop on Process Algebras and Performance Modelling PAPM'98, Nice, September 1998
  17. Markus Siegle, "BDD extensions for stochastic transition systems," Proc. of 13th UK Performance Evaluation Workshop, Ilkley/West Yorkshire, pp. 9/1-9/7, Juli 1997

Technische Berichte und Regionale Workshops

  1. Matthias Kuntz, Markus Siegle und Edith Werner, "CASPA: A performance evaluation tool based on stochastic process algebra and symbolic data structures," Universität Dortmund, technischer Report 781, 2003
  2. Kai Lampka und Markus Siegle, "Symbolic Activity-Local State Graph Generation in the Context of Mobius," Universität Dortmund, ICALP'03 Satellite Workshop on Stochastic Petri Nets and Related Formalisms, technischer Report 780, 2003
  3. Kai Lampka und Markus Siegle, "Symbolic Composition within the Moebius Framework," Universität Hamburg, Fachbereich Informatik, Leistungs-, Zuverlässigkeits- und Verlässlichkeitsbewertung von Kommunikationsnetzen und verteilten Systemen, 2. MMBArbeitsgespräch, technischer Report 242, 2002
  4. Joachim Meyer-Kayser, Markus Siegle, Holger Hermanns und Joost-Pieter Katoen, "Model Checking Stochastic Process Algebra," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 2, 2000
  5. Markus Siegle, "Technique and tool for symbolic representation and manipulation of stochastic transition systems," Friedrich-Alexander-Universität Erlangen-Nürnberg, technischer Report 2/98, 1998

Abschlussarbeiten

  1. Markus Siegle, "Behaviour analysis of communication systems: Compositional modelling, compact representation and analysis of performability properties," Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen, Habil-Schr., 2002
  2. Markus Siegle, "Beschreibung und Analyse von Markovmodellen mit grossem Zustandsraum," Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen, Diss., 1995

Weitere Informationen