J. Zwirchmayr: "r-TuBound: Loop Bounds for WCET Analysis"; Talk: Kollaboration mit der TRACES Gruppe / iRiT Frankreich, Toulouse, Frankreich (invited); 2012-02-21 - 2012-02-26.
wcet, loop bounds, smt, program analysis