The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ingomar Wenzel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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 Analysis: The Annotation Language Challenge. [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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002