Combined WCET analysis of bitcode and machine code using control-flow relation graphs

Benedikt Huber, Daniel Prokesch, Peter P. Puschner. Combined WCET analysis of bitcode and machine code using control-flow relation graphs. In Björn Franke, Jingling Xue, editors, SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2013, LCTES '13, Seattle, WA, USA, June 20-21, 2013. pages 163-172, ACM, 2013. [doi]

Authors

Benedikt Huber

This author has not been identified. Look up 'Benedikt Huber' in Google

Daniel Prokesch

This author has not been identified. Look up 'Daniel Prokesch' in Google

Peter P. Puschner

This author has not been identified. Look up 'Peter P. Puschner' in Google