Prof. Dr.-Ing. Markus Siegle


Publications

Books and Book Chapters

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

Academic Journals and Magazines

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

Conferences and Workshops

  1. Matthias Kuntz and 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 and 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 and Markus Siegle, "Deriving symbolic representations from stochastic process algebras," Proc. Joint International Workshop PAPM-PROBMIV, Heidelberg, Kopenhagen, pp. 188-206, July 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 and 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 and 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 and Markus Siegle, "Towards Model Checking Stochastic Process Algebra," Proc. 2nd Int. Conf. on Integrated Formal Methods (IFM), Heidelberg, Dagstuhl, pp. 420-439, December 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 and Markus Siegle, "TIPPtool: Compisitional Specification and Analysis of Markovian Performance Models," Computer Aided Verification (CAV), Heidelberg, Trento, Italien, pp. 487-490, July 1999
  10. Ulrich Klehmet and 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, June 1999
  11. Holger Hermanns and Markus Siegle, "Symbolic Minimisation of Stochastic Process Algebras," Formale Beschreibungstechniken für verteilte Systeme., München, München, pp. 73-82, June 1999
  12. Holger Hermanns and 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, May 1999
  13. Holger Hermanns, Joachim Meyer-Kayser and 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 and 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 and 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, July 1997

Technical Reports and Regional Workshops

  1. Matthias Kuntz, Markus Siegle and Edith Werner, "CASPA: A performance evaluation tool based on stochastic process algebra and symbolic data structures," Universität Dortmund, technical report 781, 2003
  2. Kai Lampka and 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, technical report 780, 2003
  3. Kai Lampka and 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, technical report 242, 2002
  4. Joachim Meyer-Kayser, Markus Siegle, Holger Hermanns and Joost-Pieter Katoen, "Model Checking Stochastic Process Algebra," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical 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, technical report 2/98, 1998

Theses

  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. thesis, 2002
  2. Markus Siegle, "Beschreibung und Analyse von Markovmodellen mit grossem Zustandsraum," Friedrich-Alexander-Universität Erlangen-Nürnberg, Erlangen, Ph.D. thesis, 1995