Raimund Kirner

According to our database, Raimund Kirner authored at least 84 papers between 2001 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A qualitative cybersecurity analysis of time-triggered communication networks in automotive systems.

Raimund Kirner, Peter P. Puschner

J. Syst. Archit., March, 2023

CryptoQNRG: a new framework for evaluation of cryptographic strength in quantum and pseudorandom number generation for key-scheduling algorithms.

Anish Saini, Athanasios Tsokanos, Raimund Kirner

J. Supercomput., 2023

2022

Quantum Randomness in Cryptography - A Survey of Cryptosystems, RNG-Based Ciphers, and QRNGs.

Anish Saini, Athanasios Tsokanos, Raimund Kirner

Inf., 2022

2021

A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses.

Raimund Kirner, Peter P. Puschner

IEEE/ACM Trans. Netw., 2021

Component Interfaces with Loosely Synchronous Communication.

Raimund Kirner, Simon Maurer, Olga Tveretina

Proceedings of the 2nd International Conference on Societal Automation, 2021

Zeitgesteuerte Kommunikationsschnittstellen in unterschiedlichen Anwendungskontexten.

Raimund Kirner, Peter P. Puschner

Proceedings of the Echtzeit 2021, 2021

Multi-Link Failure Effects on MPLS Resilient Fast-Reroute Network Architectures.

Wayne Gray, Athanasios Tsokanos, Raimund Kirner

Proceedings of the 24th IEEE International Symposium on Real-Time Distributed Computing, 2021

A Network Intrusion Detection System Using Ensemble Machine Learning.

Aklil Zenebe Kiflay, Athanasios Tsokanos, Raimund Kirner

Proceedings of the 2021 International Carnahan Conference on Security Technology, 2021

Dynamic row activation mechanism for multi-core systems.

Tareq A. Alawneh, Raimund Kirner, Catherine Menon

Proceedings of the CF '21: Computing Frontiers Conference, 2021

2020

Asynchronous vs. synchronous interfacing to time-triggered communication systems.

Peter P. Puschner, Raimund Kirner

J. Syst. Archit., 2020

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

Catherine Menon, Saverio Iacovelli, Raimund Kirner

Proceedings of the 23rd IEEE International Symposium on Real-Time Distributed Computing, 2020

2019

Interfacing to Time-Triggered Communication Systems.

Peter P. Puschner, Raimund Kirner

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.

Saverio Iacovelli, Raimund Kirner, Catherine Menon

Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018

2016

Throughput-Driven Partitioning of Stream Programs on Heterogeneous Distributed Systems.

Vu Thien Nga Nguyen, Raimund Kirner

IEEE Trans. Parallel Distributed Syst., 2016

Calculating WCET estimates from timed traces.

Michael Zolda, Raimund Kirner

Real Time Syst., 2016

2015

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

Lynn Choi, Raimund Kirner

Computing, 2015

Coordination with Structured Composition for Cyber-physical Systems.

Simon Maurer, Raimund Kirner

Proceedings of the Parallel Computing: On the Road to Exascale, 2015

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

Hamza Hamza, Alan Hughes, Raimund Kirner

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.

Raimund Kirner, Saverio Iacovelli, Michael Zolda

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.

Simon Maurer, Raimund Kirner

Proceedings of the International Conference on Event-based Control, 2015

2014

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

Raimund Kirner, Walter Haas

Softw. Test. Verification Reliab., 2014

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

Raimund Kirner

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.

Raimund Kirner

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.

Raphael Poss, Merijn Verstraaten, Frank Penczek, Clemens Grelck, Raimund Kirner, Alexander V. Shafarenko

CoRR, 2013

A Heuristic Strategy for Performance Optimisation of Stream Programs.

Vu Thien Nga Nguyen, Raimund Kirner

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.

Vu Thien Nga Nguyen, Raimund Kirner

Proceedings of the Algorithms and Architectures for Parallel Processing, 2013

2012

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

Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad, Kwang-Hae (Kane) Kim, Michael R. Lowry

IEEE Trans. Ind. Informatics, 2012

Compiling for Time Predictability.

Peter P. Puschner, Raimund Kirner, Benedikt Huber, Daniel Prokesch

Proceedings of the Computer Safety, Reliability, and Security, 2012

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

Raimund Kirner, Frank Penczek, Alexander V. Shafarenko

Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, 2012

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

Frank Penczek, Raimund Kirner, Raphael Poss, Clemens Grelck, Alex Shafarenko

Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, 2012

The WCET Analysis Tool CalcWcet167.

Raimund Kirner

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.

Vu Thien Nga Nguyen, Raimund Kirner, Frank Penczek

Proceedings of the Algorithms and Architectures for Parallel Processing, 2012

2011

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

Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec

Softw. Syst. Model., 2011

Code transformations to prevent timing anomalies.

Albrecht Kadlec, Raimund Kirner, Peter P. Puschner

Comput. Syst. Sci. Eng., 2011

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

Alexander V. Shafarenko, Raimund Kirner

CoRR, 2011

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

Sven Bünte, Michael Zolda, Raimund Kirner

