- vom 4.1.2024
On the membership and correctness problem for state serializability and value opacity
König, Jürgen ; Wehrheim, HeikeElektronische Ressource, Paderborn, 2023
- vom 18.5.2023
Cooperative Android App analysis
Pauck, Felix ; Wehrheim, Heike ; Bodden, EricElektronische Ressource, Paderborn, 2023
- vom 22.3.2023
Timing Verifikation von AUTOSAR Softwarearchitekturen
Beringer, Steffen ; Wehrheim, Heike ; Engels, GregorElektronische Ressource, Paderborn, 2022
- vom 29.10.2021
Guaranteeing 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, 2021
- vom 21.1.2020
Enhancing development and deployment of softwarised network services
Peuster, Manuel ; Karl, Holger ; Capone, Antonio ; Plessl, Chrsitian ; Sommer, Christoph ; Wehrheim, HeikeElektronische Ressource, Paderborn, 2020
- vom 24.10.2019
User-centered tool design for data-flow analysis
Nguyen Quang Do, Lisa ; Bodden, Eric ; Ali, Karim ; Murphy-Hill, Emerson ; Wehrheim, Heike ; Hermann, BenElektronische Ressource, Paderborn, 2019
- vom 3.1.2019
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, 2018
- vom 2.7.2018
Modellgetriebener Einsatz von Softwareentwurfsmustern
Travkin, Dietrich ; Anjorin, Anthony ; Zündorf, Albert ; Wehrheim, Heike ; Meyer, Matthias ; Sauer, StefanElektronische Ressource, Paderborn, 2018
- vom 8.5.2018
Knowledge-based verification of service compositions
Walther, Sven ; Wehrheim, HeikeElektronische Ressource, Paderborn, 2018
- vom 11.12.2017
Verifying 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
- vom 8.6.2017
On-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, 2017
- vom 15.9.2016
Fuzzy matching of comprehensive service specifications
Platenius, Marie Christin ; Schäfer, Wilhelm ; Engels, Gregor ; Becker, Steffen ; Wehrheim, Heike ; Inverardi, Paola ; Hüllermeier, EykeElektronische Ressource, Paderborn, 2016
- vom 27.5.2016
Induction-based Verification of Timed Systems
Isenberg, Tobias ; Wehrheim, Heike ; Niggemann, OliverElektronische Ressource, Paderborn, 2016
- vom 17.3.2016
Graph transformation planning with time and concurrency
Ziegert, Steffen ; Wehrheim, Heike ; Schäfer, WilhelmElektronische Ressource, Paderborn, 2016