- Generalized Finitary Real-Time Calculus. In IEEE INFOCOM 2017 - IEEE Conference on Computer Communications, IEEE INFOCOM, IEEE, 2017. (DOI).
- Achieving Efficiency Without Sacrificing Model Accuracy: Network Calculus on Compact Domains. 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).
- An Online Overclocking Scheme for Bursty Real-time Tasks and an Evaluation of its Thermal Impact. In 14Th ACM/IEEE Symposium On Embedded Systems For Real-Time Multimedia (ESTIMEDIA 2016), pp 104-113, 2016. (DOI).
- Improving performance by monitoring while maintaining worst-case guarantees. In Proc. 19th Conference on Design, Automation and Test in Europe, pp 257-260, IEEE, Piscataway, NJ, 2016.
- Keep it cool and in time: With runtime monitoring to thermal-aware execution speeds for deadline constrained systems. In Journal of Parallel and Distributed Computing, volume 95, pp 79-91, 2016. (DOI).
- Keep it slow and in time: Online DVFS with hard real-time workloads. 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.
- Modeling and verification of dynamic command scheduling for real-time memory controllers. 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.
- Resolving contention for networks-on-chips: Combining time-triggered application scheduling with dynamic budgeting of memory bus use. 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).
- A formal approach to the WCRT analysis of multicore systems with memory contention under phase-structured task sets. In Real-time systems, volume 50, number 5-6, pp 736-773, 2014. (DOI, fulltext:postprint).
- Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks. In Proc. 9th International Symposium on Industrial Embedded Systems, pp 151-159, IEEE, Piscataway, NJ, 2014. (DOI).
- A Symbolic Approach to the Analysis of Multi-Formalism Markov Reward Models. In Theory and Application of Multi-Formalism Modeling, IGI Global, Pennsylvania, 2013. (External link).
- Component-based system design: analytic real-time interfaces for state-based component implementations. In International Journal on Software Tools for Technology Transfer, volume 15, number 3, pp 155-170, Springer Berlin/Heidelberg, 2013. (DOI).
- Multi-Mode Monitoring for Mixed-Criticality Real-time Systems. In Proc. 11th International Conference on Hardware/Software Codesign and System Synthesis, ACM Press, New York, 2013.
- With Real-time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures. In Runtime Verification, volume 8174 of Lecture Notes in Computer Science, pp 400-402, Springer Berlin/Heidelberg, 2013.
- A Hybrid Approach to Cyber-Physical Systems Verification. In Proc. 49th Design Automation Conference, pp 688-696, Association for Computing Machinery (ACM), 2012. (fulltext:postprint).
- Conformance testing for cyber-physical systems. In ACM Transactions on Embedded Computing Systems, volume 11, number 4, pp 84:1-23, Association for Computing Machinery (ACM), New York, 2012. (DOI).
- Report on the Model Checking Contest at Petri Nets 2011. 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).
- Timed Model Checking with Abstractions: Towards Worst-Case Response Time Analysis in Resource-Sharing Manycore Systems. In Proc. International Conference on Embedded Software (EMSOFT), pp 63-72, ACM Press, 2012.
Department of Information Technology
Updated
2016-04-19 09:51:09 by Kai Lampka.