Raimund Kirner

Raimund Kirner

University of Hertfordshire - Hatfield / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1056444
person_outline Raimund Kirner's MOST POPULAR ARTICLES
1-) Measurement-based timing analysisI Wenzel, R Kirner, B Rieder, P PuschnerInternational Symposium on Leveraging Applications of Formal Methods …, 20081142008
2-) Measurement-based worst-case execution time analysisI Wenzel, R Kirner, B Rieder, P PuschnerThird IEEE Workshop on Software Technologies for Future Embedded and …, 20051052005
3-) Automatic timing model generation by CFG partitioning and model checkingI Wenzel, B Rieder, R Kirner, P PuschnerDesign, Automation and Test in Europe, 606-611, 20051032005
4-) Principles of timing anomalies in superscalar processorsI Wenzel, R Kirner, P Puschner, B RiederFifth International Conference on Quality Software (QSIC\'05), 295-303, 20051022005
5-) Obstacles in worst-case execution time analysisR Kirner, P Puschner2008 11th IEEE International Symposium on Object and Component-Oriented Real …, 2008952008