Dr.-Ing. Kai Lampka


Publikationen

Konferenzen und Workshops

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

Technische Berichte und Regionale Workshops

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

Abschlussarbeiten

  1. Kai Lampka, "A symbolic approach to the state graph based analysis of high-level Markov reward models," Universität Erlangen-Nürnberg, Erlangen, Diss., 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, Diss., 2007

Weitere Informationen