Contributions to a conference proceedings

The increased technological complexity and demand for software reliability require organizations to formally design and verify their safety-critical programs to minimize systematic failures. Formal methods are recommended by functional safety standards (e.g., by IEC 61511 for the process industry and by the generic IEC 61508) and play a crucial role. [...]

In Darmstadt, Germany, the Facility for Antiproton and Ion Research (FAIR) is presently under construction. One of the most complex machines is the SIS100, a synchrotron with a circumference of 1100 metres. [...]

The effectiveness and efficiency of a beam injection scheme is crucial to achieve high beam intensities while minimizing possible beam losses. The classical method for injecting from a linac to a synchrotron is the multi-turn injection. [...]

Photons play a pivotal role in both theoretical and applied physics, ranging from elementary particle studies to practical technologies. This article explores how ultra-peripheral collisions of heavy ions act as sources of nearly real photons, enabling the investigation of a wide range of photon-induced processes. [...]

The Frankfurt Neutron Source FRANZ will be a compact accelerator driven neutron source utilizing the 7Li(p,n)7Be reaction with a 2 MeV proton beam. The 700 keV RFQ has been sucessfully commissioned with a 10 mA proton beam. [...]