Sven Bünte

Learn More
Measurement-based timing analysis (MBTA) is a hybrid approach that combines execution-time measurements with static program analysis techniques to obtain an estimate of the worst-case execution time (WCET) of a program. The most challenging part of MBTA is test data generation. Choosing an adequate set of test vectors determines safety and efficiency of the(More)
Clinical observations, epidemiologic data, and results of animal experiments support the theory of genetic anticipation of testicular germ-cell tumors. Attempts to find genetic markers of testicular cancer have yielded conflicting results. We studied blood groups of 577 patients treated for testicular germ-cell tumor (GCT) and controls. Lewis antigens of(More)
During the design of embedded real-time systems, engineers have to consider the temporal behavior of software running on a particular hardware platform. Measurement-based timing analysis is a technique that combines elements from static code analysis with execution time measurements on real physical hardware. Because performing exhaustive measurement is(More)
Measurement-based timing analysis (MBTA) is a hybrid approach that combines execution time measurements with static program analysis techniques to obtain an estimate of the worst-case execution time (WCET) of a program. In order to minimize the chance that the WCET estimate is below the real WCET, the set of representative execution-time measurements has to(More)
The goal of measurement-based WCET estimation (MBWE) is to derive an estimate of the worst-case execution time (WCET) of a given piece of software on a particular target platform by executing the software on the target hardware and analyzing the obtained time-stamped execution traces. In this paper we introduce context-sensitive MBWE, an approach that can(More)
Since 1983, corneal grafts have been routinely obtained from multiorgan donors and allocated to the patient with the greatest HLA compatibility. At follow-ups in 248 primarily clear corneal grafts, grouping according to the HLA mismatch rate revealed that the incidence of allograft reactions did not differ significantly for HLA-A but certainly did for HLA-B(More)
Worst case execution time analysis based on measurements requires large test suites to obtain reliable numbers. We are thus developing tools to efficiently generate these test sets in a whitebox-testing approach. To make project progress measurable and guard against regressions, a benchmarking suite is sought for. We present a set of requirements that have(More)
Zusammenfassung. Die FlexRay-ProzedurenWakeup und Startup sollen eine konsistent-synchrone Kommunikation bezüglich eines TDMA verwandten Verfahrens herstellen. Beide Algorithmen werden in dieser Arbeit abstrakt modelliert und mit Hilfe des Model Checkes SPIN bezüglich Terminierung analysiert. Die Ergebnisse zeigen, dass in bestimmten Fehlerszenarios die(More)