Transformation of Path Information for WCET Analysis during Compilation. - Raimund Kirner; Peter P. Puschner (ECRTS, 2001)

Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models. - Raimund Kirner; Roland Lang; Gerald Freiberger; Peter P. Puschner (ECRTS, 2002)

Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs. - Janosch Fauster; Raimund Kirner; Peter P. Puschner (EMSOFT, 2003)

Transformation of Meta-Information by Abstract Co-interpretation. - Raimund Kirner; Peter P. Puschner (SCOPES, 2003)

Discussion of Misconceptions about WCET Analysis. - Raimund Kirner; Peter P. Puschner (WCET, 2003)

A Simple and Efficient Fully Automatic Worst-Case Execution Time Analysis for Model-Based Application Development. - Raimund Kirner; Peter P. Puschner (WISES, 2003)

Input-Dependency Analysis for Hard Real-Time Software. - Jan Gustafsson; Björn Lisper; Raimund Kirner; Peter P. Puschner (WORDS Fall, 2003)

Timing Analysis of Optimised Code. - Raimund Kirner; Peter P. Puschner (WORDS, 2003)

Avoiding Timing Problems in Real-Time Software. - Peter P. Puschner; Raimund Kirner (WSTFES, 2003)

Real-Time and Hybrid Systems Testing. - Kirsten Berkenkötter; Raimund Kirner (Model-Based Testing of Reactive Systems, 2004)

Automatic Timing Model Generation by CFG Partitioning and Model Checking. - Ingomar Wenzel; Bernhard Rieder; Raimund Kirner; Peter P. Puschner (DATE, 2005)

Classification of WCET Analysis Techniques. - Raimund Kirner; Peter P. Puschner (ISORC, 2005)

Principles of Timing Anomalies in Superscalar Processors. - Ingomar Wenzel; Raimund Kirner; Peter P. Puschner; Bernhard Rieder (QSIC, 2005)

Measurement-Based Worst-Case Execution Time Analysis. - Ingomar Wenzel; Raimund Kirner; Bernhard Rieder; Peter P. Puschner (SEUS, 2005)

Classification of Code Annotations and Discussion of Compiler-Support for Worst-Case Execution Time Analysis. - Raimund Kirner; Peter P. Puschner (WCET, 2005)

From Time-Triggered to Time-Deterministic Real-Time Systems. - Peter P. Puschner; Raimund Kirner (DIPES, 2006)

Portable Data Exchange for Remote-Testing Frameworks. - Raimund Kirner; Peter P. Puschner; Ingomar Wenzel; Bernhard Rieder (ISORC, 2006)

Comparing WCET and Resource Demands of Trigonometric Functions Implemented as Iterative Calculations vs. Table-Lookup. - Raimund Kirner; Markus Grössing; Peter P. Puschner (WCET, 2006)

Development of a Framework for Automated Systematic Testing of Safety-Critical Embedded Systems. - Susanne Kandl; Raimund Kirner; Peter P. Puschner (WISES, 2006)

Code Analysis for Temporal Predictability. - Jan Gustafsson; Björn Lisper; Raimund Kirner; Peter P. Puschner (Real Time Syst., 2006)

SCCP/x: a compilation profile to support testing and verification of optimized code. - Raimund Kirner (CASES, 2007)

Modeling the Function Cache for Worst-Case Execution Time Analysis. - Raimund Kirner; Martin Schoeberl (DAC, 2007)

Automated Formal Verification and Testing of C Programs for Embedded Systems. - Susanne Kandl; Raimund Kirner; Peter P. Puschner (ISORC, 2007)

Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache. - Raimund Kirner; Peter P. Puschner (ISORC, 2007)

Cross-Platform Verification Framework for Embedded Systems. - Ingomar Wenzel; Raimund Kirner; Bernhard Rieder; Peter P. Puschner (SEUS, 2007)

WCET Analysis: The Annotation Language Challenge. - Raimund Kirner; Jens Knoop; Adrian Prantl; Markus Schordan; Ingomar Wenzel (WCET, 2007)

Measurement-Based Timing Analysis. - Ingomar Wenzel; Raimund Kirner; Bernhard Rieder; Peter P. Puschner (ISoLA, 2008)

Toward Libraries for Real-Time Java. - Trevor Harmon; Martin Schoeberl; Raimund Kirner; Raymond Klefstad (ISORC, 2008)

Obstacles in Worst-Case Execution Time Analysis. - Raimund Kirner; Peter P. Puschner (ISORC, 2008)

