R. Kirner

发表

Discussion of Misconceptions about WCET Analysis

Raimund Kirner, Peter P. Puschner, P. Puschner, 2003, WCET.

Principles of timing anomalies in superscalar processors

Raimund Kirner, Bernhard Rieder, Ingomar Wenzel, 2005, Fifth International Conference on Quality Software (QSIC'05).

WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis

Jan Gustafsson, Pascal Sainrat, Guillem Bernat, 2008, WCET.

3rd Workshop on Dependable Embedded Systems

R. Kirner, E. Tovar, L. Becker, 2006 .

A Hierarchical Memory Management for a Load-Balancing Stream Processing Middleware on Tiled Architectures ?

R. Kirner, V. Nguyen, Michael Zolda, 2015 .

Scenario-Based Meta-Scheduling for Power Performance Optimization Supporting Core and Router Frequency Scaling in Time-Triggered Multi-Core Architectures

R. Kirner, R. Obermaisser, Babak Sorkhpour, 2019 .

Efficient Leader Election for Synchronous Shared-Memory Systems

Vicent Sanz Marco, R. Kirner, Michael Zolda, 2014 .

COMPILER SUPPORT FOR MEASUREMENT-BASED TIMING ANALYSIS 1

R. Kirner, Michael Zolda, 2011 .

Optimization X Code Coverage Profile X Code Intermediate Code Intermediate Object Code Source Code Selection Coverage Coverage Preservation

R. Kirner, W. Haas, 2009 .

Statistical performance analysis with dynamic workload using S-NET

Raimund Kirner, Philip K. F. Hölzenspies, Volkmar Wieser, 2012 .

Let's get less optimistic in measurement-based timing analysis

Raimund Kirner, Sven Bünte, Michael Zolda, 2011, 2011 6th IEEE International Symposium on Industrial and Embedded Systems.

Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup

Raimund Kirner, Peter P. Puschner, Markus Grössing, 2006, WCET.

Worst-Case Execution Time Analysis for Processors showing Timing Anomalies ⁄

Albrecht Kadlec, Raimund Kirner, Peter Puschner, 2011 .

Optimizing compilation with preservation of structural code coverage metrics to support software testing

Raimund Kirner, Walter Haas, R. Kirner, 2014, Softw. Test. Verification Reliab..

ATMP: An Adaptive Tolerance-based Mixed-criticality Protocol for Multi-core Systems

Raimund Kirner, Catherine Menon, Saverio Iacovelli, 2018, 2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES).

WCET Coverage for Pipelines

Guillem Bernat, Raimund Kirner, Ingomar Wenzel, 2006 .

Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies

Albrecht Kadlec, Raimund Kirner, Peter P. Puschner, 2009, 2009 21st Euromicro Conference on Real-Time Systems.

Measurement-Based Timing Analysis for Reconfigurable Embedded Systems

Raimund Kirner, Sven Bünte, Michael Zolda, 2011 .

Transformation of path information for WCET analysis during compilation

Raimund Kirner, Peter P. Puschner, P. Puschner, 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.

Extending optimising compilation to support worst-case execution time analysis: von Raimund Kirner

R. Kirner, 2003 .

Supporting Control Flow Dependent Execution Times on WCET Calculation

Raimund Kirner, Peter Puschner, P. Puschner, 2001 .

Integration of Static Runtime Analysis and Program Compilation

Raimund Kirner, R. Kirner, 2000 .

Beyond loop bounds: comparing annotation languages for worst-case execution time analysis

Albrecht Kadlec, Raimund Kirner, Jens Knoop, 2011, Software & Systems Modeling.

On the Difficulty of Building a Precise Timing Model for Real-Time Programming ?

Albrecht Kadlec, Raimund Kirner, R. Kirner, 2007 .

Compiler Support for Measurement-based Timing Analysis

Raimund Kirner, Michael Zolda, R. Kirner, 2011 .

WCET TOOL CHALLENGE 2011: REPORT

Jan Gustafsson, Martin Schoeberl, Reinhard von Hanxleden, 2011, WCET 2011.

Measurement-Based Timing Analysis

Raimund Kirner, Bernhard Rieder, Ingomar Wenzel, 2008, ISoLA.

WCET tool challenge 2011

Mads Christian Olesen, R. Kirner, N. Holsti, 2011 .

From Trusted Annotations to Verified Knowledge

Albrecht Kadlec, Raimund Kirner, Jens Knoop, 2009, WCET.

Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation

Raimund Kirner, Sven Bünte, Michael Zolda, 2011, 2011 IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications.

Improving the Confidence in Measurement-Based Timing Analysis

Raimund Kirner, Sven Bünte, Michael Tautschnig, 2011, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

Context-Sensitivity in IPET for Measurement-Based Timing Analysis

Raimund Kirner, Sven Bünte, Michael Zolda, 2010, ISoLA.

WCET TOOL CHALLENGE 2008: REPORT

Guillem Bernat, Albrecht Kadlec, Jens Knoop, 2008 .

A Multi-level Monitoring Framework for Stream-Based Coordination Programs

Raimund Kirner, Frank Penczek, Vu Thien Nga Nguyen, 2012, ICA3PP.

A Data-Flow Based Coordination Approach to Concurrent Software Engineering

Bernd Scheuermann, Clemens Grelck, Raimund Kirner, 2012, 2012 Data-Flow Execution Models for Extreme Scale Computing.

Influences on Throughput and Latency in Stream Programs

Raimund Kirner, Vu Thien Nga Nguyen, R. Kirner, 2013 .

Statistical Performance Analysis of an Ant-Colony Optimisation Application in S-Net

Clemens Grelck, Raimund Kirner, Merijn Verstraaten, 2013 .

Modeling Streams-based Variants of Ant Colony Optimisation for Parallel Systems: a Dataflow-driven Approach Using S-Net

Bernd Scheuermann, Raimund Kirner, Frank Penczek, 2012 .

PS-NET - a predictable typed coordination language for stream processing in resource-constrained environments

Sven-Bodo Scholz, Raimund Kirner, Frank Penczek, 2010 .