default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKai Lampka
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[c28]Kai Lampka, Joel Thurlby, Adam Lackorzynski
, Marcus Hähnel:
Safety Certification with the Open Source Microkernel-Based Operating System L4Re. SAFECOMP 2022: 31-45
2010 – 2019
- 2019
- [c27]Kai Lampka, Adam Lackorzynski:
Using Hypervisor Technology for Safe and Secure Deployment of High-Performance Multicore Platforms in Future Vehicles. ICECS 2019: 783-786 - 2017
- [c26]Kai Lampka, Steffen Bondorf, Jens B. Schmitt, Nan Guan, Wang Yi:
Generalized finitary real-time calculus. INFOCOM 2017: 1-9 - 2016
- [j7]Kai Lampka, Björn Forsberg, Vasileios Spiliopoulos:
Keep it cool and in time: With runtime monitoring to thermal-aware execution speeds for deadline constrained systems. J. Parallel Distributed Comput. 95: 79-91 (2016) - [c25]Syed Md Jakaria Abdullah, Kai Lampka, Wang Yi:
Improving performance by monitoring while maintaining worst-case guarantees. DATE 2016: 257-260 - [c24]Kai Lampka, Björn Forsberg:
Keep it slow and in time: Online DVFS with hard real-time workloads. DATE 2016: 385-390 - [c23]Björn Forsberg, Kai Lampka, Vasileios Spiliopoulos:
An Online Overclocking Scheme for Bursty Real-time Tasks and an Evaluation of its Thermal Impact. ESTIMedia 2016: 104-113 - [c22]Kai Lampka, Steffen Bondorf, Jens B. Schmitt:
Achieving Efficiency without Sacrificing Model Accuracy: Network Calculus on Compact Domains. MASCOTS 2016: 313-318 - [c21]Kai Lampka, Adam Lackorzynski:
Resolving Contention for Networks-on-Chips: Combining Time-Triggered Application Scheduling with Dynamic Budgeting of Memory Bus Use. MMB/DFT 2016: 137-152 - [c20]Yonghui Li, Benny Akesson, Kai Lampka, Kees Goossens:
Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers. RTAS 2016: 85-96 - 2014
- [j6]Kai Lampka, Georgia Giannopoulou, Rodolfo Pellizzoni, Zheng Wu, Nikolay Stoimenov:
A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets. Real Time Syst. 50(5-6): 736-773 (2014) - [c19]Jonas Flodin, Kai Lampka, Wang Yi:
Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks. SIES 2014: 151-159 - 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) - [c18]Moritz Neukirchner, Kai Lampka, Sophie Quinton, Rolf Ernst:
Multi-mode monitoring for mixed-criticality real-time systems. CODES+ISSS 2013: 34:1-34:10 - [c17]Kai Lampka:
With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures. RV 2013: 400-402 - 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) - [j3]Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel:
Report on the Model Checking Contest at Petri Nets 2011. Trans. Petri Nets Other Model. Concurr. 6: 169-196 (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 - [c13]Kai Lampka, Kai Huang, Jian-Jia Chen:
Dynamic counters and the efficient and effective online power management of embedded real-time systems. CODES+ISSS 2011: 267-276 - [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) - [j1]Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier:
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications. Formal Methods Syst. Des. 36(3): 198-222 (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
2000 – 2009
- 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 - 2008
- [c6]Kai Lampka:
A New Algorithm for Partitioned Symbolic Reachability Analysis. RP 2008: 137-151 - 2007
- [b1]Kai Lampka:
A symbolic approach to the state graph based analysis of high-level Markov reward models. University of Erlangen-Nuremberg, Germany, 2007, pp. 1-173 - [c5]Kai Lampka, S. Harwarth, Markus Siegle:
Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs. VALUETOOLS 2007: 78 - 2006
- [c4]Kai Lampka, Markus Siegle, Max Walter:
An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. FMICS/PDMC 2006: 35-50 - [c3]Kai Lampka, Markus Siegle:
Activity-local symbolic state graph generation for high-level stochastic models. MMB 2006: 245-264 - [c2]Kai Lampka, Markus Siegle:
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs. VALUETOOLS 2006: 35 - 2004
- [c1]Matthias Kuntz, Kai Lampka:
Probabilistic Methods in State Space Analysis. Validation of Stochastic Systems 2004: 339-383
Coauthor Index
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 2025-01-09 13:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
