Kai Lampka - Google Scholar Citations

Citeras av

	Alla	Sedan 2014
Citat	662	395
h-index	16	12
i10-index	22	15

200620072008200920102011201220132014201520162017201820199 24 14 26 15 39 55 81 68 65 90 68 73 31

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
Matthias WoehrleVerifierad e-postadress på alumni.ethz.ch
Wang YiProfessor of Embedded Systems, Uppsala UniversityVerifierad e-postadress på it.uu.se
Samarjit ChakrabortyProfessor of Electrical Engineering, TU Munich, GermanyVerifierad e-postadress på tum.de
Jian-Jia ChenProfessor of Computer Science, TU Dortmund University, GermanyVerifierad e-postadress på cs.uni-dortmund.de
Rolf ErnstProfessor at Institute of Computer and Network Engineering, TU Braunschweig, GermanyVerifierad e-postadress på tu-bs.de
Jens B. SchmittProfessor of Computer Science, University of KaiserslauternVerifierad e-postadress på cs.uni-kl.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
Kai HuangSun Yat-sen UniversityVerifierad e-postadress på in.tum.de
Steffen BondorfPostdoctoral Research Fellow at NTNU TrondheimVerifierad e-postadress på ntnu.no
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å it.uu.se

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	83	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	56	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	37	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	35	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	31	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	28	2013
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
Composing heterogeneous components for system-wide performance analysis S Perathoner, K Lampka, L Thiele 2011 Design, Automation & Test in Europe, 1-6, 2011	22	2011
Probabilistic methods in state space analysis M Kuntz, K Lampka Validation of Stochastic Systems, 339-383, 2004	22	2004
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	21	2014
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
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
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	19	2013
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
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
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	12	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	12	2011

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