Measurement-based timing analysis I Wenzel, R Kirner, B Rieder, P Puschner Leveraging Applications of Formal Methods, Verification and Validation …, 2008 | 120 | 2008 |
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 | 104 | 2005 |
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 | 103 | 2005 |
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 | 101 | 2005 |
Measurement-based worst-case execution time analysis using automatic test-data generation R Kirner, P Puschner, I Wenzel na, 2004 | 93 | 2004 |
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 | 57 | 2005 |
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 | 41 | 2007 |
Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis B Rieder, P Puschner, I Wenzel 2008 International Workshop on intelligent solutions in embedded systems, 1-7, 2008 | 25 | 2008 |
Interface design for hardware-in-the-loop simulation M Schlager, W Elmenreich, I Wenzel 2006 IEEE International Symposium on Industrial Electronics 2, 1554-1559, 2006 | 24 | 2006 |
Measurement-based timing analysis of superscalar processors I Wenzel Technische Universität Wien, 2006 | 24 | 2006 |
WCET coverage for pipelines A Betts, G Bernat, R Kirner, P Puschner, I Wenzel RealTime Systems Research Group-University of York and Institute of Computer …, 2006 | 23 | 2006 |
Principles of timing anomalies in superscalar processors I Wenzel | 13 | 2003 |
Using a runtime measurement device with measurement-based WCET analysis B Rieder, I Wenzel, K Steinhammer, P Puschner Embedded System Design: Topics, Techniques and Trends, 15-26, 2007 | 7 | 2007 |
Cross-platform verification framework for embedded systems I Wenzel, R Kirner, B Rieder, P Puschner Software Technologies for Embedded and Ubiquitous Systems: 5th IFIP WG 10.2 …, 2007 | 5 | 2007 |
Impact of dependable software development guidelines on timing analysis I Wenzel, R Kirner, M Schlager, B Rieder, B Huber EUROCON 2005-The International Conference on" Computer as a Tool" 1, 575-578, 2005 | 5 | 2005 |
WITH MEASUREMENT-BASED WCET ANALYSIS B Rieder, I Wenzel, K Steinhammer, P Puschner Embedded System Design: Topics, Techniques and Trends: IFIP TC10 Working …, 2010 | | 2010 |
WCET Annotation Languages Reconsidered: The Annotation Language Challenge A Kadlec, R Kirner, J Knoop, A Prantl, M Schordan, I Wenzel CHRISTIAN-ALBRECHTS-UNIVERSITAT KIEL, 93, 2008 | | 2008 |
Portable data exchange for remote-testing frameworks R Kirner, P Puschner, I Wenzel, B Rieder Ninth IEEE International Symposium on Object and Component-Oriented Real …, 2006 | | 2006 |
" WCET Analysis: The Annotation Language Challenge"; Vortrag: 7th International Workshop on Worst-Case Execution Time Analysis (satellite event to ECRTS 07), Pisa; 14.12. 2007 … R Kirner, J Knoop, A Prantl, M Schordan, I Wenzel | | |
Measurement-Based Timing Analysis P Puschner, B Rieder | | |