Automatic Timing Model Generation by CFG Partitioning and Model Checking. - Ingomar Wenzel; Bernhard Rieder; Raimund Kirner; Peter P. Puschner (DATE, 2005)

Principles of Timing Anomalies in Superscalar Processors. - Ingomar Wenzel; Raimund Kirner; Peter P. Puschner; Bernhard Rieder (QSIC, 2005)

Measurement-Based Worst-Case Execution Time Analysis. - Ingomar Wenzel; Raimund Kirner; Bernhard Rieder; Peter P. Puschner (SEUS, 2005)

Portable Data Exchange for Remote-Testing Frameworks. - Raimund Kirner; Peter P. Puschner; Ingomar Wenzel; Bernhard Rieder (ISORC, 2006)

Using a Runtime Measurement Device with Measurement-Based WCET Analysis. - Bernhard Rieder; Ingomar Wenzel; Klaus Steinhammer; Peter P. Puschner (IESS, 2007)

Cross-Platform Verification Framework for Embedded Systems. - Ingomar Wenzel; Raimund Kirner; Bernhard Rieder; Peter P. Puschner (SEUS, 2007)

WCET Analysis: The Annotation Language Challenge. - Raimund Kirner; Jens Knoop; Adrian Prantl; Markus Schordan; Ingomar Wenzel (WCET, 2007)

Measurement-Based Timing Analysis. - Ingomar Wenzel; Raimund Kirner; Bernhard Rieder; Peter P. Puschner (ISoLA, 2008)

Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis. - Bernhard Rieder; Peter P. Puschner; Ingomar Wenzel (WISES, 2008)