[Back]


Talks and Poster Presentations (without Proceedings-Entry):

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.


Keywords:
wcet, loop bounds, smt, program analysis

Created from the Publication Database of the Vienna University of Technology.