Kai Lampka
EMSOFT 2012: 12th International Conference on Embedded Software
Timed Model Checking with Abstractions: Towards Worst-Case Response Time Analysis in Resource-Sharing Manycore Systems
EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software
Analytic Real-Time Analysis and Timed Automata: a Hybrid Method for Analyzing Embedded Real-Time Systems