 | 2008 |
|---|
| 9 |       | Ingomar Wenzel,
Raimund Kirner,
Bernhard Rieder,
Peter P. Puschner:
Measurement-Based Timing Analysis.
ISoLA 2008: 430-444 |
| 8 | | 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: 1-7 |
| 2007 |
|---|
| 7 | | Bernhard Rieder,
Ingomar Wenzel,
Klaus Steinhammer,
Peter P. Puschner:
Using a Runtime Measurement Device with Measurement-Based WCET Analysis.
IESS 2007: 15-26 |
| 6 | | Ingomar Wenzel,
Raimund Kirner,
Bernhard Rieder,
Peter P. Puschner:
Cross-Platform Verification Framework for Embedded Systems.
SEUS 2007: 137-148 |
| 5 | | Raimund Kirner,
Jens Knoop,
Adrian Prantl,
Markus Schordan,
Ingomar Wenzel:
WCET Analysis: The Annotation Language Challenge.
WCET 2007 |
| 2006 |
|---|
| 4 | | Raimund Kirner,
Peter P. Puschner,
Ingomar Wenzel,
Bernhard Rieder:
Portable Data Exchange for Remote-Testing Frameworks.
ISORC 2006: 476-484 |
| 2005 |
|---|
| 3 | | Ingomar Wenzel,
Bernhard Rieder,
Raimund Kirner,
Peter P. Puschner:
utomatic Timing Model Generation by CFG Partitioning and Model Checking.
DATE 2005: 606-611 |
| 2 | | Ingomar Wenzel,
Raimund Kirner,
Peter P. Puschner,
Bernhard Rieder:
Principles of Timing Anomalies in Superscalar Processors.
QSIC 2005: 295-306 |
| 1 | | Ingomar Wenzel,
Raimund Kirner,
Bernhard Rieder,
Peter P. Puschner:
Measurement-Based Worst-Case Execution Time Analysis.
SEUS 2005: 7-10 |
