Dr.-Ing. Matthias Kuntz


Publications

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. 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

Technical Reports and Regional Workshops

  1. Matthias Kuntz, "A Stochastic Extension of the Logic PDL," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical report 03/03, 2003
  2. 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
  3. Matthias Kuntz, "CASPA - A Tool for Symbolic Performance and Dependability Evaluation," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical report 05/03, 2003
  4. Matthias Kuntz, "Towards S-TIPP: Extending the MTBDD-Semantics," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical report 04/03, 2003

Theses

  1. Matthias Kuntz, "Symbolic Semantics and Verification of Stochastic Process Algebras," Friedrich-Alexander-Universität, Erlangen-Nürnberg, Ph.D. thesis, 2006