Folgen
Raimund Kirner
Raimund Kirner
Reader in Cyberphysical Systems
Bestätigte E-Mail-Adresse bei herts.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Measurement-based timing analysis
I Wenzel, R Kirner, B Rieder, P Puschner
International Symposium on Leveraging Applications of Formal Methods …, 2008
1232008
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
1052005
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
1032005
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
1032005
Obstacles in worst-case execution time analysis
R Kirner, P Puschner
2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008
922008
Measurement-based worst-case execution time analysis using automatic test-data generation
R Kirner, P Puschner, I Wenzel
na, 2004
922004
Classification of WCET analysis techniques
R Kirner, P Puschner
Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed …, 2005
892005
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
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
782002
Extending optimising compilation to support worst-case execution time analysis
R Kirner
PhD thesis, Technische Universität Wien, Vienna, Austria, 2003
622003
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
592005
Compiling for time predictability
P Puschner, R Kirner, B Huber, D Prokesch
International Conference on Computer Safety, Reliability, and Security, 382-391, 2012
482012
The programming language wcetC
R Kirner
Technische Universit at Wien, Institut f ur Technische Informatik, 2002
462002
Discussion of misconceptions about WCET analysis
R Kirner, P Puschner
WCET, 61-64, 2003
442003
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
402011
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
382009
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
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
372001
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20