Skip to main content
Department of Information Technology
  1. Generalized Finitary Real-Time Calculus. Kai Lampka, Steffen Bondorf, Jens B. Schmitt, Nan Guan, and Yi Wang. In IEEE INFOCOM 2017 - IEEE Conference on Computer Communications, IEEE INFOCOM, IEEE, 2017. (DOI).
  2. Achieving Efficiency Without Sacrificing Model Accuracy: Network Calculus on Compact Domains. Kai Lampka, Steffen Bondorf, and Jens Schmitt. In 2016 IEEE 24Th International Symposium On Modeling, Analysis And Simulation Of Computer And Telecommunication Systems (MASCOTS), International Symposium on Modeling Analysis and Simulation of Computer and Telecommunication Systems Proceedings, pp 313-318, 2016. (DOI).
  3. An Online Overclocking Scheme for Bursty Real-time Tasks and an Evaluation of its Thermal Impact. Bjoern Forsberg, Kai Lampka, and Vasileios Spiliopoulos. In 14Th ACM/IEEE Symposium On Embedded Systems For Real-Time Multimedia (ESTIMEDIA 2016), pp 104-113, 2016. (DOI).
  4. Improving performance by monitoring while maintaining worst-case guarantees. Syed Md Jakaria Abdullah, Kai Lampka, and Wang Yi. In Proc. 19th Conference on Design, Automation and Test in Europe, pp 257-260, IEEE, Piscataway, NJ, 2016.
  5. Keep it cool and in time: With runtime monitoring to thermal-aware execution speeds for deadline constrained systems. Kai Lampka, Björn Forsberg, and Vasileios Spiliopoulos. In Journal of Parallel and Distributed Computing, volume 95, pp 79-91, 2016. (DOI).
  6. Keep it slow and in time: Online DVFS with hard real-time workloads. Kai Lampka and Björn Forsberg. In Proc. 19th Conference on Design, Automation and Test in Europe, Design, Automation, and Test in Europe Conference and Exhibition, pp 385-390, IEEE, Piscataway, NJ, 2016.
  7. Modeling and verification of dynamic command scheduling for real-time memory controllers. Yonghui Li, Benny Åkesson, Kai Lampka, and Kees Goossens. In 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), IEEE Real-Time and Embedded Technology and Applications Symposium, IEEE Computer Society, 2016.
  8. Resolving contention for networks-on-chips: Combining time-triggered application scheduling with dynamic budgeting of memory bus use. Kai Lampka and Adam Lackorzynski. In Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems, volume 9629 of Lecture Notes in Computer Science, pp 137-152, Springer, 2016. (DOI).
  9. A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets. Kai Lampka, Georgia Giannopolou, Rodolfo Pellizzoni, Zheng Wu, and Nikolay Stoimenov. In Real-time systems, volume 50, number 5-6, pp 736-773, 2014. (DOI, fulltext:postprint).
  10. Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks. Jonas Flodin, Kai Lampka, and Wang Yi. In Proc. 9th International Symposium on Industrial Embedded Systems, pp 151-159, IEEE, Piscataway, NJ, 2014. (DOI).
  11. A Symbolic Approach to the Analysis of Multi-Formalism Markov Reward Models. Kai Lampka and Markus Siegle. In Theory and Application of Multi-Formalism Modeling, IGI Global, Pennsylvania, 2013. (External link).
  12. Component-based system design: analytic real-time interfaces for state-based component implementations. Kai Lampka, Simon Perathoner, and Lothar Thiele. In International Journal on Software Tools for Technology Transfer, volume 15, number 3, pp 155-170, Springer Berlin/Heidelberg, 2013. (DOI).
  13. Multi-Mode Monitoring for Mixed-Criticality Real-time Systems. Moritz Neukirchner, Kai Lampka, Sophie Quinton, and Rolf Ernst. In Proc. 11th International Conference on Hardware/Software Codesign and System Synthesis, ACM Press, New York, 2013.
  14. With Real-time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures. Kai Lampka. In Runtime Verification, volume 8174 of Lecture Notes in Computer Science, pp 400-402, Springer Berlin/Heidelberg, 2013.
  15. A Hybrid Approach to Cyber-Physical Systems Verification. Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha Annaswamy, Kai Lampka, and Lothar Thiele. In Proc. 49th Design Automation Conference, pp 688-696, Association for Computing Machinery (ACM), 2012. (fulltext:postprint).
  16. Conformance testing for cyber-physical systems. Matthias Woehrle, Kai Lampka, and Lothar Thiele. In ACM Transactions on Embedded Computing Systems, volume 11, number 4, pp 84:1-23, Association for Computing Machinery (ACM), New York, 2012. (DOI).
  17. 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, and Harro Wimmel. In Transactions on Petri Nets and Other Models of Concurrency: VI, volume 7400 of Lecture Notes in Computer Science, pp 169-196, Springer Berlin/Heidelberg, 2012. (DOI, fulltext:postprint).
  18. Timed Model Checking with Abstractions: Towards Worst-Case Response Time Analysis in Resource-Sharing Manycore Systems. Georgia Giannopoulou, Kai Lampka, Nikolay Stoimenov Nikolay Stoimenov, and Lothar Thiele. In Proc. International Conference on Embedded Software (EMSOFT), pp 63-72, ACM Press, 2012.
Updated  2016-04-19 09:51:09 by Kai Lampka.