Cooperative Android App analysis
Elektronische Ressource, Paderborn, 2023
Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Elektronische Ressource, Paderborn, 2021On the membership and correctness problem for state serializability and value opacity
Elektronische Ressource, Paderborn, 2023On-The-Fly Computing
Individualized IT-services in dynamic markets : Collaborative Research Centre 901 (2011 - 2023)Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, 2023Timing Verifikation von AUTOSAR Softwarearchitekturen
Elektronische Ressource, Paderborn, 2022