Publications
Now showing items 91-100 of 466
Architectural Alignment of Access Control Requirements Extracted from Business Processes
(2023)
Business processes and information systems evolve constantly and affect each other in non-trivial ways. Aligning security requirements between both is a challenging task. This work presents an automated approach to extract ...
Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements
(2022)
Software vendors must consider confidentiality especially while creating software architectures because decisions made here are hard to change later. Our approach represents and analyzes data flows in software architectures. ...
Phasenfeldmodellierung von Bruchbildungs-, Kristallisations- und Auflösungsvorgängen in hydrothermalen Umgebungen
(2022)
This work focuses on the numerical investigation of fracture formation, crystallization, and crystal dissolution processes in subsurface hydrothermal environments on microscale. Phase-field models are presented and applied ...
Abbildende Ellipsometrie mit Lichtwegumkehrung für die optische Charakterisierung von gekrümmten Oberflächen
(2023)
Ellipsometry is a measuring method for surface characterization and thin-film measurement of flat surfaces using polarized light. However, a new measuring principle based on return-path ellipsometry and retroreflection ...
Reservoir quality controls and reservoir modelling of continental to transitional shallow marine sedimentary basins of Southern Nigeria
(2023)
The object-based stochastic approach in facies modelling is important in the construction of geologically consistent 3-D reservoir models and in constraining the distribution of petrophysical properties. Tortuosity factor, ...
Decentralized Scheduling of Discrete Production Systems with Limited Buffers
(2023)
Modern production systems have become more flexible and agile. For them, a suitable control and planning method is needed. Agent-based systems offer the required characteristics. The contributions of these work are a ...
Architecture-based Evolution of Dependable Software-intensive Systems
(2023)
This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems early in development, (ii) decomposition and composition of ...
Systematic Approaches to Advanced Information Flow Analysis – and Applications to Software Security
(2023)
I report on applications of slicing and program dependence graphs (PDGs) to software security. Moreover, I propose a framework that generalizes both data-flow analysis on control-flow graphs and slicing on PDGs. This ...
Sustainable phosphate management
(2023)
Phosphorus is a crucial element in agriculture to feed the fast-growing global population. Its sustainable supply has ecological, social and human dimensions and it is classified as critical to European industries. On the ...
Self-Learning Longitudinal Control for On-Road Vehicles
(2023)
Reinforcement Learning is a promising tool to automate controller tuning. However, significant extensions are required for real-world applications to enable fast and robust learning. This work proposes several additions ...