Büro­anschrift:
Pohlweg 51
33098 Paderborn
Raum:
O4.122
Sprechstunden:

Verfügbarkeit (Arbeitszeit):
Montag - Freitag
07:00 bis ~15:30

Publikationen

Aktuelle Publikationen

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.

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.

Alle Publikationen anzeigen