Kai Lampka

Geciteerd door

	Alles	Sinds 2019
Citaties	948	267
h-index	19	11
i10-index	27	13

100

20062007200820092010201120122013201420152016201720182019202020212022202320247 20 16 24 24 38 54 86 71 64 97 74 75 76 44 36 43 38 30

Openbare toegang

Alles bekijken

8 artikelen

2 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

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

Volgen

Kai Lampka

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

Geverifieerd e-mailadres voor nxp.com - Homepage

Automotive SW systems Mutlicore Architectures HW Virtualization Microkernel


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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	108	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	40	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	36	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	19	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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs