Author
Number of items: 69.
Other
ATMP: An Adaptive Tolerance-based Mixed-criticality Protocol for Multi-core Systems. (2018)
Raimund Kirner,
Catherine Menon
and
Saverio Iacovelli
![]()
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
Ingredients for the specification of mixed-criticality real-time systems. (2014)
Raimund Kirner
![]()
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
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
![]()
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
![]()
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
![]()
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
![]()