Raimund Kirner
Raimund Kirner
Reader in Cyberphysical Systems
Verified email at herts.ac.uk - Homepage
TitleCited byYear
Automatic timing model generation by CFG partitioning and model checking
I Wenzel, B Rieder, R Kirner, P Puschner
Proceedings of the conference on Design, Automation and Test in Europe …, 2005
822005
Measurement-based timing analysis
I Wenzel, R Kirner, B Rieder, P Puschner
International Symposium on Leveraging Applications of Formal Methods …, 2008
782008
Measurement-based worst-case execution time analysis using automatic test-data generation
R Kirner, P Puschner, I Wenzel
na, 2004
782004
Transformation of path information for WCET analysis during compilation
R Kirner, P Puschner
Proceedings 13th Euromicro Conference on Real-Time Systems, 29-36, 2001
782001
Measurement-based worst-case execution time analysis
I Wenzel, R Kirner, B Rieder, P Puschner
Third IEEE Workshop on Software Technologies for Future Embedded and …, 2005
702005
Fully automatic worst-case execution time analysis for Matlab/Simulink models
R Kirner, R Lang, G Freiberger, P Puschner
Proceedings 14th Euromicro Conference on Real-Time Systems. Euromicro RTS …, 2002
682002
Classification of WCET analysis techniques
R Kirner, P Puschner
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed …, 2005
672005
Principles of timing anomalies in superscalar processors
I Wenzel, R Kirner, P Puschner, B Rieder
Fifth International Conference on Quality Software (QSIC'05), 295-303, 2005
662005
Obstacles in worst-case execution time analysis
R Kirner, P Puschner
2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008
642008
Extending optimising compilation to support worst-case execution time analysis
R Kirner
PhD, Technical University of Vienna, 2003
512003
The programming language wcetC
R Kirner
Technische Universit at Wien, Institut f ur Technische Informatik, 2002
462002
Using measurements as a complement to static worst-case execution time analysis
R Kirner, I Wenzel, B Rieder, P Puschner
Intelligent Systems at the Service of Mankind 2, 8, 2005
422005
Discussion of misconceptions about WCET analysis
R Kirner, P Puschner
WCET, 61-64, 2003
392003
WCET analysis: The annotation language challenge
R Kirner, J Knoop, A Prantl, M Schordan, I Wenzel
7th International Workshop on Worst-Case Execution Time Analysis (WCET'07), 2007
372007
Compiling for time predictability
P Puschner, R Kirner, B Huber, D Prokesch
International Conference on Computer Safety, Reliability, and Security, 382-391, 2012
322012
Using real hardware to create an accurate timing model for execution-time analysis
P Atanassov, R Kirner, P Puschner
International Workshop on Real-Time Embedded Systems RTES (in conjunction …, 2001
322001
Improving the confidence in measurement-based timing analysis
S Bunte, M Zolda, M Tautschnig, R Kirner
2011 14th IEEE International Symposium on Object/Component/Service-Oriented …, 2011
302011
Precise worst-case execution time analysis for processors with timing anomalies
R Kirner, A Kadlec, P Puschner
2009 21st Euromicro Conference on Real-Time Systems, 119-128, 2009
282009
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis
R Kirner, J Knoop, A Prantl, M Schordan, A Kadlec
Software & Systems Modeling 10 (3), 411-437, 2011
272011
WCET tool challenge 2011: Report
R Von Hanxleden, N Holsti, B Lisper, E Ploedereder, R Wilhelm, ...
11th International Workshop on Worst-Case Execution-Time Analysis, 2011
272011
The system can't perform the operation now. Try again later.
Articles 1–20