Travelled to:1 × France
1 × Sweden
1 × USA
Collaborated with:L.Thiele S.Perathoner T.Rein J.Rox P.Kumar D.Goswami S.Chakraborty A.Annaswamy
Talks about:system (3) perform (2) analysi (2) heterogen (1) structur (1) approach (1) stream (1) physic (1) hybrid (1) compos (1)
Person: Kai Lampka
DBLP: Lampka:Kai
Contributed to:
2012
2011
2010Wrote 3 papers:
- DAC-2012-KumarGCALT #approach #cyber-physical #hybrid #verification
- A hybrid approach to cyber-physical systems verification (PK, DG, SC, AA, KL, LT), pp. 688–696.
- DATE-2011-PerathonerLT #analysis #component #performance
- Composing heterogeneous components for system-wide performance analysis (SP, KL, LT), pp. 842–847.
- LCTES-2010-PerathonerRTLR #analysis #modelling #performance
- Modeling structured event streams in system level performance analysis (SP, TR, LT, KL, JR), pp. 37–46.