C. Richter, J. F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, and H. Wehrheim, “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?,”10.1145/3551349.3561156__2023, doi:10.1145/3551349.3561156 .

S. Schott and F. Pauck, “Benchmark Fuzzing for Android Taint Analyses,”10.1109/scam55253.2022.00007__2023, doi:10.1109/scam55253.2022.00007 .

F. Pauck, “Scaling Arbitrary Android App Analyses,”10.1145/3551349.3561339__2023, doi:10.1145/3551349.3561339 .

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

H. Wehrheim, M. Platzner, E. Bodden, P. Schubert, F. Pauck, and M.-C. Jakobs, “Verifying Software and Reconfigurable Hardware Services,” in On-The-Fly Computing -- Individualized IT-services in dynamic markets, vol. 412, C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, and H. Wehrheim, Eds. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 125–144.

L. Luo et al., “TaintBench: Automatic real-world malware benchmarking of Android taint analyses,”10.1007/s10664-021-10013-5__Empirical Software Engineering, 2021, doi:10.1007/s10664-021-10013-5 .

F. Pauck and H. Wehrheim, “Jicer: Simplifying Cooperative Android App Analysis Tasks,”10.1109/scam52516.2021.00031__2021, doi:10.1109/scam52516.2021.00031 .

M.-C. Jakobs, F. Pauck, M. Platzner, H. Wehrheim, and T. Wiersema, “Software/Hardware Co-Verification for Custom Instruction Set Processors,”10.1109/ACCESS.2021.3131213__IEEE Access, 2021, doi:10.1109/ACCESS.2021.3131213 .

F. Pauck and H. Wehrheim, “Cooperative Android App Analysis with CoDiDroid,”10.18420/SE2021_30 __in Software Engineering 2021, 2021, pp. 83–84, doi:10.18420/SE2021_30  .

F. Pauck, E. Bodden, and H. Wehrheim, “Reproducing Taint-Analysis Results with ReproDroid,”10.18420/SE2020_36__in Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, 2020, pp. 123–124, doi:10.18420/SE2020_36 .

F. Pauck and S. Zhang, “Android App Merging for Benchmark Speed-Up and Analysis Lift-Up,” in 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019.

F. Pauck and H. Wehrheim, “Together Strong: Cooperative Android App Analysis,”10.1145/3338906.3338915__in Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019, pp. 374–384, doi:10.1145/3338906.3338915 .

T. Isenberg, M.-C. Jakobs, F. Pauck, and H. Wehrheim, “When Are Software Verification Results Valid for Approximate Hardware?,”10.1007/978-3-030-31157-5_1__in Tests and Proofs - 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, 2019, pp. 3–20, doi:10.1007/978-3-030-31157-5_1 .

F. Pauck, E. Bodden, and H. Wehrheim, “Do Android Taint Analysis Tools Keep their Promises?,” arXiv:1804.02903. 2018.

F. Pauck, E. Bodden, and H. Wehrheim, “Do Android taint analysis tools keep their promises?,” in Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018, 2018.

T. Isenberg, M.-C. Jakobs, F. Pauck, and H. Wehrheim, “Validity of Software Verification Results on Approximate Hardware,” IEEE Embedded Systems Letters, pp. 22–25, 2018.

F. Pauck, Cooperative static analysis of Android applications. Universität Paderborn, 2017.

M.-C. Jakobs, M. Töws, and F. Pauck, “PAndA 2f: Analyzing Permission Use and Interplay in Android Apps (Tool Paper),” in Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, 2016.

F. Pauck, Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn, 2014.