Office Address:
Pohlweg 51
33098 Paderborn
Room:
O4.122
Office hours:

Availability (Working hours):
Monday - Friday
07:00 am until ~03:30 pm

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.


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.


Benchmark Fuzzing for Android Taint Analyses

S. Schott, F. Pauck, in: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023.


Scaling Arbitrary Android App Analyses

F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.


Cooperative Android App Analysis

F. Pauck, Cooperative Android App Analysis, Paderborn University, 2023.


Show all publications