A value-centered software engineering approach for unique and novel software-based solutions
aligning design thinking with a coopetition-based evolutionary software developmentElektronische Ressource, Paderborn, 2021Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017