Kai Lampka

According to our database, Kai Lampka authored at least 36 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Safety Certification with the Open Source Microkernel-Based Operating System L4Re.

Kai Lampka, Joel Thurlby, Adam Lackorzynski, Marcus Hähnel

Proceedings of the Computer Safety, Reliability, and Security, 2022

2019

Using Hypervisor Technology for Safe and Secure Deployment of High-Performance Multicore Platforms in Future Vehicles.

Kai Lampka, Adam Lackorzynski

Proceedings of the 26th IEEE International Conference on Electronics, Circuits and Systems, 2019

2017

Generalized finitary real-time calculus.

Kai Lampka, Steffen Bondorf, Jens B. Schmitt, Nan Guan, Wang Yi

Proceedings of the 2017 IEEE Conference on Computer Communications, 2017

2016

Keep it cool and in time: With runtime monitoring to thermal-aware execution speeds for deadline constrained systems.

Kai Lampka, Björn Forsberg, Vasileios Spiliopoulos

J. Parallel Distributed Comput., 2016

Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers.

Yonghui Li, Benny Akesson, Kai Lampka, Kees Goossens

Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Resolving Contention for Networks-on-Chips: Combining Time-Triggered Application Scheduling with Dynamic Budgeting of Memory Bus Use.

Kai Lampka, Adam Lackorzynski

Proceedings of the Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, 2016

Achieving Efficiency without Sacrificing Model Accuracy: Network Calculus on Compact Domains.

Kai Lampka, Steffen Bondorf, Jens B. Schmitt

Proceedings of the 24th IEEE International Symposium on Modeling, 2016

An Online Overclocking Scheme for Bursty Real-time Tasks and an Evaluation of its Thermal Impact.

Björn Forsberg, Kai Lampka, Vasileios Spiliopoulos

Proceedings of the 14th ACM/IEEE Symposium on Embedded Systems for Real-Time Multimedia, 2016

Keep it slow and in time: Online DVFS with hard real-time workloads.

Kai Lampka, Björn Forsberg

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Improving performance by monitoring while maintaining worst-case guarantees.

Syed Md Jakaria Abdullah, Kai Lampka, Wang Yi

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2014

A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets.

Kai Lampka, Georgia Giannopoulou, Rodolfo Pellizzoni, Zheng Wu, Nikolay Stoimenov

Real Time Syst., 2014

Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks.

Jonas Flodin, Kai Lampka, Wang Yi

Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

2013

Component-based system design: analytic real-time interfaces for state-based component implementations.

Kai Lampka, Simon Perathoner, Lothar Thiele

Int. J. Softw. Tools Technol. Transf., 2013

With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures.

Kai Lampka

Proceedings of the Runtime Verification - 4th International Conference, 2013

Multi-mode monitoring for mixed-criticality real-time systems.

Moritz Neukirchner, Kai Lampka, Sophie Quinton, Rolf Ernst

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013

2012

Report on the Model Checking Contest at Petri Nets 2011.

Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Colange, Sami Evangelista, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg, Harro Wimmel

Trans. Petri Nets Other Model. Concurr., 2012

Conformance testing for cyber-physical systems.

Matthias Woehrle, Kai Lampka, Lothar Thiele

ACM Trans. Embed. Comput. Syst., 2012

Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems.

Georgia Giannopoulou, Kai Lampka, Nikolay Stoimenov, Lothar Thiele

Proceedings of the 12th International Conference on Embedded Software, 2012

A hybrid approach to cyber-physical systems verification.

Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha Annaswamy, Kai Lampka, Lothar Thiele

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011

Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems.

Matthias Woehrle, Kai Lampka, Lothar Thiele

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2011

Composing heterogeneous components for system-wide performance analysis.

Simon Perathoner, Kai Lampka, Lothar Thiele

Proceedings of the Design, Automation and Test in Europe, 2011

Dynamic counters and the efficient and effective online power management of embedded real-time systems.

Kai Lampka, Kai Huang, Jian-Jia Chen

Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

Enabling parametric feasibility analysis in real-time calculus driven performance evaluation.

Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon Perathoner, Roberto Passerone, Lothar Thiele

Proceedings of the 14th International Conference on Compilers, 2011

2010

Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications.

Kai Lampka, Markus Siegle, Jörn Ossowski, Christel Baier

Formal Methods Syst. Des., 2010

Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems.

Kai Lampka, Simon Perathoner, Lothar Thiele

Des. Autom. Embed. Syst., 2010

Modeling structured event streams in system level performance analysis.

Simon Perathoner, Tobias Rein, Lothar Thiele, Kai Lampka, Jonas Rox

Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, 2010

Combining optimistic and pessimistic DVS scheduling: An adaptive scheme and analysis.

Simon Perathoner, Kai Lampka, Nikolay Stoimenov, Lothar Thiele, Jian-Jia Chen

Proceedings of the 2010 International Conference on Computer-Aided Design, 2010

2009

Exploiting Timed Automata for Conformance Testing of Power Measurements.

Matthias Woehrle, Kai Lampka, Lothar Thiele

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems.

Kai Lampka, Simon Perathoner, Lothar Thiele

Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

2008

A New Algorithm for Partitioned Symbolic Reachability Analysis.

Kai Lampka

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

2007

A symbolic approach to the state graph based analysis of high-level Markov reward models.

Kai Lampka

PhD thesis, 2007

Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs.

Kai Lampka, S. Harwarth, Markus Siegle

Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, 2007

2006

Analysis of Markov reward models using zero-suppressed multi-terminal BDDs.

Kai Lampka, Markus Siegle

Proceedings of the 1st International Conference on Performance Evaluation Methodolgies and Tools, 2006

Activity-local symbolic state graph generation for high-level stochastic models.

Kai Lampka, Markus Siegle

Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006

An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment.

Kai Lampka, Markus Siegle, Max Walter

Proceedings of the Formal Methods: Applications and Technology, 2006

2004

Probabilistic Methods in State Space Analysis.

Matthias Kuntz, Kai Lampka

Proceedings of the Validation of Stochastic Systems - A Guide to Current Research, 2004