SFB 901 - Projektbereich B: Modellierung, Komposition und Qualit?tsanalyse für das On-The-Fly Computing
?berblick
Detailinformationen
Publikationen
On the Membership and Correctness Problem for State Serializability and Value Opacity
J. K?nig, On the Membership and Correctness Problem for State Serializability and Value Opacity, 2023.
Towards comparable ratings: Exploring bias in German physician reviews
J. Kersting, F. Maoro, M. Geierhos, Data & Knowledge Engineering 148 (2023).
Verifying Software and Reconfigurable Hardware Services
H. Wehrheim, M. Platzner, E. Bodden, P. Schubert, F. Pauck, M.-C. Jakobs, in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universit?t Paderborn, Paderborn, 2023, pp. 125–144.
On-The-Fly Computing -- Individualized IT-services in dynamic markets
C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim, On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universit?t Paderborn, Paderborn, 2023.
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
Alle Publikationen anzeigen
C. Richter, J.F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, H. Wehrheim, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.