PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Lampka, Kai"

Author of the publication

copydeleteadd this publication to your clipboard
Dynamic counters and the efficient and effective online power management of embedded real-time systems.

, , and . CODES+ISSS, page 267-276. ACM, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Univ. -Prof. Dr. -Ing. Kai Hufendiek University of Stuttgart

Kai Waldner University of Stuttgart

Dr. Florian Kaiser University of Stuttgart

Manuel Kaiser University of Stuttgart

Robin Kaißner University of Stuttgart

 

Other publications of authors with the same name

Conformance testing for cyber-physical systems., , and . ACM Trans. Embedded Comput. Syst., 11 (4): 84:1-84:23 (2012)Component-based system design: analytic real-time interfaces for state-based component implementations., , and . STTT, 15 (3): 155-170 (2013)Report on the Model Checking Contest at Petri Nets 2011., , , , , , , , , and . Trans. Petri Nets and Other Models of Concurrency, (2012)Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs., , and . VALUETOOLS, page 78. ICST/ACM, (2007)Dynamic counters and the efficient and effective online power management of embedded real-time systems., , and . CODES+ISSS, page 267-276. ACM, (2011)Keep it cool and in time: With runtime monitoring to thermal-aware execution speeds for deadline constrained systems., , and . J. Parallel Distrib. Comput., (2016)A symbolic approach to the state graph based analysis of high-level Markov reward models.. University of Erlangen-Nuremberg, (2007)Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems., , and . FORMATS, volume 6919 of Lecture Notes in Computer Science, page 193-208. Springer, (2011)Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers., , , and . RTAS, page 85-96. IEEE Computer Society, (2016)Achieving Efficiency without Sacrificing Model Accuracy: Network Calculus on Compact Domains., , and . MASCOTS, page 313-318. IEEE Computer Society, (2016)