|
2014 |
Kai Lampka, Georgia Giannopoulou, Rodolfo Pellizzoni, Zheng Wu and Nikolay Stoimenov: A Formal Approach to the WCRT Analysis of Multicore Systems with Memory Contention under Phase-structured Task Sets Real-Time Systems Volume 50, Issue 5, p. 736-773, November 2014. Article [Details] [BibTeX] [External Link] [Paper as PDF] |
2013 |
Kai Lampka, Simon Perathoner and Lothar Thiele: Component-based system design: analytic real-time interfaces for state-based component implementations International Journal on Software Tools for Technology Transfer p. 155-170, January 2013. Article [Details] [BibTeX] [Paper as PDF] |
2012 |
Matthias Woehrle, Kai Lampka and Lothar Thiele: Conformance testing for cyber-physical systems ACM Transactions in Embedded Computing Systems (TECS) Volume 11, Issue 4, p. 84, December 2012. Article [Details] [BibTeX] [External Link] |
Georgia Giannopoulou, Kai Lampka, Nikolay Stoimenov and Lothar Thiele: Timed Model Checking with Abstractions: Towards Worst-Case Response Time Analysis in Resource-Sharing Manycore Systems Proc. International Conference on Embedded Software (EMSOFT), Tampere, Finland, p. 63-72, October 2012. Inproceedings [Details] [BibTeX] [External Link] [Paper as PDF] |
Georgia Giannopoulou, Nikolay Stoimenov, Kai Lampka, Andreas Schranzhofer and Lothar Thiele: Derivation of access request arrival curves for dedicated superblock sequences TIK Report No. 347 September 2012. Techreport [Details] [BibTeX] [External Link] [Paper as PDF] |
Kai Lampka, Simon Perathoner and Lothar Thiele: Component-based system design: analytic real-time interfaces for state-based component implementations International Journal on Software Tools for Technology Transfer (STTT) p. 1-16, August 2012. Article [Details] [BibTeX] [External Link] |
Pratyush Kumar, Dip Goswami, Samarjit Chakraborty, Anuradha Annaswamy, Kai Lampka and Lothar Thiele: A Hybrid Approach to Cyber-Physical Systems Verification In Proceedings of the 49th Design Automation Conference, DAC 2012, San Fransisco, USA, p. 688-696, June 2012. Inproceedings [Details] [BibTeX] [Paper as PDF] |
Fabrice Kordon, Alban Linard, Didier Buchs, Maximilien Collange, Sami Evangelista, Jonas F. Jensen, Kai Lampka, Niels Lohmann, Emmanuel Paviot-Adet, Yann Thierry-Mieg and Harro
Wimmel: Report on the Model Checking Contest at Petri Nets 2011 Lecture Notes in Computer Science. Transactions on Petri Nets and Other Models of Concurrency IV, ISSN 1867-7193 Volume 7400, p. 169-196, May 2012. Article [Details] [BibTeX] [External Link] [Paper as PDF] |
2011 |
Kai Lampka and Lothar Thiele: Towards Integrated Modeling: Analytic Real-time Interfaces for Timed Automata based Component Models Vasteras, October 2011. Misc [Details] [BibTeX] |
Kai Lampka and Lothar Thiele: On the Computation and Properties of Real-time Interfaces for State-based Component Models. Conference lecture on the 1st International Workshop on Model-Based Design with a Focus on Extra-Functional Properties (MBDEFP) Taipei, Taiwan, October 2011. Misc [Details] [BibTeX] [Paper as PDF] |
Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon Perathoner, Roberto Passerone and Lothar Thiele: Enabling Parametric Feasibility Analysis in Real-time Calculus Driven Performance Evaluation Proceedings of the 2011 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2011, Taipei, Taiwan, p. 155-164, October 2011. Inproceedings [Details] [BibTeX] [Paper as PDF] |
Kai Lampka, Kai Huang and Jian-Jia Chen: Dynamic Counters and the Efficient and Effective Online Power Management of Embedded Real-time Systems Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2011, Taipei, Taiwan, p. 267-276, October 2011. Inproceedings [Details] [BibTeX] [Paper as PDF] |
Matthias Woehrle, Kai Lampka and Lothar Thiele: Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems Lecture Notes on Computer Science. Formal Modeling and Analysis of Timed Systems. 9th International Conference FORMATS 2011, Aalborg, Denmark, Volume 6919, p. 193-208, September 2011. Inproceedings [Details] [BibTeX] [External Link] |
Simon Perathoner, Kai Lampka and Lothar Thiele: Composing Heterogeneous Components for System-wide Performance Analysis Proceedings of Design, Automation and Test in Europe, 2011 (DATE 11), Grenoble, France, p. 1-6, March 2011. Inproceedings [Details] [BibTeX] [External Link] [Paper as PDF] |
2010 |
Urban Suppiger, Simon Perathoner, Kai Lampka and Lothar Thiele: Modular Performance Analysis of Large-scale Distributed Embedded Systems: An Industrial Case Study November 2010. Techreport [Details] [BibTeX] [Paper as PDF] |
Simon Perathoner, Jian-Jia Chen, Kai Lampka, Nikolay Stoimenov and Lothar Thiele: Combining Optimistic and Pessimistic DVS Scheduling: An Adaptive Scheme and Analysis IEEE/ACM International Conference on Computer-Aided Design (ICCAD) , San Jose, California, USA, p. 131-138 , November 2010. Inproceedings [Details] [BibTeX] [External Link] [Paper as PDF] |
Kai Lampka, Simon Perathoner and Lothar Thiele: Analytic Real-Time Interfaces for state-based Components ETZG, Gloriastr. 35, September 2010. Techreport [Details] [BibTeX] [Paper as PDF] |
Urban Suppiger, Simon Perathoner, Kai Lampka and Lothar Thiele: A simple approximation method for reducing the complexity of Modular Performance Analysis August 2010. Techreport [Details] [BibTeX] [Paper as PDF] |
Kai Lampka, Markus Siegle, Joern Ossowski and Christel Baier: Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications Form Methods System Design Netherlands, Volume 36, p. 198-222, June 2010. Article [Details] [BibTeX] |
Simon Perathoner, Tobias Rein, Lothar Thiele, Kai Lampka and Jonas Rox: Modeling Structured Event Streams in System Level Performance Analysis ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), Stockholm, Sweden, p. 37-46, April 2010. Inproceedings [Details] [BibTeX] [External Link] [Paper as PDF] |
Kai Lampka, Simon Perathoner and Lothar Thiele: Analytic Real-Time Analysis and Timed Automata: A Hybrid Methodology for the Performance Analysis of Embedded Real-Time Systems Design Automation for Embedded Systems Volume 14, Issue 3, p. 193-227 2010. Article [Details] [BibTeX] [External Link] [Paper as PDF] |
2009 |
Simon Perathoner, Tobias Rein, Lothar Thiele and Kai Lampka: FIFO Scheduling and Event Count Curves for Modeling Structured Event Streams in Modular Performance Analysis October 2009. Techreport [Details] [BibTeX] [Paper as PDF] |
Kai Lampka, Simon Perathoner and Lothar Thiele: Analytic Real-Time Analysis and Timed Automata: A Hybrid Method for Analyzing Embedded Real-Time Systems 8th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, p. 107-116, October 2009. Inproceedings [Details] [BibTeX] [External Link] [Paper as PDF] |
Matthias Woehrle, Kai Lampka and Lothar Thiele: Exploiting timed automata for conformance testing of power measurements Proc. Formal Modeling and Analysis of Timed Systems 2009, p. 275-290, September 2009. Inproceedings [Details] [BibTeX] [Paper as PDF] |
Kai Lampka: Re-visiting Partitioned Symbolic State Graph Generation for high-level models Gloriastr. 35, 8092 Zuerich, August 2009. Techreport [Details] [BibTeX] [Paper as PDF] |
Kai Lampka: Symbolic Reachability Graph Generation for High-level Models based on Synthesized Operators Gloriastr. 35, 8092 Zuerich, August 2009. Techreport [Details] [BibTeX] [Paper as PDF] |
2008 |
Kai Lampka: A New Algorithm for Partitioned Symbolic Reachability Analysis Proceedings of the Workshop on Reachability Problems, Amsterdam, The Netherlands, Volume 223, Issue 15, p. 137--151, December 2008. Inproceedings [Details] [BibTeX] [External Link] |
Kai Lampka and Lothar Thiele: Combining computational and analytic model descriptions for evaluating embedded real-time systems December 2008. Techreport [Details] [BibTeX] [Paper as PDF] |
Tobias Rein, Kai Lampka and Lothar Thiele: Modeling Hierarchical Event Streams in System Level Performance Analysis November 2008. Techreport [Details] [BibTeX] [Paper as PDF] |
Kai Lampka: Multi-rooted ZMTBDDs and the symbolic, quantitative verification of systems Proceedings of the 8th Workshop on Boolean Problems (WBP08), p. 145-160, September 2008. Inproceedings [Details] [BibTeX] |
Kai Lampka, Markus Siegle, Joern Ossowski and Christel Baier: Partially-shared Zero-Suppressed Multi-Terminal BDDs: Concept, Algorithms and Applications Gloriastr. 35, 8092 Zuerich 2008. Techreport [Details] [BibTeX] [Paper as PDF] |
2007 |
Kai Lampka, Stefan Harwarth and Markus Siegle: Can matrix-layout-independent numerical solvers be efficient? Proceedings of the International Workshop on Tools for solving Structured Markov Chains 2007, Nantes, Volume 2, p. 1-9, October 2007. Inproceedings [Details] [BibTeX] [External Link] |
Kai Lampka: A symbolic approach to the state graph based analysis of high-level Markov reward models Erlangen, April 2007. PhD Thesis [Details] [BibTeX] |