| 2008 |
|---|
| 9 | EE | Ingomar Wenzel,
Raimund Kirner,
Bernhard Rieder,
Peter P. Puschner:
Measurement-Based Timing Analysis.
ISoLA 2008: 430-444 |
| 8 | EE | Niklas Holsti,
Jan Gustafsson,
Guillem Bernat,
Clément Ballabriga,
Armelle Bonenfant,
Roman Bourgade,
Hugues Cassé,
Daniel Cordes,
Albrecht Kadlec,
Raimund Kirner,
Jens Knoop,
Paul Lokuciejewski,
Nicholas Merriam,
Marianne De Michiel,
Adrian Prantl,
Bernhard Rieder,
Christine Rochange,
Pascal Sainrat,
Markus Schordan:
WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis.
WCET 2008 |
| 7 | EE | 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 |
|---|
| 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 |
