Follow
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
Leveraging Applications of Formal Methods, Verification and Validation …, 2008
1202008
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
1042005
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
1012005
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
1002005
Measurement-based worst-case execution time analysis using automatic test-data generation
R Kirner, P Puschner, I Wenzel
na, 2004
932004
Obstacles in worst-case execution time analysis
R Kirner, P Puschner
2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008
912008
Classification of WCET analysis techniques
R Kirner, P Puschner
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed …, 2005
862005
Transformation of path information for WCET analysis during compilation
R Kirner, P Puschner
Proceedings 13th Euromicro Conference on Real-Time Systems, 29-36, 2001
822001
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
762002
Extending optimising compilation to support worst-case execution time analysis
R Kirner
PhD thesis, Technische Universität Wien, Vienna, Austria, 2003
632003
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
562005
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
452012
Discussion of misconceptions about WCET analysis
R Kirner, P Puschner
WCET, 61-64, 2003
432003
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
412011
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
412007
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
382011
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
372011
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
372009
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
362001
The system can't perform the operation now. Try again later.
Articles 1–20