A. Bonenfant, H. Cassé, M. de Michiel (TRACES, IRIT, .fr)
J. Knoop, L. Kovács and J. Zwirchmayr (2012). "FFX: A Portable WCET Annotation Language". Proc. of
RTNS 2012. To appear.
J. Knoop, L. Kovács and J. Zwirchmayr (2011). "r-TuBound: Loop Bounds for WCET Analysis". Proc. of
LPAR 2012.
J. Knoop, L. Kovács and J. Zwirchmayr (2011). "An Evaluation of WCET Analysis using Symbolic Loop Bounds". Proc. of
WCET 2011.
J. Knoop, L. Kovács and J. Zwirchmayr (2011). "Symbolic Loop Bound Computation for WCET Analysis". Proc. of
PSI 2011.
"Cutting-edge Timing Analysis Techniques";
26th International Conference on Logic Programming - Doctoral Consortium, Edinburgh, Scotland, United Kingdom
"An Evaluation of WCET Analysis using Symbolic Loop Bounds (extended Abstract)";
Mathematical and Engineering Methods in Computer Science, My Hotel, Lednice, Czech Republic;
