Raimund Kirner
Raimund Kirner
Reader in Cyberphysical Systems
Verified email at herts.ac.uk - Homepage
Title
Cited by
Cited by
Year
Measurement-based timing analysis
I Wenzel, R Kirner, B Rieder, P Puschner
International Symposium on Leveraging Applications of Formal Methods …, 2008
1092008
Automatic timing model generation by CFG partitioning and model checking
I Wenzel, B Rieder, R Kirner, P Puschner
Design, Automation and Test in Europe, 606-611, 2005
992005
Measurement-based worst-case execution time analysis using automatic test-data generation
R Kirner, P Puschner, I Wenzel
na, 2004
892004
Obstacles in worst-case execution time analysis
R Kirner, P Puschner
2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008
842008
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
842005
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
842005
Transformation of path information for WCET analysis during compilation
R Kirner, P Puschner
Proceedings 13th Euromicro Conference on Real-Time Systems, 29-36, 2001
812001
Classification of WCET analysis techniques
R Kirner, P Puschner
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed …, 2005
802005
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
712002
Extending optimising compilation to support worst-case execution time analysis
R Kirner
PhD thesis, Technische Universität Wien, Vienna, Austria, 2003
592003
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), 20, 2005
502005
The programming language wcetC
R Kirner
Technische Universit at Wien, Institut f ur Technische Informatik, 2002
472002
Compiling for time predictability
P Puschner, R Kirner, B Huber, D Prokesch
International Conference on Computer Safety, Reliability, and Security, 382-391, 2012
422012
Discussion of misconceptions about WCET analysis
R Kirner, P Puschner
WCET, 61-64, 2003
422003
Improving the confidence in measurement-based timing analysis
S Bünte, M Zolda, M Tautschnig, R Kirner
2011 14th IEEE International Symposium on Object/Component/Service-Oriented …, 2011
402011
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
402007
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
372011
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
352001
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
332011
Time-predictable computing
R Kirner, P Puschner
IFIP International Workshop on Software Technolgies for Embedded and …, 2010
332010
The system can't perform the operation now. Try again later.
Articles 1–20