Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Elektronische Ressource, Paderborn, 2021
On-The-Fly Computing
Individualized IT-services in dynamic markets : Collaborative Research Centre 901 (2011 - 2023)Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, 2023On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017