Publications in Scientific Journals:
"Data-Flow Frameworks for Worst-Case Execution Time Analysis";
The purpose of this paper is to introduce frameworks based on
data-flow equations which estimate
the worst-case execution time (WCET) of real-time programs.
These frameworks allow several different WCET analysis techniques with various precisions,
which range from naive approaches to exact analysis,
provided exact knowledge on the program behavior is available.
In addition, data-flow frameworks can also be used for symbolic analysis
based on information derived automatically from the
source code of the program.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Created from the Publication Database of the Vienna University of Technology.