20 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme KlassifikationSchliessenFilter1
zu den Filteroptionen20 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme
Klassifikation
Schliessen
Filter
1
Cooperative Android App analysis
Pauck, Felix ; Wehrheim, Heike ; Bodden, EricElektronische Ressource, Paderborn, 2023Dyad 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, 2016Guaranteeing 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, 2021Induction-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 membership and correctness problem for state serializability and value opacity
König, Jürgen ; Wehrheim, HeikeElektronische Ressource, Paderborn, 2023On-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, 2023On-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, Leena2015Timing Verifikation von AUTOSAR Softwarearchitekturen
Beringer, Steffen ; Wehrheim, Heike ; Engels, GregorElektronische Ressource, Paderborn, 2022User-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