Daniel Kästner. Safe worst-case execution time analysis by abstract interpretation of executable code. In Santosh Pande, Zhiyuan Li, editors, Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 07), San Diego, California, USA, June 13-15, 2007. pages 135, ACM, 2007. [doi]
Abstract is missing.