Publications 2006
An easy-to-use, efficient tool-chain to
analyze the availability of telecommunication equipment
K.Lampka, Markus Siegle,
Max Walter. Presented at the workshop on Formal Methods on Industrial Critical
Systems 2006. Appeared in Formal Methods on Industrial Critical
Systems 2006. Springe LNCS 4346. Page 35-50.
Download, Abstract, BibTeX-Entry
Analysis of Markov Reward Models
using Zero-suppressed Multi-terminal Binary Decision Diagrams
Kai Lampka, Markus Siegle.
Presented at VALUETOOLS 2006. Appeared in the ACM conference proceedings
(CD-edition).
Download, Abstract, BibTex-Entry
Activity-Local Symbolic State Graph
Generation for High-Level Stochastic Models
Kai Lampka, Markus Siegle.
Appeared in the proceedings of the Meassuring,
Modelling, and Evaluation of Systems Conference 2006, pages 245 - 264, VDE-Verlag, April 2006.
Download, Abstract, BibTeX-Entry
Activity-Local Symbolic State
Graph Generation for High-Level Stochastic Models
Kai Lampka, Markus Siegle.
Technical Report 2005-02, Institute for Computer Enginering,
Design of Computer and Communication Systems. Universität
der Bundeswehr München 2005
Download, Abstract, BibTeX-Entry
Probabilistic Methods in
State Space Analysis
M.Kuntz and Kai Lampka.
Presented at GI/Dagstuhl Research Seminar:
"Validation of Stochastic Systems".
Appeared in Validation of Stochastic Systems - A Guide to Current Research.
Springer LNCS 2925.
The extended version of this paper (to be downloaded) appeared as
Technical Report 07/02 at the Institut für Informatik 7,
Friedrich-Alexander-Universität Erlangen-Nürnberg, 2002
Download, Abstract, BibTeX-Entry
MTBDD-based Activity-Local
State Graph Generation
Kai Lampka and Markus Siegle.
Presented at the Sixth International Workshop on Performability
Modeling of Computer and Communication Systems
(PMCCS-6). Appeared in the on-site proceedings.
Download, Abstract, BibTeX-Entry
Symbolic Activity-Local
State Graph Generation in the Context of Moebius
Kai Lampka and Markus Siegle.
Presented at the ICALP Satellite Workshop on Stochastic Petri Nets and Related
Formalisms. Appeared in the on-site proceedings.
Download, Abstracct, BibTeX-Entry
Activity-Local State Graph Generation within the Möbius
Modelling Framework
Kai Lampka. Appeared as Technical Report 03/06.
Institute of Computer Science, Chair for Computer Networks and Communication
Systems, Friedrich-Alexander-Universität
Erlangen-Nuremberg. 2003.
Abstract, BibTeX-Entry
Z-BDD-based State Space Representation for Monolithic Model Descriptions
Kai Lampka. Appeared as Technical Report 03/05,
Institute of Computer Science, Chair for Computer Networks and Communication
Systems, Friedrich-Alexander-Universität
Erlangen-Nuremberg. 2003.
Abstract, BibTeX-Entry
Symbolic Composition within the Moebius Framework
Kai Lampka and Markus Siegle.
Presented at the 2'nd MMB
Workshop 2002. Appeared in the on-site proceedings of 2. MMB Arbeitsgespraech : ''Leistungs-, Zuverlaessigkeits- und
Verlaesslichkeitsbewertung von Kommunikationsnetzen und verteilten Systemen.
B. Wolfinger, K. Heidtmann, editors,
pp. 63-74. Universitaet Hamburg, Fachbereich
Informatik, Bericht
(Technical Report) 242
Download, Abstract, BibTeX-Entry