Kai Lampka

Cited by

	All	Since 2020
Citations	955	199
h-index	19	10
i10-index	27	10

100

200620072008200920102011201220132014201520162017201820192020202120222023202420257 20 16 24 24 38 54 86 71 64 97 74 75 76 44 36 43 38 33 5

Public access

View all

8 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Lothar ThieleProfessor of Computer Engineering, ETH ZurichVerified email at ethz.ch
Simon PerathonerPhd, Computer Engineering, ETH ZurichVerified email at alumni.ethz.ch
Nikolay StoimenovSenior Scientist, ETH ZurichVerified email at tik.ee.ethz.ch
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerified email at it.uu.se
Georgia GiannopoulouIntrinsicVerified email at intrinsic.ai
Jens B. SchmittProfessor of Computer Science, University of KaiserslauternVerified email at cs.uni-kl.de
Matthias WoehrleCorporate Research, Robert Bosch GmbHVerified email at tik.ee.ethz.ch
Jian-Jia ChenTU Dortmund University and Lamarr Institute, GermanyVerified email at cs.uni-dortmund.de
Steffen BondorfProfessor of Computer Science at Ruhr University BochumVerified email at rub.de
Samarjit ChakrabortyKenan Professor of Computer Science, The University of North Carolina at Chapel HillVerified email at cs.unc.edu
Dip GoswamiAssociate Professor, Electrical Engineering, Eindhoven University of Technology (TU/e)Verified email at tue.nl
Pratyush KumarMicrosoft Research, IIT MadrasVerified email at cse.iitm.ac.in
Rolf ErnstProfessor at Institute of Computer and Network Engineering, TU Braunschweig, GermanyVerified email at tu-bs.de
Didier BuchsProfessor of Computer Science, Geneva UniversityVerified email at unige.ch
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéVerified email at lip6.fr
Moritz NeukirchnerChief Expert @ Elektrobit Automotive GmbHVerified email at elektrobit.com
Kai HuangSun Yat-sen UniversityVerified email at in.tum.de
Rodolfo PellizzoniElectrical and Computer Engineering, University of WaterlooVerified email at uwaterloo.ca
Nan GuanCity University of Hong KongVerified email at cityu.edu.hk
Vasileios SpiliopoulosZeropoint TechnologiesVerified email at zptcorp.com

Kai Lampka

Nxp Semiconductors, Docent @ TU Kaiserslautern (part-time)

Verified email at nxp.com - Homepage

Automotive SW systems Mutlicore Architectures HW Virtualization Microkernel


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	110	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	104	2012
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	55	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	55	2010
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	50	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	44	2013
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	41	2014
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	41	2011
Conformance testing for cyber-physical systems M Woehrle, K Lampka, L Thiele ACM Transactions on Embedded Computing Systems (TECS) 11 (4), 1-23, 2013	37	2013
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	25	2017
Exploiting timed automata for conformance testing of power measurements M Woehrle, K Lampka, L Thiele Formal Modeling and Analysis of Timed Systems: 7th International Conference …, 2009	25	2009
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
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	23	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	22	2014
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	22	2013
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
Probabilistic methods in state space analysis M Kuntz, K Lampka Validation of Stochastic Systems: A Guide to Current Research, 339-383, 2004	22	2004
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
Modeling and verification of dynamic command scheduling for real-time memory controllers Y Li, B Akesson, K Lampka, K Goossens 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2016	20	2016
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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors