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
Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems.

, , and . Design Autom. for Emb. Sys., 14 (3): 193-227 (2010)

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

Component-based system design: analytic real-time interfaces for state-based component implementations., , and . STTT, 15 (3): 155-170 (2013)Conformance testing for cyber-physical systems., , and . ACM Trans. Embedded Comput. Syst., 11 (4): 84:1-84:23 (2012)A symbolic approach to the state graph based analysis of high-level Markov reward models.. University of Erlangen-Nuremberg, (2007)Keep it cool and in time: With runtime monitoring to thermal-aware execution speeds for deadline constrained systems., , and . J. Parallel Distrib. Comput., (2016)Report on the Model Checking Contest at Petri Nets 2011., , , , , , , , , and . Trans. Petri Nets and Other Models of Concurrency, (2012)Dynamic counters and the efficient and effective online power management of embedded real-time systems., , and . CODES+ISSS, page 267-276. ACM, (2011)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)Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications., , , and . Formal Methods in System Design, 36 (3): 198-222 (2010)Resolving Contention for Networks-on-Chips: Combining Time-Triggered Application Scheduling with Dynamic Budgeting of Memory Bus Use., and . MMB/DFT, volume 9629 of Lecture Notes in Computer Science, page 137-152. Springer, (2016)An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment., , and . FMICS/PDMC, volume 4346 of Lecture Notes in Computer Science, page 35-50. Springer, (2006)