Operational risk assessment of chemical industries by exploiting accident databases

I hereby declare that I have created this work completely on my own and used no other sources or tools than the ones listed, and that I have marked any citations accordingly. Hiermit versichere ich, dass ich die vorliegende Arbeit selbständig verfasst und keine anderen als die angegebenen Quellen

refactorings lie at its foundation. Model Driven Engineering (MDE) focusses on the mapping of high-level models of programs to low-level implementations. Reusable transformations are the computational foundation of MDE. Software product lines (SPLs) raise the idea of change to features (stereo

Abstract not found

Abstract not found

In this paper we present a new template class concept for matrices and lattices. In the design we have focussed on the efficiency of single as well as sequences of operations. In order to get concise and efficient programming code we present a new technique based on template mechanisms and suitable inheritance structures. 1

AND that copies 1) bear this notice in full and 2) give the full citation on the first page. It is permissible to abstract these works so long as credit is given. To copy in all other cases or to republish or to post on a server or to redistribute to lists requires specific permission and payment of a fee

Digital signatures are an important primitive for building secure systems and are used in most real world security protocols. However, almost all popular signature schemes are either based on the factoring as-sumption (RSA) or the hardness of the discrete logarithm problem (DSA/ECDSA). In the case of classical cryptanalytic advances or progress on the development of quantum computers the hardness of these closely related problems might be seriously weakened. A potential alternative approach is the construction of sig-nature schemes based on the hardness of certain lattices problems which are assumed to be intractable by quantum computers. Due to significant research advancements in recent years, lattice-based schemes have now become practical and appear to be a very viable alternative to number-theoretic cryptography. In this paper we focus on recent developments and the current state-of-the-art in lattice-based digital signatures and provide a comprehensive survey discussing signature schemes with respect to practicality. Additionally, we discuss future research areas that are essential for the continued development of lattice-based cryptography.

as ideas of Dubrov and Ishai. We also give an unconditional construction of a poly-time computable nb-PRGs for poly(n)-size, depth d circuits C : This improves upon the previous work of Dubrov and Ishai that has r ≥ ℓ 2 . Our nb-PRGs can be implemented by a uniform family of poly-size constant depth

This article discusses new challenges for series development regarding the vehicle safety that arise from the recently pub-lished AEB test protocol by the consumer-test-organisation EuroNCAP for driver assistance systems [6]. The tests from the test protocol are of great significance for an OEM that sells millions of cars each year, due to the fact that a positive rating of the vehicle-under-test (VUT) in safety relevant as-pects is important for the reputation of a car manufacturer. The further intensification and aggravation of the test re-quirements for those systems is one of the challenges, that has to be mastered in order to continuously make significant contributions to safety for high-volume cars. Therefore, it is to be shown how a simulation approach may support the de-velopment process, especially with tolerance analysis. This article discusses the current stage of work, steps that are planned for the future and results that can be expected at the end of such an analysis. Keywords Advanced driver assistance systems, black-box testing, con-sumer tests, equivalence class partitioning, model-based test-ing, simulation