- E-Mail:
- fpauck@mail.uni-paderborn.de
- Telefon:
- +49 5251 60-1765
- Web:
- Homepage
- Homepage (Extern)
- Büroanschrift:
-
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
Alle Publikationen anzeigen
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.