Felix Pauck

Kontakt
Publikationen
 Felix Pauck

Spezifikation und Modellierung von Softwaresystemen

Doktorand

Telefon:
+49 5251 60-1765
Fax:
+49 5251 60-3993
Büro:
O4.122
Sprechzeiten:

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

Web:
Web (Extern):
Besucher:
Pohlweg 51
33098 Paderborn

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
Sie interessieren sich für: