The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Raimund Kirner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kirsten Berkenkötter, Raimund Kirner
    Real-Time and Hybrid Systems Testing. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:355-387 [Conf]
  2. 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]
  3. Raimund Kirner, Roland Lang, Gerald Freiberger, Peter P. Puschner
    Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models. [Citation Graph (0, 0)][DBLP]
    ECRTS, 2002, pp:31-40 [Conf]
  4. Raimund Kirner, Peter P. Puschner
    Transformation of Path Information for WCET Analysis during Compilation. [Citation Graph (0, 0)][DBLP]
    ECRTS, 2001, pp:29-36 [Conf]
  5. Janosch Fauster, Raimund Kirner, Peter P. Puschner
    Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:190-205 [Conf]
  6. Raimund Kirner, Peter P. Puschner
    Classification of WCET Analysis Techniques. [Citation Graph (0, 0)][DBLP]
    ISORC, 2005, pp:190-199 [Conf]
  7. 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]
  8. 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]
  9. Raimund Kirner, Peter P. Puschner
    Transformation of Meta-Information by Abstract Co-interpretation. [Citation Graph (0, 0)][DBLP]
    SCOPES, 2003, pp:298-312 [Conf]
  10. 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]
  11. Raimund Kirner, Peter P. Puschner
    Discussion of Misconceptions about WCET Analysis. [Citation Graph (0, 0)][DBLP]
    WCET, 2003, pp:61-64 [Conf]
  12. Raimund Kirner, Peter P. Puschner
    A Simple and Efficient Fully Automatic Worst-Case Execution Time Analysis for Model-Based Application Development. [Citation Graph (0, 0)][DBLP]
    WISES, 2003, pp:15-24 [Conf]
  13. Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner
    Input-Dependency Analysis for Hard Real-Time Software. [Citation Graph (0, 0)][DBLP]
    WORDS Fall, 2003, pp:53-60 [Conf]
  14. Raimund Kirner, Peter P. Puschner
    Timing Analysis of Optimised Code. [Citation Graph (0, 0)][DBLP]
    WORDS, 2003, pp:100-105 [Conf]
  15. Peter P. Puschner, Raimund Kirner
    Avoiding Timing Problems in Real-Time Software. [Citation Graph (0, 0)][DBLP]
    WSTFEUS, 2003, pp:75-78 [Conf]
  16. Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner
    Code Analysis for Temporal Predictability. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2006, v:32, n:3, pp:253-277 [Journal]
  17. Raimund Kirner
    SCCP/x: a compilation profile to support testing and verification of optimized code. [Citation Graph (0, 0)][DBLP]
    CASES, 2007, pp:38-42 [Conf]
  18. Raimund Kirner, Martin Schoeberl
    Modeling the Function Cache for Worst-Case Execution Time Analysis. [Citation Graph (0, 0)][DBLP]
    DAC, 2007, pp:471-476 [Conf]
  19. Peter P. Puschner, Raimund Kirner
    From Time-Triggered to Time-Deterministic Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    DIPES, 2006, pp:115-124 [Conf]
  20. 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]

  21. Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies. [Citation Graph (, )][DBLP]


  22. Measurement-Based Timing Analysis. [Citation Graph (, )][DBLP]


  23. Automated Formal Verification and Testing of C Programs for Embedded Systems. [Citation Graph (, )][DBLP]


  24. Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache. [Citation Graph (, )][DBLP]


  25. Toward Libraries for Real-Time Java. [Citation Graph (, )][DBLP]


  26. Obstacles in Worst-Case Execution Time Analysis. [Citation Graph (, )][DBLP]


  27. Model-Driven Design and Organic Computing -- Combinable Strategies?. [Citation Graph (, )][DBLP]


  28. A Modular Worst-case Execution Time Analysis Tool for Java Processors. [Citation Graph (, )][DBLP]


  29. A Single-Path Chip-Multiprocessor System. [Citation Graph (, )][DBLP]


  30. WCET Analysis: The Annotation Language Challenge. [Citation Graph (, )][DBLP]


  31. WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. [Citation Graph (, )][DBLP]


  32. From Trusted Annotations to Verified Knowledge. [Citation Graph (, )][DBLP]


  33. Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup. [Citation Graph (, )][DBLP]


  34. Towards a Common WCET Annotation Language: Essential Ingredients. [Citation Graph (, )][DBLP]


  35. WCET 2008 Abstracts Collection - 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. [Citation Graph (, )][DBLP]


  36. Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis. [Citation Graph (, )][DBLP]


Search in 0.030secs, Finished in 0.032secs
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