Raimund Kirner

发表

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.

4th Intl WORKSHOP ON WORST-CASE EXECUTION TIME (WCET) ANALYSIS

Reinhard Wilhelm, Tulika Mitra, Guillem Bernat, 2004 .

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.

WCET Analysis: The Annotation Language Challenge

Raimund Kirner, Jens Knoop, Adrian Prantl, 2007, WCET.

A Robust Certainty Grid Algorithm for Robotic Vision

Wilfried Elmenreich, Raimund Kirner, Lukas Schneider, 2001 .

Classification of WCET analysis techniques

Raimund Kirner, Peter P. Puschner, 2005, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).

Introduction to the special issue on software technologies for embedded and ubiquitous systems

Raimund Kirner, Lynn Choi, 2014, Computing.

On the Design of a Java Virtual Machine for Mixed-criticality Systems

Raimund Kirner, Hamza Hamza, Alan Hughes, 2015, JTRES.

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.

Towards Preserving Model Coverage and Structural Code Coverage

Raimund Kirner, 2009, EURASIP J. Embed. Syst..

Transformation of Meta-Information by Abstract Co-interpretation

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

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

Clemens Grelck, Raimund Kirner, Merijn Verstraaten, 2013 .

Model-Driven Design and Organic Computing -- Combinable Strategies?

Raimund Kirner, Peter P. Puschner, 2009, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

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.

ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems

Raimund Kirner, Catherine Menon, Saverio Iacovelli, 2020, 2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC).

Real-Time and Hybrid Systems Testing

Raimund Kirner, Kirsten Berkenkötter, 2004, Model-Based Testing of Reactive Systems.

SCCP/x: a compilation profile to support testing and verification of optimized code

Raimund Kirner, 2007, CASES '07.

From Time-Triggered to Time-Deterministic Real-Time Systems

Raimund Kirner, Peter P. Puschner, 2006, DIPES.

Integrating WCET Analysis into a Matlab/Simulink Simulation Model 1 2 3

Roland Lang, Raimund Kirner, Christopher Temple, 2000 .

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

Raimund Kirner, Peter Puschner, Ingomar Wenzel, 2004 .

Measurement-based worst-case execution time analysis

Raimund Kirner, Bernhard Rieder, Ingomar Wenzel, 2005, Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS'05).

Supporting Control Flow Dependent Execution Times on WCET Calculation

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

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 .

Compiler Support for Measurement-based Timing Analysis

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

Single-path programming on a chip-multiprocessor system

Raimund Kirner, Peter Puschner, M. Schoberl, 2009 .

Avoiding Timing Anomalies Using Code Transformations

Albrecht Kadlec, Raimund Kirner, Peter P. Puschner, 2010, 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

Timing analysis of optimised code

Raimund Kirner, Peter Puschner, 2003 .

A Single-Path Chip-Multiprocessor System

Martin Schoeberl, Raimund Kirner, Peter P. Puschner, 2009, SEUS.

WCET 2008 Abstracts Collection - 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis

Raimund Kirner, 2008, WCET.

CAL: A Language for Aggregating Functional and Extrafunctional Constraints in Streaming Networks pdf

Alexander V. Shafarenko, Raimund Kirner, 2011, ArXiv.

Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems

Raimund Kirner, Peter P. Puschner, Susanne Kandl, 2006, 2006 International Workshop on Intelligent Solutions in Embedded Systems.

Automatic calculation of coverage profiles for coverage-based testings

Raimund Kirner, W. Haas, 2009 .

Obstacles in Worst-Case Execution Time Analysis

Raimund Kirner, Peter P. Puschner, 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

Throughput-Driven Partitioning of Stream Programs on Heterogeneous Distributed Systems

Raimund Kirner, Vu Thien Nga Nguyen, 2016, IEEE Transactions on Parallel and Distributed Systems.

Context-Sensitivity in IPET for Measurement-Based Timing Analysis

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

Compilers must speak properties, not just code: CAL: constraint aggregation language for declarative component-coordination

Alexander V. Shafarenko, Raimund Kirner, Frank Penczek, 2012, DAMP '12.

Discussion of Misconceptions about WCET Analysis

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

Compiler-Support for Robust Multi-core Computing

Sven-Bodo Scholz, Raimund Kirner, Stephan Herhut, 2010, ISoLA.

Measurement-Based Timing Analysis

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

Towards Composable Timing for Real-Time Programs

Raimund Kirner, Peter Puschner, Robert G. Pettit, 2009, 2009 Software Technologies for Future Dependable Distributed Systems.

WCET Analysis for Systems Modelled in Matlab/Simulink ∗†

Roland Lang, Raimund Kirner, Peter Puschner, 2001 .

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).

An infrastructure for multi-level optimisation through property annotation and aggregation

Clemens Grelck, Raimund Kirner, Frank Penczek, 2012, NFPinDSML '12.

Towards Composable Timing for Real-Time Software ∗

Raimund Kirner, Peter Puschner, Robert G. Pettit, 2009 .

Avoiding timing problems in real-time software

Raimund Kirner, Peter P. Puschner, 2003, Proceedings IEEE Workshop on Software Technologies for Future Embedded Systems. WSTFES 2003.

Formal Requirements for Structural Code-Coverage Preservation of Code Optimization: The SCCP/x Framework ⁄

Raimund Kirner, 2007 .

Interfacing to Time-Triggered Communication Systems

Raimund Kirner, Peter Puschner, 2019, 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC).

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.

Toward Libraries for Real-Time Java

Martin Schoeberl, Raymond Klefstad, Raimund Kirner, 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

Time-Predictable Computing

Raimund Kirner, Peter P. Puschner, 2010, SEUS.

A Modular Worst-case Execution Time Analysis Tool for Java Processors

