Raimund Kirner

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 21

Top Topics

Communication Systems

Synchronous Communication

Quantitative Analysis

Top Venues

J. Syst. Archit.

Publications

Aklil Zenebe Kiflay, Athanasios Tsokanos, Mahmood Fazlali, Raimund Kirner
Network intrusion detection leveraging multimodal features. Array 22 (2024)
Raimund Kirner, Peter P. Puschner
A qualitative cybersecurity analysis of time-triggered communication networks in automotive systems. J. Syst. Archit. 136 (2023)
Anish Saini, Athanasios Tsokanos, Raimund Kirner
CryptoQNRG: a new framework for evaluation of cryptographic strength in quantum and pseudorandom number generation for key-scheduling algorithms. J. Supercomput. 79 (11) (2023)
Anish Saini, Athanasios Tsokanos, Raimund Kirner
Quantum Randomness in Cryptography - A Survey of Cryptosystems, RNG-Based Ciphers, and QRNGs. Inf. 13 (8) (2022)
Wayne Gray, Athanasios Tsokanos, Raimund Kirner
Multi-Link Failure Effects on MPLS Resilient Fast-Reroute Network Architectures. ISORC (2021)
Raimund Kirner, Peter P. Puschner
A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses. IEEE/ACM Trans. Netw. 29 (4) (2021)
Tareq Alawneh, Raimund Kirner, Catherine Menon
Dynamic row activation mechanism for multi-core systems. CF (2021)
Raimund Kirner, Simon Maurer, Olga Tveretina
Component Interfaces with Loosely Synchronous Communication. SA (2021)
Raimund Kirner, Peter P. Puschner
Zeitgesteuerte Kommunikationsschnittstellen in unterschiedlichen Anwendungskontexten. Echtzeit (2021)
Aklil Zenebe Kiflay, Athanasios Tsokanos, Raimund Kirner
A Network Intrusion Detection System Using Ensemble Machine Learning. ICCST (2021)
Catherine Menon, Saverio Iacovelli, Raimund Kirner
ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems. ISORC (2020)
Peter P. Puschner, Raimund Kirner
Asynchronous vs. synchronous interfacing to time-triggered communication systems. J. Syst. Archit. 103 (2020)
Peter P. Puschner, Raimund Kirner
Interfacing to Time-Triggered Communication Systems. ISORC (2019)
Saverio Iacovelli, Raimund Kirner, Catherine Menon
ATMP: An Adaptive Tolerance-based Mixed-criticality Protocol for Multi-core Systems. SIES (2018)
Vu Thien Nga Nguyen, Raimund Kirner
Throughput-Driven Partitioning of Stream Programs on Heterogeneous Distributed Systems. IEEE Trans. Parallel Distributed Syst. 27 (3) (2016)
Michael Zolda, Raimund Kirner
Calculating WCET estimates from timed traces. Real Time Syst. 52 (1) (2016)
Simon Maurer, Raimund Kirner
Cross-criticality interfaces for cyber-physical systems. EBCCSP (2015)
Hamza Hamza, Alan Hughes, Raimund Kirner
On the Design of a Java Virtual Machine for Mixed-criticality Systems. JTRES (2015)
Raimund Kirner, Saverio Iacovelli, Michael Zolda
Optimised Adaptation of Mixed-Criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of Faults. ISORC Workshops (2015)
Simon Maurer, Raimund Kirner
Coordination with Structured Composition for Cyber-physical Systems. PARCO (2015)
Lynn Choi, Raimund Kirner
Introduction to the special issue on software technologies for embedded and ubiquitous systems. Computing 97 (3) (2015)
Raimund Kirner
A Uniform Model for Tolerance-Based Real-Time Computing. ISORC (2014)
Raimund Kirner, Walter Haas
Optimizing compilation with preservation of structural code coverage metrics to support software testing. Softw. Test. Verification Reliab. 24 (3) (2014)
Raimund Kirner
Ingredients for the Specification of Mixed-Criticality Real-Time Systems. ISORC (2014)
Raphael Poss, Merijn Verstraaten, Frank Penczek, Clemens Grelck, Raimund Kirner, Alexander V. Shafarenko
S+Net: extending functional coordination with extra-functional semantics. CoRR (2013)
Vu Thien Nga Nguyen, Raimund Kirner
Demand-Based Scheduling Priorities for Performance Optimisation of Stream Programs on Parallel Platforms. ICA3PP (1) (2013)
Vu Thien Nga Nguyen, Raimund Kirner
A Heuristic Strategy for Performance Optimisation of Stream Programs. ICPADS (2013)
Peter P. Puschner, Raimund Kirner, Benedikt Huber, Daniel Prokesch
Compiling for Time Predictability. SAFECOMP Workshops (2012)
Raimund Kirner
The WCET Analysis Tool CalcWcet167. ISoLA (2) (2012)
Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad, Kwang-Hae (Kane) Kim, Michael R. Lowry
Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation. IEEE Trans. Ind. Informatics 8 (2) (2012)
Raimund Kirner, Frank Penczek, Alexander V. Shafarenko
Compilers must speak properties, not just code: CAL: constraint aggregation language for declarative component-coordination. DAMP (2012)
Vu Thien Nga Nguyen, Raimund Kirner, Frank Penczek
A Multi-level Monitoring Framework for Stream-Based Coordination Programs. ICA3PP (1) (2012)
Frank Penczek, Raimund Kirner, Raphael Poss, Clemens Grelck, Alex Shafarenko
An infrastructure for multi-level optimisation through property annotation and aggregation. NFPinDSML@MoDELS (2012)
Sven Bünte, Michael Zolda, Raimund Kirner
Let's get less optimistic in measurement-based timing analysis. SIES (2011)
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis. Softw. Syst. Model. 10 (3) (2011)
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
Engineering Concurrent Software Guided by Statistical Performance Analysis. PARCO (2011)
Albrecht Kadlec, Raimund Kirner, Peter P. Puschner
Code transformations to prevent timing anomalies. Comput. Syst. Sci. Eng. 26 (6) (2011)
Alexander V. Shafarenko, Raimund Kirner
CAL: A Language for Aggregating Functional and Extrafunctional Constraints in Streaming Networks CoRR (2011)
Sven Bünte, Michael Zolda, Michael Tautschnig, Raimund Kirner
Improving the Confidence in Measurement-Based Timing Analysis. ISORC (2011)
Michael Zolda, Sven Bünte, Raimund Kirner
Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation. RTCSA (1) (2011)
Albrecht Kadlec, Raimund Kirner, Peter P. Puschner
Avoiding Timing Anomalies Using Code Transformations. ISORC (2010)
Michael Zolda, Sven Bünte, Raimund Kirner
Context-Sensitivity in IPET for Measurement-Based Timing Analysis. ISoLA (2) (2010)
Raimund Kirner, Stephan Herhut, Sven-Bodo Scholz
Compiler-Support for Robust Multi-core Computing. ISoLA (1) (2010)
Raimund Kirner, Peter P. Puschner, Adrian Prantl
Transforming flow information during code optimization for timing analysis. Real Time Syst. 45 (1-2) (2010)
Raimund Kirner, Peter P. Puschner
Time-Predictable Computing. SEUS (2010)
Susanne Kandl, Raimund Kirner
Error Detection Rate of MC/DC for a Case Study from the Automotive Domain. SEUS (2010)
Raimund Kirner, Albrecht Kadlec, Peter P. Puschner
Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies. ECRTS (2009)
Martin Schoeberl, Peter P. Puschner, Raimund Kirner
A Single-Path Chip-Multiprocessor System. SEUS (2009)
Raimund Kirner
Towards Preserving Model Coverage and Structural Code Coverage. EURASIP J. Embed. Syst. 2009 (2009)
Adrian Prantl, Jens Knoop, Raimund Kirner, Albrecht Kadlec, Markus Schordan
From Trusted Annotations to Verified Knowledge. WCET (2009)
Peter P. Puschner, Raimund Kirner
Model-Driven Design and Organic Computing -- Combinable Strategies?. ISORC (2009)
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
WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET (2008)
Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner
Measurement-Based Timing Analysis. ISoLA (2008)
Raimund Kirner, Peter P. Puschner
Obstacles in Worst-Case Execution Time Analysis. ISORC (2008)
Raimund Kirner, Albrecht Kadlec, Adrian Prantl, Markus Schordan, Jens Knoop
Towards a Common WCET Annotation Language: Essential Ingredients. WCET (2008)
Raimund Kirner
WCET 2008 Abstracts Collection - 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET (2008)
Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad
A Modular Worst-case Execution Time Analysis Tool for Java Processors. IEEE Real-Time and Embedded Technology and Applications Symposium (2008)
Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad
Toward Libraries for Real-Time Java. ISORC (2008)
Raimund Kirner, Susanne Kandl
Test Coverage Analysis and Preservation for Requirements-Based Testing. ERCIM News 2008 (75) (2008)
Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner
Cross-Platform Verification Framework for Embedded Systems. SEUS (2007)
Susanne Kandl, Raimund Kirner, Peter P. Puschner
Automated Formal Verification and Testing of C Programs for Embedded Systems. ISORC (2007)
Raimund Kirner, Peter P. Puschner
Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache. ISORC (2007)
Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel
WCET Analysis: The Annotation Language Challenge. WCET (2007)
Raimund Kirner
SCCP/x: a compilation profile to support testing and verification of optimized code. CASES (2007)
Raimund Kirner, Martin Schoeberl
Modeling the Function Cache for Worst-Case Execution Time Analysis. DAC (2007)
Peter P. Puschner, Raimund Kirner
From Time-Triggered to Time-Deterministic Real-Time Systems. DIPES (2006)
Susanne Kandl, Raimund Kirner, Peter P. Puschner
Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems. WISES (2006)
Raimund Kirner, Peter P. Puschner, Ingomar Wenzel, Bernhard Rieder
Portable Data Exchange for Remote-Testing Frameworks. ISORC (2006)
Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner
Code Analysis for Temporal Predictability. Real Time Syst. 32 (3) (2006)
Raimund Kirner, Markus Grössing, Peter P. Puschner
Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup. WCET (2006)
Raimund Kirner, Peter P. Puschner
Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis. WCET (2005)
Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter P. Puschner
Automatic Timing Model Generation by CFG Partitioning and Model Checking. DATE (2005)
Raimund Kirner, Peter P. Puschner
Classification of WCET Analysis Techniques. ISORC (2005)
Ingomar Wenzel, Raimund Kirner, Peter P. Puschner, Bernhard Rieder
Principles of Timing Anomalies in Superscalar Processors. QSIC (2005)
Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner
Measurement-Based Worst-Case Execution Time Analysis. SEUS (2005)
Kirsten Berkenkötter, Raimund Kirner
Real-Time and Hybrid Systems Testing. Model-Based Testing of Reactive Systems (2004)
Janosch Fauster, Raimund Kirner, Peter P. Puschner
Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs. EMSOFT (2003)
Jan Gustafsson, Björn Lisper, Raimund Kirner, Peter P. Puschner
Input-Dependency Analysis for Hard Real-Time Software. WORDS Fall (2003)
Raimund Kirner, Peter P. Puschner
Discussion of Misconceptions about WCET Analysis. WCET (2003)
Raimund Kirner, Peter P. Puschner
Transformation of Meta-Information by Abstract Co-interpretation. SCOPES (2003)
Raimund Kirner, Peter P. Puschner
A Simple and Efficient Fully Automatic Worst-Case Execution Time Analysis for Model-Based Application Development. WISES (2003)
Peter P. Puschner, Raimund Kirner
Avoiding Timing Problems in Real-Time Software. WSTFES (2003)
Raimund Kirner, Peter P. Puschner
Timing Analysis of Optimised Code. WORDS (2003)
Raimund Kirner, Roland Lang, Gerald Freiberger, Peter P. Puschner
Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models. ECRTS (2002)
Raimund Kirner, Peter P. Puschner
Transformation of Path Information for WCET Analysis during Compilation. ECRTS (2001)