Ingomar Wenzel

Measurement-Based Worst-Case Execution Time Analysis

Ingomar Wenzel, Raimund Kirner, Bernhard Rieder et al. · 2005 · 63 citations

Engineering, Real-time System Design, Computer Architecture +20

Automatic Timing Model Generation by CFG Partitioning and Model Checking

Ingomar Wenzel, Bernhard Rieder, Raimund Kirner et al. · Design, Automation, and Test in Europe · 2005 · 59 citations · Full text

Engineering, Verification, Computer Architecture +25

Principles of Timing Anomalies in Superscalar Processors

Ingomar Wenzel, Raimund Kirner, Peter Puschner et al. · 2006 · 56 citations

Engineering, Computer Architecture, Software Engineering +19

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

Raimund Kirner, Peter Puschner, Ingomar Wenzel · 2004 · 53 citations

WCET Analysis: The Annotation Language Challenge

Raimund Kirner, Jens Knoop, Adrian Prantl et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2007 · 22 citations · Full text

Wcet Analysis, Data Annotation, Engineering +31