Items where Author is "Puschner, P."
Number of items: 16.
Other
Avoiding timing anomalies using code transformations. (2010)
A. Kadlec,
Raimund Kirner
and
P. Puschner
![]()
Single-path programming on a chip-multiprocessor system. (2009)
M. Schoberl,
P. Puschner
and
Raimund Kirner
![]()
Development of a framework for automated systematic testing of safety-critical embedded systems. (2006)
S. Kandl,
Raimund Kirner
and
P. Puschner
![]()
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
![]()
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
![]()
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
![]()