On-The-Fly Computing
Individualized IT-services in dynamic markets : Collaborative Research Centre 901 (2011 - 2023)Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, 2023
On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Elektronische Ressource, Paderborn, 2021Analysis and integration of Web 2.0 data sources into a system for analysis and storage of Artefact-Actor-Networks
Elektronische Ressource, Paderborn, 2010Frameworks and methodologies for search-based approximate logic synthesis
Elektronische Ressource, Paderborn, 2022