Kai Lampka

	2011
17		Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon Perathoner, Roberto Passerone, Lothar Thiele: Enabling parametric feasibility analysis in real-time calculus driven performance evaluation. CASES 2011: 155-164
16		Kai Lampka, Kai Huang, Jian-Jia Chen: Dynamic counters and the efficient and effective online power management of embedded real-time systems. CODES+ISSS 2011: 267-276
15		Simon Perathoner, Kai Lampka, Lothar Thiele: Composing heterogeneous components for system-wide performance analysis. DATE 2011: 842-847
14		Matthias Woehrle, Kai Lampka, Lothar Thiele: Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems. FORMATS 2011: 193-208
	2010
13		Simon Perathoner, Kai Lampka, Nikolay Stoimenov, Lothar Thiele, Jian-Jia Chen: Combining optimistic and pessimistic DVS scheduling: An adaptive scheme and analysis. ICCAD 2010: 131-138
12		Simon Perathoner, Tobias Rein, Lothar Thiele, Kai Lampka, Jonas Rox: Modeling structured event streams in system level performance analysis. LCTES 2010: 37-46
11		Kai Lampka, Simon Perathoner, Lothar Thiele: Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems. Design Autom. for Emb. Sys. 14(3): 193-227 (2010)
10		Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier: Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications. Formal Methods in System Design 36(3): 198-222 (2010)
	2009
9		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
8		Matthias Woehrle, Kai Lampka, Lothar Thiele: Exploiting Timed Automata for Conformance Testing of Power Measurements. FORMATS 2009: 275-290
	2008
7		Kai Lampka: A New Algorithm for Partitioned Symbolic Reachability Analysis. Electr. Notes Theor. Comput. Sci. 223: 137-151 (2008)
	2007
6		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
5		Kai Lampka: A symbolic approach to the state graph based analysis of high-level Markov reward models. University of Erlangen-Nuremberg 2007: 1-173
	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

Coauthor Index

1	Christel Baier	[10]
2	Jian-Jia Chen	[13] [16]
3	S. Harwarth	[6]
4	Kai Huang	[16]
5	Matthias Kuntz	[1]
6	Jörn Ossowski	[10]
7	Roberto Passerone	[17]
8	Simon Perathoner	[9] [11] [12] [13] [15] [17]
9	Yusi Ramadian	[17]
10	Tobias Rein	[12]
11	Jonas Rox	[12]
12	Markus Siegle	[2] [3] [4] [6] [10]
13	Alena Simalatsar	[17]
14	Nikolay Stoimenov	[13]
15	Lothar Thiele	[8] [9] [11] [12] [13] [14] [15] [17]
16	Max Walter	[4]
17	Matthias Woehrle	[8] [14]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page