Cooperative Android App analysis
Elektronische Ressource, Paderborn, 2023On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019