Dyad ranking with generalized Plackett-Luce models
Schäfer, Dirk ; Hüllermeier, Eyke ; Waegeman, Willem ; Ngonga Ngomo, Axel-Cyrille ; Wehrheim, Heike ; Fischer, MatthiasElektronische Ressource, Paderborn, 2018Enhancing development and deployment of softwarised network services
Peuster, Manuel ; Karl, Holger ; Capone, Antonio ; Plessl, Chrsitian ; Sommer, Christoph ; Wehrheim, HeikeElektronische Ressource, Paderborn, 2020Fuzzy matching of comprehensive service specifications
Platenius, Marie Christin ; Schäfer, Wilhelm ; Engels, Gregor ; Becker, Steffen ; Wehrheim, Heike ; Inverardi, Paola ; Hüllermeier, EykeElektronische Ressource, Paderborn, 2016Graph transformation planning with time and concurrency
Ziegert, Steffen ; Wehrheim, Heike ; Schäfer, WilhelmElektronische Ressource, Paderborn, 2016Induction-based Verification of Timed Systems
Isenberg, Tobias ; Wehrheim, Heike ; Niggemann, OliverElektronische Ressource, Paderborn, 2016Knowledge-based verification of service compositions
Walther, Sven ; Wehrheim, HeikeElektronische Ressource, Paderborn, 2018Modellgetriebener Einsatz von Softwareentwurfsmustern
Travkin, Dietrich ; Anjorin, Anthony ; Zündorf, Albert ; Wehrheim, Heike ; Meyer, Matthias ; Sauer, StefanElektronische Ressource, Paderborn, 2018On-The-Fly safety checking - customizing program certification and program restructuring
Jakobs, Marie-Christine ; Wehrheim, Heike ; Beyer, Dirk ; Bodden, Eric ; Platzner, Marco ; Platenius, Marie ChristinElektronische Ressource, Paderborn, 2017Systematic development and re-use of model transformations
Besova, Galina ; Engels, Gregor ; Suhl, Leena2015User-centered tool design for data-flow analysis
Nguyen Quang Do, Lisa ; Bodden, Eric ; Ali, Karim ; Murphy-Hill, Emerson ; Wehrheim, Heike ; Hermann, BenElektronische Ressource, Paderborn, 2019Verifying concurrent programs under weak memory models
Travkin, Oleg ; Wehrheim, Heike ; Kleine Büning, Hans ; Ngonga Ngomo, Axel-Cyrille ; Platzner, Marco ; Simon, JensElektronische Ressource, Paderborn, 2017