Search the dblp DataBase

Publications of Author

1. Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter P. Puschner
   utomatic Timing Model Generation by CFG Partitioning and Model Checking. [Citation Graph (0, 0)][DBLP]
   DATE, 2005, pp:606-611 [Conf]
   
2. Raimund Kirner, Peter P. Puschner, Ingomar Wenzel, Bernhard Rieder
   Portable Data Exchange for Remote-Testing Frameworks. [Citation Graph (0, 0)][DBLP]
   ISORC, 2006, pp:476-484 [Conf]
   
3. Ingomar Wenzel, Raimund Kirner, Peter P. Puschner, Bernhard Rieder
   Principles of Timing Anomalies in Superscalar Processors. [Citation Graph (0, 0)][DBLP]
   QSIC, 2005, pp:295-306 [Conf]
   
4. Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner
   Measurement-Based Worst-Case Execution Time Analysis. [Citation Graph (0, 0)][DBLP]
   SEUS, 2005, pp:7-10 [Conf]
   
5. Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner
   Cross-Platform Verification Framework for Embedded Systems. [Citation Graph (0, 0)][DBLP]
   SEUS, 2007, pp:137-148 [Conf]
   
6. Bernhard Rieder, Ingomar Wenzel, Klaus Steinhammer, Peter P. Puschner
   Using a Runtime Measurement Device with Measurement-Based WCET Analysis. [Citation Graph (0, 0)][DBLP]
   IESS, 2007, pp:15-26 [Conf]
   
7. 
   Measurement-Based Timing Analysis. [Citation Graph (, )][DBLP]
   
   
8. 
   WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. [Citation Graph (, )][DBLP]
   
   
9. 
   Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis. [Citation Graph (, )][DBLP]
   
   
10. 
    Developing a Business Model using Open Source Software: A Tourism Case Study. [Citation Graph (, )][DBLP]