Proceedings of the Industrial Embedded Systems (SIES), 2011

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

Michael Zolda, Sven Bünte, Raimund Kirner

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.

Clemens Grelck, Kevin Hammond, Heinz Hertlein, Philip K. F. Hölzenspies, Chris R. Jesshope, Raimund Kirner, Bernd Scheuermann, Alexander V. Shafarenko, Iraneus te Boekhorst, Volkmar Wieser

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.

Sven Bünte, Michael Zolda, Michael Tautschnig, Raimund Kirner

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.

Raimund Kirner, Peter P. Puschner, Adrian Prantl

Real Time Syst., 2010

Time-Predictable Computing.

Raimund Kirner, Peter P. Puschner

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.

Susanne Kandl, Raimund Kirner

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Avoiding Timing Anomalies Using Code Transformations.

Albrecht Kadlec, Raimund Kirner, Peter P. Puschner

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.

Michael Zolda, Sven Bünte, Raimund Kirner

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Compiler-Support for Robust Multi-core Computing.

Raimund Kirner, Stephan Herhut, Sven-Bodo Scholz

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Towards Preserving Model Coverage and Structural Code Coverage.

Raimund Kirner

EURASIP J. Embed. Syst., 2009

From Trusted Annotations to Verified Knowledge.

Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan

Proceedings of the 9th Intl. Workshop on Worst-Case Execution Time Analysis, 2009

A Single-Path Chip-Multiprocessor System.

Martin Schoeberl, Peter P. Puschner, Raimund Kirner

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

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

Peter P. Puschner, Raimund Kirner

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.

Raimund Kirner, Albrecht Kadlec, Peter P. Puschner

Proceedings of the 21st Euromicro Conference on Real-Time Systems, 2009

2008

Test Coverage Analysis and Preservation for Requirements-Based Testing.

Raimund Kirner, Susanne Kandl

ERCIM News, 2008

Towards a Common WCET Annotation Language: Essential Ingredients.

Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop

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.

Raimund Kirner

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.

Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan

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.

Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad

Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Obstacles in Worst-Case Execution Time Analysis.

Raimund Kirner, Peter P. Puschner

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

Toward Libraries for Real-Time Java.

Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad

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

Measurement-Based Timing Analysis.

Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner

Proceedings of the Leveraging Applications of Formal Methods, 2008

2007

WCET Analysis: The Annotation Language Challenge.

Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel

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

Cross-Platform Verification Framework for Embedded Systems.

Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2007

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

Raimund Kirner, Peter P. Puschner

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.

Susanne Kandl, Raimund Kirner, Peter P. Puschner

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.

Raimund Kirner, Martin Schoeberl

Proceedings of the 44th Design Automation Conference, 2007

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

Raimund Kirner

Proceedings of the 2007 International Conference on Compilers, 2007

2006

Code Analysis for Temporal Predictability.

Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner

Real Time Syst., 2006

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

Susanne Kandl, Raimund Kirner, Peter P. Puschner

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.

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

Proceedings of the 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2006

Portable Data Exchange for Remote-Testing Frameworks.

Raimund Kirner, Peter P. Puschner, Ingomar Wenzel, Bernhard Rieder

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.

Peter P. Puschner, Raimund Kirner

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.

Raimund Kirner, Peter P. Puschner

Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2005

Measurement-Based Worst-Case Execution Time Analysis.

Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner

Proceedings of the Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2005

Principles of Timing Anomalies in Superscalar Processors.

Ingomar Wenzel, Raimund Kirner, Peter P. Puschner, Bernhard Rieder

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Classification of WCET Analysis Techniques.

Raimund Kirner, Peter P. Puschner

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.

Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter P. Puschner

Proceedings of the 2005 Design, 2005

2004

Real-Time and Hybrid Systems Testing.

Kirsten Berkenkötter, Raimund Kirner

Proceedings of the Model-Based Testing of Reactive Systems, 2004

2003

Avoiding Timing Problems in Real-Time Software.

Peter P. Puschner, Raimund Kirner

Proceedings of the 1st IEEE Workshop on Software Technologies for Future Embedded Systems, 2003

Timing Analysis of Optimised Code.

Raimund Kirner, Peter P. Puschner

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.

Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner

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.

Raimund Kirner, Peter P. Puschner

Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems, 2003

Discussion of Misconceptions about WCET Analysis.

Raimund Kirner, Peter P. Puschner

Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis, 2003

Transformation of Meta-Information by Abstract Co-interpretation.

Raimund Kirner, Peter P. Puschner

Proceedings of the Software and Compilers for Embedded Systems, 7th International Workshop, 2003

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

Janosch Fauster, Raimund Kirner, Peter P. Puschner

Proceedings of the Embedded Software, Third International Conference, 2003

2002

Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models.

Raimund Kirner, Roland Lang, Gerald Freiberger, Peter P. Puschner

Proceedings of the 14th Euromicro Conference on Real-Time Systems (ECRTS 2002), 2002

2001

Transformation of Path Information for WCET Analysis during Compilation.

Raimund Kirner, Peter P. Puschner

Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001