default search action
Kai Lampka
- > Home > Persons > Kai Lampka
Publications
- 2013
- [j5]Kai Lampka, Simon Perathoner, Lothar Thiele:
Component-based system design: analytic real-time interfaces for state-based component implementations. Int. J. Softw. Tools Technol. Transf. 15(3): 155-170 (2013) - 2012
- [j4]Matthias Woehrle, Kai Lampka, Lothar Thiele:
Conformance testing for cyber-physical systems. ACM Trans. Embed. Comput. Syst. 11(4): 84:1-84:23 (2012) - [c16]Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha Annaswamy, Kai Lampka, Lothar Thiele:
A hybrid approach to cyber-physical systems verification. DAC 2012: 688-696 - [c15]Georgia Giannopoulou, Kai Lampka, Nikolay Stoimenov, Lothar Thiele:
Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems. EMSOFT 2012: 63-72 - 2011
- [c14]Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon Perathoner, Roberto Passerone, Lothar Thiele:
Enabling parametric feasibility analysis in real-time calculus driven performance evaluation. CASES 2011: 155-164 - [c12]Simon Perathoner, Kai Lampka, Lothar Thiele:
Composing heterogeneous components for system-wide performance analysis. DATE 2011: 842-847 - [c11]Matthias Woehrle, Kai Lampka, Lothar Thiele:
Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems. FORMATS 2011: 193-208 - 2010
- [j2]Kai Lampka, Simon Perathoner, Lothar Thiele:
Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems. Des. Autom. Embed. Syst. 14(3): 193-227 (2010) - [c10]Simon Perathoner, Kai Lampka, Nikolay Stoimenov, Lothar Thiele, Jian-Jia Chen:
Combining optimistic and pessimistic DVS scheduling: An adaptive scheme and analysis. ICCAD 2010: 131-138 - [c9]Simon Perathoner, Tobias Rein, Lothar Thiele, Kai Lampka, Jonas Rox:
Modeling structured event streams in system level performance analysis. LCTES 2010: 37-46 - 2009
- [c8]Kai Lampka, Simon Perathoner, Lothar Thiele:
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. EMSOFT 2009: 107-116 - [c7]Matthias Woehrle, Kai Lampka, Lothar Thiele:
Exploiting Timed Automata for Conformance Testing of Power Measurements. FORMATS 2009: 275-290
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-29 20:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint