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
1052008
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
962005
Measurement-based worst-case execution time analysis using automatic test-data generation
R Kirner, P Puschner, I Wenzel
na, 2004
892004
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
802005
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
802005
Transformation of path information for WCET analysis during compilation
R Kirner, P Puschner
Proceedings 13th Euromicro Conference on Real-Time Systems, 29-36, 2001
802001
Obstacles in worst-case execution time analysis
R Kirner, P Puschner
2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008
782008
Classification of WCET analysis techniques
R Kirner, P Puschner
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed …, 2005
772005
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
Extending optimising compilation to support worst-case execution time analysis
R Kirner
PhD thesis, Technische Universität Wien, Vienna, Austria, 2003
562003
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
482005
The programming language wcetC
R Kirner
Technische Universit at Wien, Institut f ur Technische Informatik, 2002
472002
Discussion of misconceptions about WCET analysis
R Kirner, P Puschner
WCET, 61-64, 2003
402003
Compiling for time predictability
P Puschner, R Kirner, B Huber, D Prokesch
International Conference on Computer Safety, Reliability, and Security, 382-391, 2012
392012
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
392007
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
382011
Wcet tool challenge 2011: Report
R Von Hanxleden, N Holsti, B Lisper, E Ploedereder, R Wilhelm, ...
Procs 11th Int Workshop on Worst-Case Execution Time (WCET) Analysis, 2011
352011
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
322011
Time-predictable computing
R Kirner, P Puschner
IFIP International Workshop on Software Technolgies for Embedded and …, 2010
322010
The system can't perform the operation now. Try again later.
Articles 1–20