 | 2009 |
|---|
| 8 |       | Kai Lampka,
Simon Perathoner,
Lothar Thiele:
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems.
EMSOFT 2009: 107-116 |
| 7 | | Matthias Woehrle,
Kai Lampka,
Lothar Thiele:
Exploiting Timed Automata for Conformance Testing of Power Measurements.
FORMATS 2009: 275-290 |
| 2008 |
|---|
| 6 | | Kai Lampka:
A New Algorithm for Partitioned Symbolic Reachability Analysis.
Electr. Notes Theor. Comput. Sci. 223: 137-151 (2008) |
| 2007 |
|---|
| 5 | | Kai Lampka,
S. Harwarth,
Markus Siegle:
Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs.
VALUETOOLS 2007: 78 |
| 2006 |
|---|
| 4 | | Kai Lampka,
Markus Siegle,
Max Walter:
An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment.
FMICS/PDMC 2006: 35-50 |
| 3 |  | Kai Lampka,
Markus Siegle:
Activity-local symbolic state graph generation for high-level stochastic models.
MMB 2006: 245-264 |
| 2 | | Kai Lampka,
Markus Siegle:
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs.
VALUETOOLS 2006: 35 |
| 2004 |
|---|
| 1 | | Matthias Kuntz,
Kai Lampka:
Probabilistic Methods in State Space Analysis.
Validation of Stochastic Systems 2004: 339-383 |
