Ingomar Wenzel

According to our database, Ingomar Wenzel authored at least 9 papers between 2005 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis.

Bernhard Rieder, Peter P. Puschner, Ingomar Wenzel

Proceedings of the International Workshop on Intelligent Solutions in Embedded Systems, 2008

Measurement-Based Timing Analysis.

Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner

Proceedings of the Leveraging Applications of Formal Methods, 2008

2007

WCET Analysis: The Annotation Language Challenge.

Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Ingomar Wenzel

Proceedings of the 7th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2007

Cross-Platform Verification Framework for Embedded Systems.

Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner

Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2007

Using a Runtime Measurement Device with Measurement-Based WCET Analysis.

Bernhard Rieder, Ingomar Wenzel, Klaus Steinhammer, Peter P. Puschner

Proceedings of the Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30, 2007

2006

Portable Data Exchange for Remote-Testing Frameworks.

Raimund Kirner, Peter P. Puschner, Ingomar Wenzel, Bernhard Rieder

Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

2005

Measurement-Based Worst-Case Execution Time Analysis.

Ingomar Wenzel, Raimund Kirner, Bernhard Rieder, Peter P. Puschner

Proceedings of the Third IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2005

Principles of Timing Anomalies in Superscalar Processors.

Ingomar Wenzel, Raimund Kirner, Peter P. Puschner, Bernhard Rieder

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Automatic Timing Model Generation by CFG Partitioning and Model Checking.

Ingomar Wenzel, Bernhard Rieder, Raimund Kirner, Peter P. Puschner

Proceedings of the 2005 Design, 2005