Timing Verifikation von AUTOSAR Softwarearchitekturen
Beringer, Steffen ; Wehrheim, Heike ; Engels, GregorElektronische Ressource, Paderborn, 2022Systematic development and re-use of model transformations
Besova, Galina ; Engels, Gregor ; Suhl, Leena2015On-The-Fly Computing
Individualized IT-services in dynamic markets : Collaborative Research Centre 901 (2011 - 2023)Haake, Claus-Jochen (Hrsg.) ; Meyer auf der Heide, Friedhelm (Hrsg.) ; Platzner, Marco (Hrsg.) ; Wachsmuth, Henning (Hrsg.) ; Wehrheim, Heike (Hrsg.)Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, 2023Induction-based Verification of Timed Systems
Isenberg, Tobias ; Wehrheim, Heike ; Niggemann, OliverElektronische Ressource, Paderborn, 2016On-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, 2017User-centered tool design for data-flow analysis
Nguyen Quang Do, Lisa ; Bodden, Eric ; Ali, Karim ; Murphy-Hill, Emerson ; Wehrheim, Heike ; Hermann, BenElektronische Ressource, Paderborn, 2019Cooperative Android App analysis
Pauck, Felix ; Wehrheim, Heike ; Bodden, EricElektronische Ressource, Paderborn, 2023Enhancing 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, 2016Dyad ranking with generalized Plackett-Luce models
Schäfer, Dirk ; Hüllermeier, Eyke ; Waegeman, Willem ; Ngonga Ngomo, Axel-Cyrille ; Wehrheim, Heike ; Fischer, MatthiasElektronische Ressource, Paderborn, 2018Modellgetriebener Einsatz von Softwareentwurfsmustern
Travkin, Dietrich ; Anjorin, Anthony ; Zündorf, Albert ; Wehrheim, Heike ; Meyer, Matthias ; Sauer, StefanElektronische Ressource, Paderborn, 2018Verifying concurrent programs under weak memory models
Travkin, Oleg ; Wehrheim, Heike ; Kleine Büning, Hans ; Ngonga Ngomo, Axel-Cyrille ; Platzner, Marco ; Simon, JensElektronische Ressource, Paderborn, 2017Knowledge-based verification of service compositions
Walther, Sven ; Wehrheim, HeikeElektronische Ressource, Paderborn, 2018Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Wiersema, Tobias ; Platzner, Marco ; Wehrheim, Heike ; Andrews, David ; Meyer auf der Heide, Friedhelm ; Somorovsky, JurajElektronische Ressource, Paderborn, 2021Graph transformation planning with time and concurrency
Ziegert, Steffen ; Wehrheim, Heike ; Schäfer, WilhelmElektronische Ressource, Paderborn, 2016