Kai Lampka

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 10

Top Venues

DATE

ESTIMedia

Int. J. Softw. Tools Technol. Transf.

MMB/DFT

University of Erlangen-Nuremberg, Germany (PHD)

Education History

University of Erlangen-Nuremberg, Germany

PHD

Publications

Kai Lampka, Joel Thurlby, Adam Lackorzynski, Marcus Hähnel
Safety Certification with the Open Source Microkernel-Based Operating System L4Re. SAFECOMP (2022)
Kai Lampka, Adam Lackorzynski
Using Hypervisor Technology for Safe and Secure Deployment of High-Performance Multicore Platforms in Future Vehicles. ICECS (2019)
Kai Lampka, Steffen Bondorf, Jens B. Schmitt, Nan Guan, Wang Yi
Generalized finitary real-time calculus. INFOCOM (2017)
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)
Kai Lampka, Björn Forsberg
Keep it slow and in time: Online DVFS with hard real-time workloads. DATE (2016)
Syed Md Jakaria Abdullah, Kai Lampka, Wang Yi
Improving performance by monitoring while maintaining worst-case guarantees. DATE (2016)
Yonghui Li, Benny Akesson, Kai Lampka, Kees Goossens
Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers. RTAS (2016)
Kai Lampka, Steffen Bondorf, Jens B. Schmitt
Achieving Efficiency without Sacrificing Model Accuracy: Network Calculus on Compact Domains. MASCOTS (2016)
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 (2016)
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)
Jonas Flodin, Kai Lampka, Wang Yi
Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks. SIES (2014)
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) (2014)
Kai Lampka
With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures. RV (2013)
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) (2013)
Moritz Neukirchner, Kai Lampka, Sophie Quinton, Rolf Ernst
Multi-mode monitoring for mixed-criticality real-time systems. CODES+ISSS (2013)
Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha Annaswamy, Kai Lampka, Lothar Thiele
A hybrid approach to cyber-physical systems verification. DAC (2012)
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 (2012)
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)
Matthias Woehrle, Kai Lampka, Lothar Thiele
Conformance testing for cyber-physical systems. ACM Trans. Embed. Comput. Syst. 11 (4) (2012)
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)
Matthias Woehrle, Kai Lampka, Lothar Thiele
Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems. FORMATS (2011)
Simon Perathoner, Kai Lampka, Lothar Thiele
Composing heterogeneous components for system-wide performance analysis. DATE (2011)
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)
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) (2010)
Simon Perathoner, Tobias Rein, Lothar Thiele, Kai Lampka, Jonas Rox
Modeling structured event streams in system level performance analysis. LCTES (2010)
Simon Perathoner, Kai Lampka, Nikolay Stoimenov, Lothar Thiele, Jian-Jia Chen
Combining optimistic and pessimistic DVS scheduling: An adaptive scheme and analysis. ICCAD (2010)
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) (2010)
Kai Lampka, Simon Perathoner, Lothar Thiele
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. EMSOFT (2009)
Matthias Woehrle, Kai Lampka, Lothar Thiele
Exploiting Timed Automata for Conformance Testing of Power Measurements. FORMATS (2009)
Kai Lampka
A New Algorithm for Partitioned Symbolic Reachability Analysis. Electron. Notes Theor. Comput. Sci. 223 (2008)
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)
Kai Lampka, Markus Siegle
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs. VALUETOOLS (2006)
Kai Lampka, Markus Siegle
Activity-local symbolic state graph generation for high-level stochastic models. MMB (2006)
Kai Lampka, Markus Siegle, Max Walter
An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. FMICS/PDMC (2006)
Matthias Kuntz, Kai Lampka
Probabilistic Methods in State Space Analysis. Validation of Stochastic Systems (2004)

Kai Lampka.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kai Lampka