I. Wenzel

Principles of timing anomalies in superscalar processors

Raimund Kirner, Bernhard Rieder, Ingomar Wenzel, 2005, Fifth International Conference on Quality Software (QSIC'05).

WCET Coverage for Pipelines

Guillem Bernat, Raimund Kirner, Ingomar Wenzel, 2006 .

Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis

Bernhard Rieder, Ingomar Wenzel, Peter P. Puschner, 2008, 2008 International Workshop on Intelligent Solutions in Embedded Systems.

Measurement-based worst-case execution time analysis

Raimund Kirner, Bernhard Rieder, Ingomar Wenzel, 2005, Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'05).

Measurement-Based Worst-Case Execution Time Analysis using Automatic Test-Data Generation ∗

Raimund Kirner, Peter Puschner, Ingomar Wenzel, 2004 .

Measurement-Based Timing Analysis

Raimund Kirner, Bernhard Rieder, Ingomar Wenzel, 2008, ISoLA.