Concepedia

Raimund Kirner

RK

Statistics

Publications

33

Citations

879

H-Index

19

Active since

2000

Affiliations

TU Wien(Current)

University of Hertfordshire

Information Technology University

University of California, Irvine

Université Fédérale de Toulouse Midi-Pyrénées

Raimund Kirner is an author at TU Wien specializing in computer science, engineering, and computer engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringSoftware EngineeringSoftware TestingSystems EngineeringComputer ArchitectureSystem Software

Publications per year

2000–2024

33

Publications

33

Measurement-Based Worst-Case Execution Time Analysis

Ingomar Wenzel, Raimund Kirner, Bernhard Rieder et al. · 2005 · 63 citations

Engineering, Real-time System Design, Computer Architecture +20

Automatic Timing Model Generation by CFG Partitioning and Model Checking

Ingomar Wenzel, Bernhard Rieder, Raimund Kirner et al. · Design, Automation, and Test in Europe · 2005 · 59 citations · Full text

Engineering, Verification, Computer Architecture +25

Obstacles in Worst-Case Execution Time Analysis

Raimund Kirner, Peter Puschner · 2008 · 57 citations · Full text

Wcet Analysis, Engineering, Computer Architecture +21

Principles of Timing Anomalies in Superscalar Processors

Ingomar Wenzel, Raimund Kirner, Peter Puschner et al. · 2006 · 56 citations

Engineering, Computer Architecture, Software Engineering +19

Measurement-Based Worst-Case Execution Time Analysis using Automatic Test-Data Generation ∗

Raimund Kirner, Peter Puschner, Ingomar Wenzel · 2004 · 53 citations

1–5 of 33