Kai Lampka

Sitert av

	Alle	Siden 2018
Sitater	872	272
h-indeks	18	11
i10-indeks	26	11

100

2006200720082009201020112012201320142015201620172018201920202021202220237 20 16 24 24 38 54 85 69 64 95 74 73 77 42 32 45 3

Offentlig tilgang

Vis alle

7 artikler

1 artikkel

tilgjengelige

ikke tilgjengelige

Basert på finansieringsmandater

Medforfattere

Lothar ThieleProfessor of Computer Engineering, ETH ZurichVerifisert e-postadresse på ethz.ch
Simon PerathonerPhd, Computer Engineering, ETH ZurichVerifisert e-postadresse på alumni.ethz.ch
Nikolay StoimenovSenior Scientist, ETH ZurichVerifisert e-postadresse på tik.ee.ethz.ch
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerifisert e-postadresse på it.uu.se
Georgia GiannopoulouAkasha ImagingVerifisert e-postadresse på akasha.im
Matthias WoehrleCorporate Research, Robert Bosch GmbHVerifisert e-postadresse på tik.ee.ethz.ch
Jens B. SchmittProfessor of Computer Science, University of KaiserslauternVerifisert e-postadresse på cs.uni-kl.de
Jian-Jia ChenProfessor of Computer Science, TU Dortmund University, GermanyVerifisert e-postadresse på cs.uni-dortmund.de
Rolf ErnstProfessor at Institute of Computer and Network Engineering, TU Braunschweig, GermanyVerifisert e-postadresse på tu-bs.de
Steffen BondorfProfessor of Computer Science at Ruhr University BochumVerifisert e-postadresse på rub.de
Samarjit ChakrabortyKenan Professor of Computer Science, The University of North Carolina at Chapel HillVerifisert e-postadresse på cs.unc.edu
Dip GoswamiAssistant Professor, Electrical Engineering, Eindhoven University of Technology (TU/e)Verifisert e-postadresse på tue.nl
Pratyush KumarMicrosoft Research, IIT MadrasVerifisert e-postadresse på cse.iitm.ac.in
Didier BuchsProfessor of Computer Science, Geneva UniversityVerifisert e-postadresse på unige.ch
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéVerifisert e-postadresse på lip6.fr
Moritz NeukirchnerChief Expert @ Elektrobit Automotive GmbHVerifisert e-postadresse på elektrobit.com
Kai HuangSun Yat-sen UniversityVerifisert e-postadresse på in.tum.de
Rodolfo PellizzoniElectrical and Computer Engineering, University of WaterlooVerifisert e-postadresse på uwaterloo.ca
Vasileios SpiliopoulosZeropoint TechnologiesVerifisert e-postadresse på zptcorp.com
Nan GuanCity University of Hong KongVerifisert e-postadresse på cityu.edu.hk

Følg

Kai Lampka

Chief Expert & Technology Manager @ Elektrobit Automotive, Docent @ TU Kaiserslautern (part-time)

Verifisert e-postadresse på elektrobit.com - Startside

Automotive SW systems Mutlicore Architectures HW Virtualization Micro-Kernel


Tittel Sorter etter sitater Sorter etter år Sorter etter 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	104	2009
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	84	2012
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	53	2010
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	50	2012
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	48	2012
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	41	2013
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	40	2011
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	38	2014
Conformance testing for cyber-physical systems M Woehrle, K Lampka, L Thiele ACM Transactions on Embedded Computing Systems (TECS) 11 (4), 1-23, 2013	36	2013
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	24	2013
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	24	2010
Exploiting Timed Automata for Conformance Testing of Power Measurements. M Woehrle, K Lampka, L Thiele FORMATS, 275-290, 2009	24	2009
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	22	2010
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	21	2017
Composing heterogeneous components for system-wide performance analysis S Perathoner, K Lampka, L Thiele 2011 Design, Automation & Test in Europe, 1-6, 2011	21	2011
Probabilistic methods in state space analysis M Kuntz, K Lampka Validation of Stochastic Systems: A Guide to Current Research, 339-383, 2004	20	2004
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	18	2016
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	18	2014
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	18	2006
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	15	2016

Systemet kan ikke utføre handlingen. Prøv på nytt senere.

Artikler 1–20

Sitater per år

Duplikatsitater

Sammenslåtte sitater

Legg til medforfattereMedforfattere

Følg

Sitert av

Medforfattere