Prof. Dr. Heike Wehrheim

Office Address:
Pohlweg 51
33098 Paderborn
Room:
O4.225
Deputy Speaker - Former
Principal Investigator

Publications

Latest Publications

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?

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.


Composition Analysis in Unknown Contexts

H. Wehrheim, E. Hüllermeier, S. Becker, M. Becker, C. Richter, A. Sharma, 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. 105–123.


Property-Driven Testing of Black-Box Functions

A. Sharma, V. Melnikov, E. Hüllermeier, H. Wehrheim, in: Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE), IEEE, 2022, pp. 113–123.


Show all publications