The SCEAS System
Navigation Menu

Search the dblp DataBase


Bernhard Rieder: [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 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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002