| 2007 |
|---|
| 6 | EE | Bernhard Rieder,
Ingomar Wenzel,
Klaus Steinhammer,
Peter P. Puschner:
Using a Runtime Measurement Device with Measurement-Based WCET Analysis.
IESS 2007: 15-26 |
| 5 | EE | Ingomar Wenzel,
Raimund Kirner,
Bernhard Rieder,
Peter P. Puschner:
Cross-Platform Verification Framework for Embedded Systems.
SEUS 2007: 137-148 |
| 2006 |
|---|
| 4 | EE | Raimund Kirner,
Peter P. Puschner,
Ingomar Wenzel,
Bernhard Rieder:
Portable Data Exchange for Remote-Testing Frameworks.
ISORC 2006: 476-484 |
| 2005 |
|---|
| 3 | EE | Ingomar Wenzel,
Bernhard Rieder,
Raimund Kirner,
Peter P. Puschner:
utomatic Timing Model Generation by CFG Partitioning and Model Checking.
DATE 2005: 606-611 |
| 2 | EE | Ingomar Wenzel,
Raimund Kirner,
Peter P. Puschner,
Bernhard Rieder:
Principles of Timing Anomalies in Superscalar Processors.
QSIC 2005: 295-306 |
| 1 | EE | Ingomar Wenzel,
Raimund Kirner,
Bernhard Rieder,
Peter P. Puschner:
Measurement-Based Worst-Case Execution Time Analysis.
SEUS 2005: 7-10 |
