| 2021 | ISORC | Multi-Link Failure Effects on MPLS Resilient Fast-Reroute Network Architectures. | Wayne Gray, Athanasios Tsokanos, Raimund Kirner |
| 2020 | ISORC | ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems. | Catherine Menon, Saverio Iacovelli, Raimund Kirner |
| 2019 | ISORC | Interfacing to Time-Triggered Communication Systems. | Peter P. Puschner, Raimund Kirner |
| 2015 | ISORC | Optimised Adaptation of Mixed-Criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of Faults. | Raimund Kirner, Saverio Iacovelli, Michael Zolda |
| 2014 | ISORC | A Uniform Model for Tolerance-Based Real-Time Computing. | Raimund Kirner |
| 2014 | ISORC | Ingredients for the Specification of Mixed-Criticality Real-Time Systems. | Raimund Kirner |
| 2013 | ICA3PP | Demand-Based Scheduling Priorities for Performance Optimisation of Stream Programs on Parallel Platforms. | Vu Thien Nga Nguyen, Raimund Kirner |
| 2013 | ICPADS | A Heuristic Strategy for Performance Optimisation of Stream Programs. | Vu Thien Nga Nguyen, Raimund Kirner |
| 2012 | ICA3PP | A Multi-level Monitoring Framework for Stream-Based Coordination Programs. | Vu Thien Nga Nguyen, Raimund Kirner, Frank Penczek |
| 2012 | ISoLA | The WCET Analysis Tool CalcWcet167. | Raimund Kirner |
| 2012 | MODELS | An infrastructure for multi-level optimisation through property annotation and aggregation. | Frank Penczek, Raimund Kirner, Raphael Poss, Clemens Grelck, Alex Shafarenko |
| 2012 | POPL | Compilers must speak properties, not just code: CAL: constraint aggregation language for declarative component-coordination. | Raimund Kirner, Frank Penczek, Alexander V. Shafarenko |
| 2012 | SAFECOMP | Compiling for Time Predictability. | Peter P. Puschner, Raimund Kirner, Benedikt Huber, Daniel Prokesch |
| 2011 | ISORC | Improving the Confidence in Measurement-Based Timing Analysis. | Sven Bnte, Michael Zolda, Michael Tautschnig, Raimund Kirner |
| 2011 | RTCSA | Context-Sensitive Measurement-Based Worst-Case Execution Time Estimation. | Michael Zolda, Sven Bnte, Raimund Kirner |
| 2010 | ISoLA | Compiler-Support for Robust Multi-core Computing. | Raimund Kirner, Stephan Herhut, Sven-Bodo Scholz |
| 2010 | ISoLA | Context-Sensitivity in IPET for Measurement-Based Timing Analysis. | Michael Zolda, Sven Bnte, Raimund Kirner |
| 2010 | ISORC | Avoiding Timing Anomalies Using Code Transformations. | Albrecht Kadlec, Raimund Kirner, Peter P. Puschner |
| 2009 | ECRTS | Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies. | Raimund Kirner, Albrecht Kadlec, Peter P. Puschner |
| 2009 | ISORC | Model-Driven Design and Organic Computing -- Combinable Strategies?. | Peter P. Puschner, Raimund Kirner |
| 2008 | ISoLA | Measurement-Based Timing Analysis. | Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner |
| 2008 | ISORC | Toward Libraries for Real-Time Java. | Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad |
| 2008 | ISORC | Obstacles in Worst-Case Execution Time Analysis. | Raimund Kirner, Peter P. Puschner |
| 2008 | RTAS | A Modular Worst-case Execution Time Analysis Tool for Java Processors. | Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad |
| 2007 | CASES | SCCP/x: a compilation profile to support testing and verification of optimized code. | Raimund Kirner |
| 2007 | DAC | Modeling the Function Cache for Worst-Case Execution Time Analysis. | Raimund Kirner, Martin Schoeberl |
| 2007 | ISORC | Automated Formal Verification and Testing of C Programs for Embedded Systems. | Susanne Kandl, Raimund Kirner, Peter P. Puschner |
| 2007 | ISORC | Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache. | Raimund Kirner, Peter P. Puschner |
| 2006 | ISORC | Portable Data Exchange for Remote-Testing Frameworks. | Raimund Kirner, Peter P. Puschner, Ingomar Wenzel, Bernhard Rieder |
| 2005 | DATE | Automatic Timing Model Generation by CFG Partitioning and Model Checking. | Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter P. Puschner |
| 2005 | ISORC | Classification of WCET Analysis Techniques. | Raimund Kirner, Peter P. Puschner |
| 2003 | EMSOFT | Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs. | Janosch Fauster, Raimund Kirner, Peter P. Puschner |
| 2003 | SCOPES | Transformation of Meta-Information by Abstract Co-interpretation. | Raimund Kirner, Peter P. Puschner |
| 2002 | ECRTS | Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models. | Raimund Kirner, Roland Lang, Gerald Freiberger, Peter P. Puschner |
| 2001 | ECRTS | Transformation of Path Information for WCET Analysis during Compilation. | Raimund Kirner, Peter P. Puschner |