J. Knoop:
"Timing Properties: Beyond Verifying Functional Program Properties";
Talk: 8th International Workshop on Compiler Optimization Meets Compiler Verification (COCV 2009), York, UK (invited); 2009-03-22.
Project Head Jens Knoop:
ALL-TIMES: Integration Europäischer Zeitanalyse Technologie