
Automating network resource allocation for coflows with deadlines
Elektronische Ressource, Paderborn, 2021
Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Elektronische Ressource, Paderborn, 2021
Improving real-world applicability of static taint analysis
Elektronische Ressource, Paderborn, 2021
