CogniCrypt - the secure integration of cryptographic software
Elektronische Ressource, Paderborn, 2020
Early performance analysis of automation systems based on systems engineering models
Elektronische Ressource, Paderborn, 2017Engineering self-adaptive systems with simulation-based performance prediction
Elektronische Ressource, Paderborn, 2017Model-driven information flow security engineering for cyber-physical systems
Elektronische Ressource, Paderborn, 2020Model-Driven software modernization
concept-based engineering of situation-specific methodsElektronische Ressource, Paderborn, 2016On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017Project-specific software engineering methods
composition, enactment, and quality assuranceElektronische Ressource, Paderborn, 2016Safety requirements engineering for early SIL tailoring
Elektronische Ressource, Paderborn, 2019Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019A systematic analysis and hardening of the Java security architecture
Elektronische Ressource, Paderborn, 2019User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019Validation of software migration
model-driven co-migration of test casesElektronische Ressource, Paderborn, 2020