| 2026 | SAFECOMP | Mixed-Criticality with Unsafe Operating Systems. | Michael Peter, Radu Morus, George A. Ciusleanu, Kai Lampka |
| 2022 | SAFECOMP | Safety Certification with the Open Source Microkernel-Based Operating System L4Re. | Kai Lampka, Joel Thurlby, Adam Lackorzynski, Marcus Hhnel |
| 2017 | INFOCOM | Generalized finitary real-time calculus. | Kai Lampka, Steffen Bondorf, Jens B. Schmitt, Nan Guan, Wang Yi |
| 2016 | DATE | Improving performance by monitoring while maintaining worst-case guarantees. | Syed Md Jakaria Abdullah, Kai Lampka, Wang Yi |
| 2016 | DATE | Keep it slow and in time: Online DVFS with hard real-time workloads. | Kai Lampka, Bjrn Forsberg |
| 2016 | MASCOTS | Achieving Efficiency without Sacrificing Model Accuracy: Network Calculus on Compact Domains. | Kai Lampka, Steffen Bondorf, Jens B. Schmitt |
| 2016 | RTAS | Modeling and Verification of Dynamic Command Scheduling for Real-Time Memory Controllers. | Yonghui Li, Benny Akesson, Kai Lampka, Kees Goossens |
| 2013 | RV | With Real-Time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures. | Kai Lampka |
| 2012 | DAC | A hybrid approach to cyber-physical systems verification. | Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha Annaswamy, Kai Lampka, Lothar Thiele |
| 2012 | EMSOFT | Timed model checking with abstractions: towards worst-case response time analysis in resource-sharing manycore systems. | Georgia Giannopoulou, Kai Lampka, Nikolay Stoimenov, Lothar Thiele |
| 2011 | CASES | Enabling parametric feasibility analysis in real-time calculus driven performance evaluation. | Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon Perathoner, Roberto Passerone, Lothar Thiele |
| 2011 | DATE | Composing heterogeneous components for system-wide performance analysis. | Simon Perathoner, Kai Lampka, Lothar Thiele |
| 2010 | ICCAD | Combining optimistic and pessimistic DVS scheduling: An adaptive scheme and analysis. | Simon Perathoner, Kai Lampka, Nikolay Stoimenov, Lothar Thiele, Jian-Jia Chen |
| 2009 | EMSOFT | Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. | Kai Lampka, Simon Perathoner, Lothar Thiele |
| 2006 | FMICS | An Easy-to-Use, Efficient Tool-Chain to Analyze the Availability of Telecommunication Equipment. | Kai Lampka, Markus Siegle, Max Walter |