Dr.-Ing. Matthias Kuntz


Publikationen

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

Technische Berichte und Regionale Workshops

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

Abschlussarbeiten

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

Weitere Informationen