CRC 901 - Project Area B: Modeling, composition and quality analysis for the On-The-Fly Computing
Overview
More Information
Publications
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?
Show all publications
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.