Author

Number of items: 69.
  • ATMP: An Adaptive Tolerance-based Mixed-criticality Protocol for Multi-core Systems. (2018) Raimund Kirner, Catherine Menon and Saverio Iacovelli
  • Dynamic Power Management for Reactive Stream Processing on the SCC Tiled Architecture. (2016) Nilesh Karavadara, Michael Zolda, Vu Thien Nga Nguyen, Jens Knoop and Raimund Kirner
  • Throughput-driven Partitioning of Stream Programs on Heterogeneous Distributed Systems. (2016) Vu Thien Nga Nguyen and Raimund Kirner
  • Calculating WCET Estimates from Timed Traces. (2015) Michael Zolda and Raimund Kirner
  • Cross-criticality Interfaces for Cyber-physical Systems. (2015) Simon Maurer and Raimund Kirner
  • Optimised Adaptation of Mixed-criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of Faults. (2015) Raimund Kirner, Saverio Iacovelli and Michael Zolda
  • Introduction to the Special Issue on Software Technologies for Embedded & Ubiquitous Systems. (2015) Lynn Choi and Raimund Kirner
  • Ingredients for the specification of mixed-criticality real-time systems. (2014) Raimund Kirner
  • Optimizing compilation with preservation of structural code coverage metrics to support software testing. (2014) Raimund Kirner and Walter Haas
  • A Power-Aware Framework for Executing Streaming Programs on Networks-on-Chip. (2014) Nilesh Karavadara, Simon Folie, Michael Zolda, Vu Thien Nga Nguyen and Raimund Kirner
  • Demand-based scheduling priorities for performance optimisation of stream programs on parallel platforms. (2013) Vu Thien Nga Nguyen and Raimund Kirner
  • Influences on Throughput and Latency in Stream Programs. (2013) Vu Thien Nga Nguyen and Raimund Kirner
  • Statistical Performance Analysis of an Ant-Colony Optimisation Application in S-NET. (2013) Kenneth MacKenzie, Philip K. F. Hölzenspies, Kevin Hammond, Raimund Kirner, Vu Thien Nga Nguyen, Iraneus te Boekhorst, Clemens Grelck, Raphael Poss and Merijn Verstraaten
  • Monitoring framework for stream-processing networks. (2012) Vu Thien Nga Nguyen, Raimund Kirner and Frank Penczek
  • Statistical performance analysis with dynamic workload using S-NET. (2012) Volkmar Wieser, Philip K. F. Hölzenspies, Michael Roßbory and Raimund Kirner
  • Modeling Streams-based Variants of Ant Colony Optimisation for Parallel Systems. (2012) Wei Cheng, Frank Penczek, Clemens Grelck, Raimund Kirner, Bernd Scheuermann and Alex Shafarenko
  • A multi-level monitoring framework for stream-based coordination programs. (2012) Vu Thien Nga Nguyen, Raimund Kirner and Frank Penczek
  • Beyond loop bounds : comparing annotation languages for worst-case execution time analysis. (2011) Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan and Albrecht Kadlec
  • Let's get less optimistic in measurement-based timing analysis. (2011) S. Bünte, Michael Zolda and Raimund Kirner
  • CAL : a language for aggregating functional and extrafunctional constraints in streaming networks. (2011) Alex Shafarenko and Raimund Kirner
  • Compiler Support for Measurement-based Timing Analysis. (2011) Raimund Kirner and Michael Zolda
  • Context-sensitive measurement-based worst-case execution time estimation. (2011) M. Zolda, S. Bünte and Raimund Kirner
  • Engineering Concurrent Software Guided by Statistical Performance Analysis. (2011) Bernd Scheuermann, Clemens Grelck, Kevin Hammond, Heinz Hertlein, Philip Hoelzenspies, Chris Jesshope, Raimund Kirner, Alex Shafarenko, Rene te Boekhorst and Volkmar Wieser
  • Improving the confidence in measurement-based timing analysis. (2011) S. Bunte, Michael Zolda, M. Tautschnig and Raimund Kirner
  • Measurement-Based Timing Analysis for Reconfigurable Embedded Systems. (2011) Raimund Kirner, Sven Bünte and Michael Zolda
  • WCET Tool Challenge 2011 : Report. (2011) Reinhard von Hanxleden, Niklas Holsti, Björn Lisper, Erhard Ploedereder, Reinhard Wilhelm, Armelle Bonenfant, Hugues Cassé, Sven Bünte, Wolfgang Fellger, Sebastian Gepperth, Jan Gustafsson, Benedikt Huber, Nazrul Mohammad Islam, Daniel Kästner, Raimund Kirner, Laura Kovacs, Felix Krause, Marianne de Michiel, Mads Christian Olesen, Adrian Prantl, Wolfgang Puffitsch, Christine Rochange, Martin Schoeberl, Simon Wegener, Michael Zolda and Jakob Zwirchmayr
  • Transforming flow information during code optimization for timing analysis. (2010) Raimund Kirner, Peter Puschner and Adrian Prantl
  • Avoiding timing anomalies using code transformations. (2010) A. Kadlec, Raimund Kirner and P. Puschner
  • Compiler-support for robust multi-core computing. (2010) Raimund Kirner, Stephan Herhut and Sven-Bodo Scholz
  • Context-sensitivity in IPET for measurement-based timing analysis. (2010) M. Zolda, S. Bünte and Raimund Kirner
  • Error Detection Rate of MC/DC for a Case Study from the Automotive Domain. (2010) Susanne Kandl and Raimund Kirner
  • PS-NET - a predictable typed coordination language for stream processing in resource-constrained environments. (2010) Raimund Kirner, Sven-Bodo Scholz, Frank Penczek and Alex Shafarenko
  • Time-Predictable Computing. (2010) Raimund Kirner and Peter Puschner
  • Automatic calculation of coverage profiles for coverage-based testings. (2009) Raimund Kirner and W. Haas
  • Measurement-Based Timing Analysis. (2009) Ingomar Wenzel, Raimund Kirner, Bernhard Rieder and Peter Puschner
  • Model-driven design and organic computing - combinable strategies? (2009) Peter Puschner and Raimund Kirner
  • On undecidability results of real programming languages. (2009) Raimund Kirner, W. Zimmermann and D. Richter
  • Precise worst-case execution time analysis for processors with timing anomalies. (2009) Raimund Kirner, Albrecht Kadlec and Peter Puschner
  • A Single-Path Chip-Multiprocessor System. (2009) Martin Schoeberl, Peter Puschner and Raimund Kirner
  • Single-path programming on a chip-multiprocessor system. (2009) M. Schoberl, P. Puschner and Raimund Kirner
  • Towards Adaptable Control Flow Segmentation for measurement-Based Execution Time Analysis. (2009) Michael Zolda, Sven Bünte and Raimund Kirner
  • Towards composable timing for real-time programs. (2009) Peter Puschner, Raimund Kirner and Robert G. Pettit
  • Towards preserving model coverage and structural code coverage. (2009) Raimund Kirner
  • Divide and Measure : CFG Segmentation for the Measurement-Based Analysis of Resource Consumption. (2008) Michael Zolda and Raimund Kirner
  • Obstacles in worst-case execution time analysis. (2008) Raimund Kirner and Peter Puschner
  • Toward libraries for real-time Java. (2008) Trevor Harmon, Martin Schoeberl, Raimund Kirner and Raymond Klefstad
  • A modular worst-case execution time analysis tool for Java processors. (2008) Trevor Harmon, Martin Schoeberl, Raimund Kirner and Raymond Klefstad
  • Cross-platform verification framework for embedded systems. (2007) Ingomar Wenzel, Raimund Kirner, Bernhard Rieder and Peter Puschner
  • Automated formal verification and testing of C programs for embedded systems. (2007) Susanne Kandl, Raimund Kirner and Peter Puschner
  • Modeling the function cache for worst-case execution time analysis. (2007) Raimund Kirner and Martin Schoeberl
  • Time-predictable task preemption for real-time systems with direct-mapped instruction cache. (2007) Raimund Kirner and Peter Puschner
  • Code analysis for temporal predictability. (2006) J. Gustafsson, B. Lisper, Raimund Kirner and P. Puschner
  • Development of a framework for automated systematic testing of safety-critical embedded systems. (2006) S. Kandl, Raimund Kirner and P. Puschner
  • From time-triggered to time-deterministic real-time systems. (2006) Peter Puschner and Raimund Kirner
  • Portable data exchange for remote-testing frameworks. (2006) Raimund Kirner, Peter Puschner, Ingomar Wenzel and Bernhard Rieder
  • Automatic timing model generation by CFG partitioning and model checking. (2005) I Wenzel, B Rieder, Raimund Kirner and P. Puschner
  • Classification of WCET analysis techniques. (2005) Raimund Kirner and P. Puschner
  • Impact of dependable software development guidelines on timing analysis. (2005) I Wenzel, Raimund Kirner, M. Schlager, B Rieder and B. Huber
  • Measurement-based worst-case execution time analysis. (2005) I Wenzel, Raimund Kirner, B Rieder and P. Puschner
  • Principles of timing anomalies in superscalar processors. (2005) I. Wenzel, Raimund Kirner, P. Puschner and B. Rieder
  • Real-time and hybrid systems testing. (2005) K. Berkenkotter and Raimund Kirner
  • Input-dependency analysis for hard real-time software. (2004) J. Gustafsson, B. Lisper, Raimund Kirner and P. Puschner
  • Avoiding timing problems in real-time software. (2003) P. Puschner and Raimund Kirner
  • Intelligent editor for writing worst-case-execution-time-oriented programs. (2003) J. Fauster, Raimund Kirner and P. Puschner
  • Timing analysis of optimised code. (2003) Raimund Kirner and P. Puschner
  • Timing analysis of optimized code. (2003) Raimund Kirner and P. Puschner
  • Transformation of meta-information by abstract Co- interpretation. (2003) Raimund Kirner and P. Puschner
  • Fully automatic worst-case execution time analysis for MATLAB/Simulink models. (2002) Raimund Kirner, R. Lang, G Freiberger and P. Puschner
  • Transformation of path information for WCET analysis during compilation. (2001) Raimund Kirner and P. Puschner