Følg
Kai Lampka
Kai Lampka
Chief Expert & Technology Manager @ Elektrobit Automotive, Docent @ TU Kaiserslautern (part-time)
Verifisert e-postadresse på elektrobit.com - Startside
Tittel
Sitert av
Sitert av
År
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems
K Lampka, S Perathoner, L Thiele
Proceedings of the seventh ACM international conference on Embedded software …, 2009
1042009
A hybrid approach to cyber-physical systems verification
P Kumar, D Goswami, S Chakraborty, A Annaswamy, K Lampka, L Thiele
Proceedings of the 49th Annual Design Automation Conference, 688-696, 2012
842012
Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems
K Lampka, S Perathoner, L Thiele
Design Automation for Embedded Systems 14, 193-227, 2010
532010
Timed model checking with abstractions: Towards worst-case response time analysis in resource-sharing manycore systems
G Giannopoulou, K Lampka, N Stoimenov, L Thiele
Proceedings of the tenth ACM international conference on Embedded software …, 2012
502012
Report on the model checking contest at Petri nets 2011
F Kordon, A Linard, D Buchs, M Colange, S Evangelista, K Lampka, ...
Transactions on Petri Nets and Other Models of Concurrency VI, 169-196, 2012
482012
Multi-mode monitoring for mixed-criticality real-time systems
M Neukirchner, K Lampka, S Quinton, R Ernst
2013 International Conference on Hardware/Software Codesign and System …, 2013
412013
Dynamic counters and the efficient and effective online power management of embedded real-time systems
K Lampka, K Huang, JJ Chen
Proceedings of the seventh IEEE/ACM/IFIP international conference on …, 2011
402011
A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets
K Lampka, G Giannopoulou, R Pellizzoni, Z Wu, N Stoimenov
Real-Time Systems 50, 736-773, 2014
382014
Conformance testing for cyber-physical systems
M Woehrle, K Lampka, L Thiele
ACM Transactions on Embedded Computing Systems (TECS) 11 (4), 1-23, 2013
362013
Component-based system design: analytic real-time interfaces for state-based component implementations
K Lampka, S Perathoner, L Thiele
International Journal on Software Tools for Technology Transfer 15, 155-170, 2013
242013
Modeling structured event streams in system level performance analysis
S Perathoner, T Rein, L Thiele, K Lampka, J Rox
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages …, 2010
242010
Exploiting Timed Automata for Conformance Testing of Power Measurements.
M Woehrle, K Lampka, L Thiele
FORMATS, 275-290, 2009
242009
Combining optimistic and pessimistic dvs scheduling: An adaptive scheme and analysis
S Perathoner, K Lampka, N Stoimenov, L Thiele, JJ Chen
2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 131-138, 2010
222010
Generalized finitary real-time calculus
K Lampka, S Bondorf, JB Schmitt, N Guan, W Yi
IEEE INFOCOM 2017-IEEE Conference on Computer Communications, 1-9, 2017
212017
Composing heterogeneous components for system-wide performance analysis
S Perathoner, K Lampka, L Thiele
2011 Design, Automation & Test in Europe, 1-6, 2011
212011
Probabilistic methods in state space analysis
M Kuntz, K Lampka
Validation of Stochastic Systems: A Guide to Current Research, 339-383, 2004
202004
Achieving efficiency without sacrificing model accuracy: Network calculus on compact domains
K Lampka, S Bondorf, J Schmitt
2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation …, 2016
182016
Dynamic budgeting for settling dram contention of co-running hard and soft real-time tasks
J Flodin, K Lampka, W Yi
Proceedings of the 9th IEEE International Symposium on Industrial Embedded …, 2014
182014
Activity-local symbolic state graph generation for high-level stochastic models
K Lampka, M Siegle
13th GI/ITG Conference-Measuring, Modelling and Evaluation of Computer and …, 2006
182006
Keep it slow and in time: Online DVFS with hard real-time workloads
K Lampka, B Forsberg
2016 Design, Automation & Test in Europe Conference & Exhibition (DATE), 385-390, 2016
152016
Systemet kan ikke utføre handlingen. Prøv på nytt senere.
Artikler 1–20