Kai Lampka - Citegraph

Author Info

Name	Affiliation	Papers
KAI LAMPKA	Computer Engineering and Communication Networks Lab., ETH Zurich, Zurich, Switzerland	23
Collaborators	Citations	PageRank
39	228	14.45
Referers	Referees	References
452	527	348

Search Limit

100527

Publications (23 rows)

Collaborators (39 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Achieving Efficiency without Sacrificing Model Accuracy: Network Calculus on Compact Domains	3	0.42	2016
Improving performance by monitoring while maintaining worst-case guarantees	0	0.34	2016
Keep it slow and in time: Online DVFS with hard real-time workloads	0	0.34	2016
An Online Overclocking Scheme for Bursty Real-time Tasks and an Evaluation of its Thermal Impact.	0	0.34	2016
A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets	11	0.55	2014
Component-based system design: analytic real-time interfaces for state-based component implementations.	10	0.68	2013
Report on the Model Checking Contest at Petri Nets 2011.	16	0.68	2012
Conformance testing for cyber-physical systems	7	0.56	2012
A hybrid approach to cyber-physical systems verification	30	1.22	2012
Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems	22	0.78	2012
Segmented state space traversal for conformance testing of cyber-physical systems	4	0.41	2011
Dynamic counters and the efficient and effective online power management of embedded real-time systems	17	0.75	2011
Enabling parametric feasibility analysis in real-time calculus driven performance evaluation	5	0.45	2011
Modeling structured event streams in system level performance analysis	11	0.65	2010
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications	2	0.36	2010
Combining optimistic and pessimistic DVS scheduling: an adaptive scheme and analysis	10	0.54	2010
Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems	22	0.99	2010
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems	37	1.40	2009
Exploiting Timed Automata for Conformance Testing of Power Measurements	10	1.09	2009
A New Algorithm for Partitioned Symbolic Reachability Analysis	1	0.36	2008
Activity-local symbolic state graph generation for high-level stochastic models.	5	0.62	2006
An easy-to-use, efficient tool-chain to analyze the availability of telecommunication equipment	2	0.47	2006
Probabilistic Methods in State Space Analysis	3	0.46	2004