Follow
Ingomar Wenzel
Ingomar Wenzel
Research Assistant (2003-2008) - Real-Time Systems Group, TU-Wien
Verified email at student.tuwien.ac.at
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
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
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
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
252008
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
242006
Measurement-based timing analysis of superscalar processors
I Wenzel
Technische Universität Wien, 2006
242006
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
232006
Principles of timing anomalies in superscalar processors
I Wenzel
132003
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
72007
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
52007
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
52005
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
The system can't perform the operation now. Try again later.
Articles 1–20