A Modular Worst-case Execution Time Analysis Tool for Java Processors. - Trevor Harmon; Martin Schoeberl; Raimund Kirner; Raymond Klefstad (IEEE Real-Time and Embedded Technology and Applications Symposium, 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; et al. (WCET, 2008)

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

Towards a Common WCET Annotation Language: Essential Ingredients. - Raimund Kirner; Albrecht Kadlec; Adrian Prantl; Markus Schordan; Jens Knoop (WCET, 2008)

Test Coverage Analysis and Preservation for Requirements-Based Testing. - Raimund Kirner; Susanne Kandl (ERCIM News, 2008)

Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies. - Raimund Kirner; Albrecht Kadlec; Peter P. Puschner (ECRTS, 2009)

Model-Driven Design and Organic Computing – Combinable Strategies?. - Peter P. Puschner; Raimund Kirner (ISORC, 2009)

A Single-Path Chip-Multiprocessor System. - Martin Schoeberl; Peter P. Puschner; Raimund Kirner (SEUS, 2009)

From Trusted Annotations to Verified Knowledge. - Adrian Prantl; Jens Knoop; Raimund Kirner; Albrecht Kadlec; Markus Schordan (WCET, 2009)

Towards Preserving Model Coverage and Structural Code Coverage. - Raimund Kirner (EURASIP J. Embed. Syst., 2009)

Compiler-Support for Robust Multi-core Computing. - Raimund Kirner; Stephan Herhut; Sven-Bodo Scholz (ISoLA (1), 2010)

Context-Sensitivity in IPET for Measurement-Based Timing Analysis. - Michael Zolda; Sven Bünte; Raimund Kirner (ISoLA (2), 2010)

Avoiding Timing Anomalies Using Code Transformations. - Albrecht Kadlec; Raimund Kirner; Peter P. Puschner (ISORC, 2010)

Error Detection Rate of MC/DC for a Case Study from the Automotive Domain. - Susanne Kandl; Raimund Kirner (SEUS, 2010)

Time-Predictable Computing. - Raimund Kirner; Peter P. Puschner (SEUS, 2010)

Transforming flow information during code optimization for timing analysis. - Raimund Kirner; Peter P. Puschner; Adrian Prantl (Real Time Syst., 2010)

Improving the Confidence in Measurement-Based Timing Analysis. - Sven Bünte; Michael Zolda; Michael Tautschnig; Raimund Kirner (ISORC, 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 (PARCO, 2011)

Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation. - Michael Zolda; Sven Bünte; Raimund Kirner (RTCSA (1), 2011)

Let's get less optimistic in measurement-based timing analysis. - Sven Bünte; Michael Zolda; Raimund Kirner (SIES, 2011)

CAL: A Language for Aggregating Functional and Extrafunctional Constraints in Streaming Networks - Alexander V. Shafarenko; Raimund Kirner (CoRR, 2011)

Code transformations to prevent timing anomalies. - Albrecht Kadlec; Raimund Kirner; Peter P. Puschner (Comput. Syst. Sci. Eng., 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)

A Multi-level Monitoring Framework for Stream-Based Coordination Programs. - Vu Thien Nga Nguyen; Raimund Kirner; Frank Penczek (ICA3PP (1), 2012)

The WCET Analysis Tool CalcWcet167. - Raimund Kirner (ISoLA (2), 2012)

An infrastructure for multi-level optimisation through property annotation and aggregation. - Frank Penczek; Raimund Kirner; Raphael Poss; Clemens Grelck; Alex Shafarenko (NFPinDSML@MoDELS, 2012)

Compilers must speak properties, not just code: CAL: constraint aggregation language for declarative component-coordination. - Raimund Kirner; Frank Penczek; Alexander V. Shafarenko (DAMP, 2012)

Compiling for Time Predictability. - Peter P. Puschner; Raimund Kirner; Benedikt Huber; Daniel Prokesch (SAFECOMP Workshops, 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)

Demand-Based Scheduling Priorities for Performance Optimisation of Stream Programs on Parallel Platforms. - Vu Thien Nga Nguyen; Raimund Kirner (ICA3PP (1), 2013)

A Heuristic Strategy for Performance Optimisation of Stream Programs. - Vu Thien Nga Nguyen; Raimund Kirner (ICPADS, 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 Uniform Model for Tolerance-Based Real-Time Computing. - Raimund Kirner (ISORC, 2014)

Ingredients for the Specification of Mixed-Criticality Real-Time Systems. - Raimund Kirner (ISORC, 2014)

Optimizing compilation with preservation of structural code coverage metrics to support software testing. - Raimund Kirner; Walter Haas (Softw. Test. Verification Reliab., 2014)

Cross-criticality interfaces for cyber-physical systems. - Simon Maurer; Raimund Kirner (EBCCSP, 2015)

Optimised Adaptation of Mixed-Criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of Faults. - Raimund Kirner; Saverio Iacovelli; Michael Zolda (ISORC Workshops, 2015)

On the Design of a Java Virtual Machine for Mixed-criticality Systems. - Hamza Hamza; Alan Hughes; Raimund Kirner (JTRES, 2015)

Coordination with Structured Composition for Cyber-physical Systems. - Simon Maurer; Raimund Kirner (PARCO, 2015)

Introduction to the special issue on software technologies for embedded and ubiquitous systems. - Lynn Choi; Raimund Kirner (Computing, 2015)

Calculating WCET estimates from timed traces. - Michael Zolda; Raimund Kirner (Real Time Syst., 2016)

Throughput-Driven Partitioning of Stream Programs on Heterogeneous Distributed Systems. - Vu Thien Nga Nguyen; Raimund Kirner (IEEE Trans. Parallel Distributed Syst., 2016)

ATMP: An Adaptive Tolerance-based Mixed-criticality Protocol for Multi-core Systems. - Saverio Iacovelli; Raimund Kirner; Catherine Menon (SIES, 2018)

Interfacing to Time-Triggered Communication Systems. - Peter P. Puschner; Raimund Kirner (ISORC, 2019)

ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems. - Catherine Menon; Saverio Iacovelli; Raimund Kirner (ISORC, 2020)

Asynchronous vs. synchronous interfacing to time-triggered communication systems. - Peter P. Puschner; Raimund Kirner (J. Syst. Archit., 2020)

Dynamic row activation mechanism for multi-core systems. - Tareq A. Alawneh; Raimund Kirner; Catherine Menon (CF, 2021)

A Network Intrusion Detection System Using Ensemble Machine Learning. - Aklil Zenebe Kiflay; Athanasios Tsokanos; Raimund Kirner (ICCST, 2021)

Multi-Link Failure Effects on MPLS Resilient Fast-Reroute Network Architectures. - Wayne Gray; Athanasios Tsokanos; Raimund Kirner (ISORC, 2021)

Zeitgesteuerte Kommunikationsschnittstellen in unterschiedlichen Anwendungskontexten. - Raimund Kirner; Peter P. Puschner (Echtzeit, 2021)

Component Interfaces with Loosely Synchronous Communication. - Raimund Kirner; Simon Maurer; Olga Tveretina (SA, 2021)

A Quantitative Analysis of Interfaces to Time-Triggered Communication Buses. - Raimund Kirner; Peter P. Puschner (IEEE/ACM Trans. Netw., 2021)

Quantum Randomness in Cryptography - A Survey of Cryptosystems, RNG-Based Ciphers, and QRNGs. - Anish Saini; Athanasios Tsokanos; Raimund Kirner (Inf., 2022)

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)

A qualitative cybersecurity analysis of time-triggered communication networks in automotive systems. - Raimund Kirner; Peter P. Puschner (J. Syst. Archit., 2023)

LEADNet: Detection of Alzheimer's Disease Using Spatiotemporal EEG Analysis and Low-Complexity CNN. - Digambar V. Puri; Pramod H. Kachare; Sandeep B. Sangle; Raimund Kirner; Abdoh M. A. Jabbari; Ibrahim AlShourbaji; Mohammed Abdalraheem; Abdalla Alameen (IEEE Access, 2024)

Network intrusion detection leveraging multimodal features. - Aklil Zenebe Kiflay; Athanasios Tsokanos; Mahmood Fazlali; Raimund Kirner (Array, 2024)

Explaining electroencephalogram channel and subband sensitivity for alcoholism detection. - Sandeep B. Sangle; Pramod H. Kachare; Digambar V. Puri; Ibrahem Al-Shourbaji; Abdoh M. A. Jabbari; Raimund Kirner (Comput. Biol. Medicine, 2025)

Machine Learning and Deep Learning-Based Multi-Attribute Physical-Layer Authentication for Spoofing Detection in LoRaWAN. - Azita Pourghasem; Raimund Kirner; Athanasios Tsokanos; Iosif Mporas; Alexios Mylonas (Future Internet, 2025)

Self-adaptive competitive swarm optimizer: a memetic approach for global optimization and human-powered aircraft design. - Rui Zhong; Zhongmin Wang; Ibrahem Al-Shourbaji; Essam H. Houssein; Pramod H. Kachare; Abdoh Jabbari; Raimund Kirner; Jun Yu 012 (Memetic Comput., 2025)