Ingomar Wenzel

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner
Measurement-Based Timing Analysis. ISoLA (2008)
Bernhard Rieder, Peter P. Puschner, Ingomar Wenzel
Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis. WISES (2008)
Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner
Cross-Platform Verification Framework for Embedded Systems. SEUS (2007)
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel
WCET Analysis: The Annotation Language Challenge. WCET (2007)
Bernhard Rieder, Ingomar Wenzel, Klaus Steinhammer, Peter P. Puschner
Using a Runtime Measurement Device with Measurement-Based WCET Analysis. IESS (2007)
Raimund Kirner, Peter P. Puschner, Ingomar Wenzel, Bernhard Rieder
Portable Data Exchange for Remote-Testing Frameworks. ISORC (2006)
Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter P. Puschner
Automatic Timing Model Generation by CFG Partitioning and Model Checking. DATE (2005)
Ingomar Wenzel, Raimund Kirner, Peter P. Puschner, Bernhard Rieder
Principles of Timing Anomalies in Superscalar Processors. QSIC (2005)
Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner
Measurement-Based Worst-Case Execution Time Analysis. SEUS (2005)