Kai Lampka - Google Scholar Citations

Citeras av

	Alla	Sedan 2014
Citat	700	430
h-index	16	13
i10-index	23	16

200620072008200920102011201220132014201520162017201820199 24 15 26 15 39 56 83 65 65 88 71 74 67

Medförfattare

Lothar ThieleProfessor of Computer Engineering, ETH ZurichVerifierad e-postadress på ethz.ch
Simon PerathonerPhd, Computer Engineering, ETH ZurichVerifierad e-postadress på alumni.ethz.ch
Nikolay StoimenovSenior Scientist, ETH ZurichVerifierad e-postadress på tik.ee.ethz.ch
Georgia GiannopoulouABB Corporate ResearchVerifierad e-postadress på ch.abb.com
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerifierad e-postadress på it.uu.se
Matthias WoehrleVerifierad e-postadress på tik.ee.ethz.ch
Jian-Jia ChenProfessor of Computer Science, TU Dortmund University, GermanyVerifierad e-postadress på cs.uni-dortmund.de
Jens B. SchmittProfessor of Computer Science, University of KaiserslauternVerifierad e-postadress på cs.uni-kl.de
Rolf ErnstProfessor at Institute of Computer and Network Engineering, TU Braunschweig, GermanyVerifierad e-postadress på tu-bs.de
Samarjit ChakrabortyProfessor of Electrical Engineering, TU Munich, GermanyVerifierad e-postadress på tum.de
Dip GoswamiAssistant Professor, Electrical Engineering, Eindhoven University of Technology (TU/e)Verifierad e-postadress på tue.nl
Pratyush KumarIndian Institute of Technology MadrasVerifierad e-postadress på iitm.ac.in
Steffen BondorfAssistant Professor at Ruhr University BochumVerifierad e-postadress på rub.de
Kai HuangSun Yat-sen UniversityVerifierad e-postadress på in.tum.de
Didier BuchsProfessor of Computer Science, Geneva UniversityVerifierad e-postadress på unige.ch
Fabrice KordonProfesseur d'Informatique, Sorbonne UniversitéVerifierad e-postadress på lip6.fr
Moritz NeukirchnerChief Expert @ Elektrobit Automotive GmbHVerifierad e-postadress på elektrobit.com
Rodolfo PellizzoniElectrical and Computer Engineering, University of WaterlooVerifierad e-postadress på uwaterloo.ca
Christel BaierTU DresdenVerifierad e-postadress på tu-dresden.de
Vasileios SpiliopoulosZeropoint TechnologiesVerifierad e-postadress på zptcorp.com

Kai Lampka

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

Verifierad e-postadress på elektrobit.com - Startsida

Automotive SW systems Mutlicore Architectures HW Virtualization Micro-Kernel


Titel	Citeras 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	84	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	63	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 (3), 193-227, 2010	47	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	39	2012
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	38	2011
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	34	2012
Multi-mode monitoring for mixed-criticality real-time systems M Neukirchner, K Lampka, S Quinton, R Ernst Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware …, 2013	30	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 (5-6), 736-773, 2014	26	2014
Conformance testing for cyber-physical systems M Woehrle, K Lampka, L Thiele ACM Transactions on Embedded Computing Systems (TECS) 11 (4), 84, 2012	25	2012
Probabilistic methods in state space analysis M Kuntz, K Lampka Validation of Stochastic Systems, 339-383, 2004	23	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
Exploiting timed automata for conformance testing of power measurements M Woehrle, K Lampka, L Thiele International Conference on Formal Modeling and Analysis of Timed Systems …, 2009	21	2009
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 (3), 155-170, 2013	20	2013
Combining optimistic and pessimistic dvs scheduling: An adaptive scheme and analysis S Perathoner, K Lampka, N Stoimenov, L Thiele, JJ Chen Proceedings of the International Conference on Computer-Aided Design, 131-138, 2010	20	2010
Modeling structured event streams in system level performance analysis S Perathoner, T Rein, L Thiele, K Lampka, J Rox ACM Sigplan Notices 45 (4), 37-46, 2010	20	2010
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	19	2006
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	14	2014
Enabling parametric feasibility analysis in real-time calculus driven performance evaluation A Simalatsar, Y Ramadian, K Lampka, S Perathoner, R Passerone, ... Proceedings of the 14th international conference on Compilers, architectures …, 2011	13	2011
A symbolic approach to the state graph based analysis of high-level Markov reward models K Lampka	13	2007
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs K Lampka, M Siegle VALUETOOLS, 35, 2006	13	2006

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Ladda upp PDF

Följ den här författaren

Citeras av

Medförfattare