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]
@inproceedings{Kastner07:0,
title = {Safe worst-case execution time analysis by abstract interpretation of executable code},
author = {Daniel Kästner},
year = {2007},
doi = {10.1145/1254766.1254787},
url = {http://doi.acm.org/10.1145/1254766.1254787},
tags = {analysis},
researchr = {https://researchr.org/publication/Kastner07%3A0},
cites = {0},
citedby = {0},
pages = {135},
booktitle = {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},
editor = {Santosh Pande and Zhiyuan Li},
publisher = {ACM},
isbn = {978-1-59593-632-5},
}