Martin Schoeberl, Raymond Klefstad, Raimund Kirner, 2008, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium.

Engineering Concurrent Software Guided by Statistical Performance Analysis

Bernd Scheuermann, Chris R. Jesshope, Alexander V. Shafarenko, 2011, PARCO.

Automatic timing model generation by CFG partitioning and model checking

Raimund Kirner, Bernhard Rieder, Ingomar Wenzel, 2005, Design, Automation and Test in Europe.

Measurement-Based Timing Analysis for Reconfigurable Embedded Systems

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

Optimised Adaptation of Mixed-Criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of Faults

Raimund Kirner, Michael Zolda, Saverio Iacovelli, 2015, 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.

19th International Conference on Real-Time and Network Systems, RTNS '11, Nantes, France, September 29-30, 2011. Proceedings

Eduardo Tovar, Tei-Wei Kuo, Liliana Cucu-Grosjean, 2011, RTNS.

Modeling the Function Cache for Worst-Case Execution Time Analysis

Martin Schoeberl, Raimund Kirner, 2007, 2007 44th ACM/IEEE Design Automation Conference.

Fully automatic worst-case execution time analysis for MATLAB/Simulink models

Roland Lang, Raimund Kirner, Peter P. Puschner, 2002, Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS 2002.

8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Prague, Czech Republic, July 1, 2008

Raimund Kirner, 2008, WCET.

Timing analysis of optimized code

Raimund Kirner, Peter P. Puschner, 2003, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)..

Using Real Hardware to Create an Accurate Timing Model for Execution-Time Analysis

Raimund Kirner, Peter Puschner, Pavel Atanassov, 2001 .

Code transformations to prevent timing anomalies

Albrecht Kadlec, Raimund Kirner, Peter P. Puschner, 2011, Comput. Syst. Sci. Eng..

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.

Code Analysis for Temporal Predictability

Jan Gustafsson, Raimund Kirner, Björn Lisper, 2005, Real-Time Systems.

Towards a Common WCET Annotation Language: Essential Ingredients

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

Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs

Raimund Kirner, Peter P. Puschner, Janosch Fauster, 2003, EMSOFT.

Transforming flow information during code optimization for timing analysis

Raimund Kirner, Adrian Prantl, Peter P. Puschner, 2010, Real-Time Systems.

Compiling for Time Predictability

Benedikt Huber, Raimund Kirner, Peter P. Puschner, 2012, SAFECOMP Workshops.

Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache

Raimund Kirner, Peter P. Puschner, 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

From Trusted Annotations to Verified Knowledge

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

Towards Adaptable Control Flow Segmentation for measurement-Based Execution Time Analysis

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

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

Albrecht Kadlec, Raimund Kirner, Peter Puschner, 2011 .

Ingredients for the Specification of Mixed-Criticality Real-Time Systems

Raimund Kirner, 2014, 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

A Heuristic Strategy for Performance Optimisation of Stream Programs

Raimund Kirner, Vu Thien Nga Nguyen, 2013, 2013 International Conference on Parallel and Distributed Systems.

Calculating WCET estimates from timed traces

Raimund Kirner, Michael Zolda, 2015, Real-Time Systems.

Influences on Throughput and Latency in Stream Programs

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

Automated Formal Verification and Testing of C Programs for Embedded Systems

Raimund Kirner, Peter P. Puschner, Susanne Kandl, 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

Consideration of Optimizing Compilers in the Context of WCET Analysis

Raimund Kirner, Peter Puschner, 2000 .

On undecidability results of real programming languages

Raimund Kirner, Wolf Zimmermann, Dirk Richter, 2009 .

Coordination with Structured Composition for Cyber-physical Systems

Raimund Kirner, Simon Maurer, 2015, PARCO.

Principles of timing anomalies in superscalar processors

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

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.

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

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

The WCET Analysis Tool CalcWcet167

Raimund Kirner, 2012, ISoLA.

Monitoring framework for stream-processing networks

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

A Simple and Efficient Fully Automatic Worst-Case Execution Time Analysis for Model-Based Application Development

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

Divide and Measure : CFG Segmentation for the Measurement-Based Analysis of Resource Consumption

Raimund Kirner, Michael Zolda, 2008 .

Error Detection Rate of MC/DC for a Case Study from the Automotive Domain

Raimund Kirner, Susanne Kandl, 2010, SEUS.

Integration of Static Runtime Analysis and Program Compilation

Raimund Kirner, R. Kirner, 2000 .

A Lazy Bailout Approach for Dual-Criticality Systems on Uniprocessor Platforms

Raimund Kirner, Saverio Iacovelli, 2019 .

Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis

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

Asynchronous vs. synchronous interfacing to time-triggered communication systems

Raimund Kirner, Peter Puschner, 2020, J. Syst. Archit..

Input-Dependency Analysis for Hard Real-Time Software

Jan Gustafsson, Raimund Kirner, Björn Lisper, 2003, 2003 The Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.

Portable data exchange for remote-testing frameworks

Raimund Kirner, Bernhard Rieder, Ingomar Wenzel, 2006, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06).

FROM TRUSTED ANNOTA TIONS TO VERIFIED KNOWLEDGE 1

Albrecht Kadlec, Raimund Kirner, Jens Knoop, 2009 .

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.

Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation

Michael R. Lowry, Martin Schoeberl, K. H. Kim, 2012, IEEE Transactions on Industrial Informatics.

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

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

A Uniform Model for Tolerance-Based Real-Time Computing

Raimund Kirner, 2014, 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

S+Net: extending functional coordination with extra-functional semantics pdf

Alexander V. Shafarenko, Clemens Grelck, Raimund Kirner, 2013, ArXiv.