Talks and Poster Presentations (without Proceedings-Entry):
J. Knoop:
"Symbolic Loop Bound Computation for High-Level WCET Analysis: Extending the TuBound-Toolbox";
Talk: 51st Meeting of the IFIP Working Group 2.4 Software Implementation Technology,
Cape May, NJ (invited);
2011-09-25
- 2011-09-30.