Kai Lampka

A hybrid approach to cyber-physical systems verification

Pratyush Kumar, Dip Goswami, Samarjit Chakraborty et al. · 2012 · 82 citations · Full text

Engineering, Computer Engineering, Computer Science +17

Analytic real-time analysis and timed automata

Kai Lampka, Simon Perathoner, Lothar Thiele · 2009 · 69 citations

Engineering, Computer Engineering, Computer Science +16

Timed model checking with abstractions

Georgia Giannopoulou, Kai Lampka, Nikolay Stoimenov et al. · 2012 · 37 citations · Full text

Computing, Computer Engineering, Computer Science +17

Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems

Kai Lampka, Simon Perathoner, Lothar Thiele · Design Automation for Embedded Systems · 2010 · 37 citations · Full text

Engineering, Computer Engineering, Computer Science +17

Dynamic counters and the efficient and effective online power management of embedded real-time systems

Kai Lampka, Kai Huang, Jian-Jia Chen · 2011 · 31 citations

Engineering, Computer Engineering, Computer Science +17