Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Ingomar Wenzel
Observed names:
I. Wenzel,
Wenzel, Ingomar
Observed institution:
TU Wien
OpenAlex ID:
A5041808396
Measurement-Based Timing Analysis
2008
·
Ingomar Wenzel
, Raimund Kirner
, et al.
·
Communications in computer and information science
·
83
PDF
Principles of Timing Anomalies in Superscalar Processors
2006
·
I. Wenzel
, R. Kirner
, et al.
·
Asia-Pacific Conference on Quality Software (APAQS)
·
63
PDF
Measurement-Based Worst-Case Execution Time Analysis
2005
·
I. Wenzel
, R. Kirner
, et al.
·
Software Technologies for Embedded and Ubiquitous Systems
·
63
PDF
Automatic Timing Model Generation by CFG Partitioning and Model Checking
2005
·
I. Wenzel
, B. Rieder
, et al.
·
Design, Automation, and Test in Europe
·
63
PDF
Measurement-Based Worst-Case Execution Time Analysis using Automatic Test-Data Generation ∗
2004
·
Raimund Kirner
, Peter Puschner
, et al.
·
54
WCET Analysis: The Annotation Language Challenge
2007
·
Kirner, Raimund
, Knoop, Jens
, et al.
·
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)
·
22
PDF
Using model checking to derive loop bounds of general loops within ANSI-C applications for measurement based WCET analysis
2008
·
Bernhard Rieder
, Peter Puschner
, et al.
·
Workshop on Intelligent Solutions in Embedded Systems
·
17
Interface Design for Hardware-in-the-Loop Simulation
2006
·
Martin Schlager
, Wilfried Elmenreich
, et al.
·
IEEE International Symposium on Industrial Electronics (ISIE)
·
16
Using a Runtime Measurement Device with Measurement-Based WCET Analysis
2007
·
Bernhard Rieder
, Ingomar Wenzel
, et al.
·
IFIP advances in information and communication technology
·
5
PDF
Cross-Platform Verification Framework for Embedded Systems
2007
·
Ingomar Wenzel
, Raimund Kirner
, et al.
·
Lecture notes in computer science
·
3
PDF
Impact of Dependable Software Development Guidelines on Timing Analysis
2005
·
I. Wenzel
, R. Kirner
, et al.
·
IEEE EUROCON - International Conference on Computer as a Tool (EUROCON)
·
2
PDF
Portable Data Exchange for Remote-Testing Frameworks
2006
·
R. Kirner
, P. Puschner
, et al.
·
IEEE International Symposium on Real-Time Distributed Computing (ISORC)
PDF
Interface Design forHardware-in-the- Loop Simulation
2006
·
Martin Schlager
, Wilfried Elmenreich
, et al.
Automatic Timing Model Generation by CFG Partitioning and Model Checking
2005
·
Ingomar Wenzel
, Bernhard Rieder
, et al.
Show more works
View as search
Works count:
17
Citation count:
391
H-index:
8
I10-index:
8
Year
Topic
Type