Ingomar Wenzel

4th Intl WORKSHOP ON WORST-CASE EXECUTION TIME (WCET) ANALYSIS

Reinhard Wilhelm, Tulika Mitra, Guillem Bernat, 2004 .

WCET Analysis: The Annotation Language Challenge

Raimund Kirner, Jens Knoop, Adrian Prantl, 2007, WCET.

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

Raimund Kirner, Peter Puschner, Ingomar Wenzel, 2004 .

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 Timing Analysis

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

Automatic timing model generation by CFG partitioning and model checking

Raimund Kirner, Bernhard Rieder, Ingomar Wenzel, 2005, Design, Automation and Test in Europe.

Interface Design forHardware-in-the- Loop Simulation

Wilfried Elmenreich, Ingomar Wenzel, Martin Schlager, 2006 .

Principles of timing anomalies in superscalar processors

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

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.

Portable data exchange for remote-testing frameworks

Raimund Kirner, Bernhard Rieder, Ingomar Wenzel, 2006, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06).

Using a Runtime Measurement Device with Measurement-Based WCET Analysis

Bernhard Rieder, Ingomar Wenzel, Peter P. Puschner, 2007, IESS.

WCET Coverage for Pipelines

Guillem Bernat, Raimund Kirner, Ingomar Wenzel, 2006 .

Cross-Platform Verification Framework for Embedded Systems

Raimund Kirner, Ingomar Wenzel, Peter P. Puschner, 2007, SEUS.