Dr.-Ing. Kai Lampka


Publications

Conferences and Workshops

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

Technical Reports and Regional Workshops

  1. Kai Lampka, "Activity-oriented State Graph Representation for Performability Models with known Symmetries," Friedrich-Alexander-Universität Erlangen-Nürnberg, technical report 06/03, 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. Kai Lampka, "Z-BDD-based State Space Representation for Monolithic Model Descriptions," Friedrich-Alexander-Universität Erlangen-Nürnberg, Inf 7, technical report 02/05, 2002

Theses

  1. Kai Lampka, "A symbolic approach to the state graph based analysis of high-level Markov reward models," Universität Erlangen-Nürnberg, Erlangen, Ph.D. thesis, 2007
  2. Kai Lampka, "Ein symbolischer Ansatz für die Zustandsgraph-basierte Analyse von hochsprachlichen Markov Reward Modellen," Friedrich-Alexander-Universität, Erlangen-Nürnberg, Ph.D. thesis, 2007