Anomaly detection as a one-class problem in discrete event systems
Elektronische Ressource, Paderborn, 2017
Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen
Elektronische Ressource, Paderborn, 2018Learning shepherding behavior
Elektronische Ressource, Paderborn, 2016Routing and scheduling for home care services
solution approaches for static and dynamic settingsElektronische Ressource, Paderborn, 2016Towards automated service composition under quality constraints
Elektronische Ressource, Paderborn, 2017Verifying concurrent programs under weak memory models
Elektronische Ressource, Paderborn, 2017