Search the dblp DataBase

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]