My position is funded by the support programme "Innovative Ideen"
from Vienna University of Technology (CeTAT project).
Research:
WCET Analysis, Program Analysis, Satisfiability Modulo Theories, Symbolic Execution
Publications:
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;
