Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019
Scaling static whole-program analysis to modern C and C++ software development
statically analyzing C and C++ software with PhASARPaderborn, 2024Secure use of open-source software
a systematic study and techniques for JavaElektronische Ressource, Paderborn, 2024Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Elektronische Ressource, Paderborn, 2024Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019A systematic analysis and hardening of the Java security architecture
Elektronische Ressource, Paderborn, 2019