Daniel Brenner

Learn More
Today component- and service-based technologies play a central role in many aspects of enterprise computing. However, although the technologies used to define, implement, and assemble components have improved significantly over recent years, techniques for verifying systems created from them have changed very little. The correctness and reliability of(More)
Because of the dynamic way in which service-oriented architectures are configured, the correct interaction of service users and service providers can only be fully tested at run-time. However, the run-time testing of web services is complicated by the fact that they may be arbitrarily shared and may have lifetimes which are independent of the applications(More)
The low MR sensitivity of the sodium nucleus and its low concentration in the human body constrain acquisition time. The use of both single-quantum and triple-quantum sodium imaging is, therefore, restricted. In this work, we present a novel MRI sequence that interleaves an ultra-short echo time radial projection readout into the three-pulse triple-quantum(More)
Imaging in neuroscience, clinical research and pharmaceutical trials often employs the 3D magnetisation-prepared rapid gradient-echo (MPRAGE) sequence to obtain structural T1-weighted images with high spatial resolution of the human brain. Typical research and clinical routine MPRAGE protocols with ~1mm isotropic resolution require data acquisition time in(More)
Triple-quantum filtering has been suggested as a mechanism to differentiate signals from different physiological compartments. However, the filtering method is sensitive to static field inhomogeneities because different coherence pathways may interfere destructively. Previously suggested methods employed additional phase-cycles to separately acquire(More)
Runtime testing is important for improving the quality of software systems. This fact holds true especially for systems which cannot be completely assembled at development time, such as mobile or ad-hoc systems. The concepts of built-in-test (BIT) can be used to cope with runtime testing, but to our knowledge there does not exist an implemented(More)
1.1 Introduction In this chapter we present a version of the Trading System case study modeled according to the KobrA approach. KobrA is a UML-based method for describing components and component-based systems developed at the Fraunhofer Institute for Experimental Software Engineering at the beginning of the decade. The acronym stands for the term "(More)
In this paper we describe a new approach for increasing the reliability of ubiquitous software systems. This is achieved by executing tests at run-time. The individual software components are consequently accompanied by executable tests. We augment this well-known built-in test (BIT) paradigm by combining it with resource-awareness. Starting from the(More)