Name Card

Full name Familienname, Vorname
Wenzel, Ingomar
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-16 of 16 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Rieder, Bernhard ; Puschner, Peter ; Wenzel, Ingomar Using Model Checking to Derive Loop Bounds of General Loops within ANSI-C Applications for Measurement Based WCET AnalysisKonferenzbeitrag Inproceedings 2008
2Wenzel, Ingomar ; Kirner, Raimund ; Rieder, Bernhard ; Puschner, Peter Measurement-Based Timing AnalysisKonferenzbeitrag Inproceedings 2008
3Kadlec, Albrecht ; Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Wenzel, Ingomar WCET Annotation Languages Reconsidered: The Annotation Language ChallengeKonferenzbeitrag Inproceedings2008
4Rieder, Bernhard ; Wenzel, Ingomar ; Steinhammer, Klaus ; Puschner, Peter Using a Runtime Measurement Device with Measurement-Based WCET AnalysisKonferenzbeitrag Inproceedings 2007
5Wenzel, Ingomar ; Kirner, Raimund ; Rieder, Bernhard ; Puschner, Peter Cross-Platform Verification Framework for Embedded SystemsKonferenzbeitrag Inproceedings 2007
6Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Wenzel, Ingomar WCET Analysis: The Annotation Language ChallengeKonferenzbeitrag Inproceedings 2007
7Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; Schordan, Markus ; Wenzel, Ingomar WCET Analysis: The Annotation Language ChallengeKonferenzbeitrag Inproceedings 2007
8Wenzel, Ingomar ; Kirner, Raimund ; Rieder, Bernhard ; Puschner, Peter Cross-Platform Verification Framework for Embedded SystemsArtikel Article2007
9Kirner, Raimund ; Puschner, Peter ; Wenzel, Ingomar ; Rieder, Bernhard Portable Data Exchange for Remote-Testing FrameworksKonferenzbeitrag Inproceedings 2006
10Schlager, Martin ; Elmenreich, Wilfried ; Wenzel, Ingomar Interface Design for Hardware-in-the-Loop SimulationKonferenzbeitrag Inproceedings 2006
11Wenzel, Ingomar Measurement-based timing analysis of superscalar processorsThesis Hochschulschrift2006
12Wenzel, Ingomar ; Kirner, Raimund ; Puschner, Peter ; Rieder, Bernhard Principles of Timing Anomalies in Superscalar ProcessorsKonferenzbeitrag Inproceedings 2005
13Wenzel, Ingomar ; Kirner, Raimund ; Rieder, Bernhard ; Puschner, Peter Measurement-Based Worst-Case Execution Time AnalysisKonferenzbeitrag Inproceedings 2005
14Wenzel, Ingomar ; Rieder, Bernhard ; Kirner, Raimund ; Puschner, Peter Automatic Timing Model Generation by CFG Partitioning and Model CheckingKonferenzbeitrag Inproceedings 2005
15Wenzel, Ingomar ; Kirner, Raimund ; Schlager, Martin ; Rieder, Bernhard ; Huber, Bernhard Impact of Dependable Software DevelopmentKonferenzbeitrag Inproceedings 2005
16Wenzel, Ingomar Principles of timing anomalies in superscalar processorsThesis Hochschulschrift2003