r-TuBound: Loop Bounds for WCET Analysis (Tool Paper).

Jens Knoop, Laura Kovcs, Jakob Zwirchmayr

Browse the full LPAR paper archive.