Raimund Kirner

According to our database1, Raimund Kirner authored at least 72 papers between 2001 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Interfacing to Time-Triggered Communication Systems.
Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

2018
ATMP: An Adaptive Tolerance-based Mixed-criticality Protocol for Multi-core Systems.
Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018

2016
Throughput-Driven Partitioning of Stream Programs on Heterogeneous Distributed Systems.
IEEE Trans. Parallel Distrib. Syst., 2016

Calculating WCET estimates from timed traces.
Real-Time Systems, 2016

2015
Introduction to the special issue on software technologies for embedded and ubiquitous systems.
Computing, 2015

Coordination with Structured Composition for Cyber-physical Systems.
Proceedings of the Parallel Computing: On the Road to Exascale, 2015

On the Design of a Java Virtual Machine for Mixed-criticality Systems.
Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, 2015

Optimised Adaptation of Mixed-Criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of Faults.
Proceedings of the 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2015

Cross-criticality interfaces for cyber-physical systems.
Proceedings of the International Conference on Event-based Control, 2015

2014
Optimizing compilation with preservation of structural code coverage metrics to support software testing.
Softw. Test., Verif. Reliab., 2014

Ingredients for the Specification of Mixed-Criticality Real-Time Systems.
Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

A Uniform Model for Tolerance-Based Real-Time Computing.
Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

2013
S+Net: extending functional coordination with extra-functional semantics.
CoRR, 2013

A Heuristic Strategy for Performance Optimisation of Stream Programs.
Proceedings of the 19th IEEE International Conference on Parallel and Distributed Systems, 2013

Demand-Based Scheduling Priorities for Performance Optimisation of Stream Programs on Parallel Platforms.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2013

2012
Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation.
IEEE Trans. Industrial Informatics, 2012

Compiling for Time Predictability.
Proceedings of the Computer Safety, Reliability, and Security, 2012

Compilers must speak properties, not just code: CAL: constraint aggregation language for declarative component-coordination.
Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, 2012

The WCET Analysis Tool CalcWcet167.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

A Multi-level Monitoring Framework for Stream-Based Coordination Programs.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2012

2011
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis.
Software and Systems Modeling, 2011

Code transformations to prevent timing anomalies.
Comput. Syst. Sci. Eng., 2011

CAL: A Language for Aggregating Functional and Extrafunctional Constraints in Streaming Networks
CoRR, 2011

Let's get less optimistic in measurement-based timing analysis.
Proceedings of the Industrial Embedded Systems (SIES), 2011

Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation.
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

Engineering Concurrent Software Guided by Statistical Performance Analysis.
Proceedings of the Applications, Tools and Techniques on the Road to Exascale Computing, Proceedings of the conference ParCo 2011, 31 August, 2011

Improving the Confidence in Measurement-Based Timing Analysis.
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2011

2010
Transforming flow information during code optimization for timing analysis.
Real-Time Systems, 2010

Time-Predictable Computing.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Error Detection Rate of MC/DC for a Case Study from the Automotive Domain.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Avoiding Timing Anomalies Using Code Transformations.
Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

Context-Sensitivity in IPET for Measurement-Based Timing Analysis.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Compiler-Support for Robust Multi-core Computing.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009
Towards Preserving Model Coverage and Structural Code Coverage.
EURASIP J. Emb. Sys., 2009

From Trusted Annotations to Verified Knowledge.
Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

A Single-Path Chip-Multiprocessor System.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

Model-Driven Design and Organic Computing -- Combinable Strategies?.
Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies.
Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009

2008
Test Coverage Analysis and Preservation for Requirements-Based Testing.
ERCIM News, 2008

Towards a Common WCET Annotation Language: Essential Ingredients.
Proceedings of the 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2008

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

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

A Modular Worst-case Execution Time Analysis Tool for Java Processors.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Obstacles in Worst-Case Execution Time Analysis.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Toward Libraries for Real-Time Java.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

Measurement-Based Timing Analysis.
Proceedings of the Leveraging Applications of Formal Methods, 2008

2007
WCET Analysis: The Annotation Language Challenge.
Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

Cross-Platform Verification Framework for Embedded Systems.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2007

Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

Automated Formal Verification and Testing of C Programs for Embedded Systems.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

Modeling the Function Cache for Worst-Case Execution Time Analysis.
Proceedings of the 44th Design Automation Conference, 2007

SCCP/x: a compilation profile to support testing and verification of optimized code.
Proceedings of the 2007 International Conference on Compilers, 2007

2006
Code Analysis for Temporal Predictability.
Real-Time Systems, 2006

Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems.
Proceedings of the 4th International Workshop on Intelligent Solutions in Embedded Systems, 2006

Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup.
Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

Portable Data Exchange for Remote-Testing Frameworks.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

From Time-Triggered to Time-Deterministic Real-Time Systems.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

2005
Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis.
Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2005

Measurement-Based Worst-Case Execution Time Analysis.
Proceedings of the Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2005

Principles of Timing Anomalies in Superscalar Processors.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Classification of WCET Analysis Techniques.
Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2005), 2005

Automatic Timing Model Generation by CFG Partitioning and Model Checking.
Proceedings of the 2005 Design, 2005

2004
Real-Time and Hybrid Systems Testing.
Proceedings of the Model-Based Testing of Reactive Systems, 2004

2003
Avoiding Timing Problems in Real-Time Software.
Proceedings of the 1st IEEE Workshop on Software Technologies for Future Embedded Systems, 2003

Timing Analysis of Optimised Code.
Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

Input-Dependency Analysis for Hard Real-Time Software.
Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

A Simple and Efficient Fully Automatic Worst-Case Execution Time Analysis for Model-Based Application Development.
Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems, 2003

Discussion of Misconceptions about WCET Analysis.
Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 2003

Transformation of Meta-Information by Abstract Co-interpretation.
Proceedings of the Software and Compilers for Embedded Systems, 7th International Workshop, 2003

Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs.
Proceedings of the Embedded Software, Third International Conference, 2003

2002
Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models.
Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

2001
Transformation of Path Information for WCET Analysis during Compilation.
Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001


  Loading...