Kirner, Raimund
Raimund Kirner is an Assistant Professor at the Vienna University of Technology. His main research interest is in worst-case execution time analysis (WCET analysis) and in techniques to reduce the complexity and improving the convenience of WCET analysis. The author is also working on general verification of real-time systems.