Kai Lampka

A hybrid approach to cyber-physical systems verification

Pratyush Kumar, Dip Goswami, Samarjit Chakraborty et al. · 2012 · 80 citations

Engineering, Performance Verification Technique, Verification +18

Analytic real-time analysis and timed automata

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

Engineering, Computer Architecture, Embedded Systems +19

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

Real-time System, Engineering, Analytic Real-time Analysis +15

Timed model checking with abstractions

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

Automotive Industry, Engineering, Verification +19

A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets

Kai Lampka, Georgia Giannopoulou, Rodolfo Pellizzoni et al. · Real-Time Systems · 2014 · 31 citations · Full text

Engineering, Formal Approach, Parallel Performance Evaluation +11