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.