Richter, Cedric, Jan Frederik Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, and Heike Wehrheim. “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?”https://doi.org/10.1145/3551349.3561156__In 37th IEEE/ACM International Conference on Automated Software Engineering. ACM, 2023.https://doi.org/10.1145/3551349.3561156 .

Schott, Stefan, and Felix Pauck. “Benchmark Fuzzing for Android Taint Analyses.”https://doi.org/10.1109/scam55253.2022.00007__In 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM). IEEE, 2023.https://doi.org/10.1109/scam55253.2022.00007 .

Pauck, Felix. “Scaling Arbitrary Android App Analyses.”https://doi.org/10.1145/3551349.3561339__In 37th IEEE/ACM International Conference on Automated Software Engineering. ACM, 2023.https://doi.org/10.1145/3551349.3561339 .

Pauck, Felix. Cooperative Android App Analysis. Paderborn University, 2023.https://doi.org/10.17619/UNIPB/1-1698 .

Wehrheim, Heike, Marco Platzner, Eric Bodden, Philipphttps://doi.org/10.5281/zenodo.8068583__Schubert, Felix Pauck, and Marie-Christine Jakobs. “Verifying Software and Reconfigurable Hardware Services.”https://doi.org/10.5281/zenodo.8068583__In On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake, Friedhelm Meyer auf der Heide, Marco Platzner, Henning Wachsmuth, and Heike Wehrheim, 412:125–44. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023.https://doi.org/10.5281/zenodo.8068583 .

Luo, Linghui, Felix Pauck, Goran Piskachev, Manuel Benz, Ivan Pashchenko, Martin Mory, Eric Bodden, Ben Hermann, and Fabio Massacci. “TaintBench: Automatic Real-World Malware Benchmarking of Android Taint Analyses.”https://doi.org/10.1007/s10664-021-10013-5__Empirical Software Engineering, 2021.https://doi.org/10.1007/s10664-021-10013-5 .

Pauck, Felix, and Heike Wehrheim. “Jicer: Simplifying Cooperative Android App Analysis Tasks.”https://doi.org/10.1109/scam52516.2021.00031__In 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.https://doi.org/10.1109/scam52516.2021.00031 .

Jakobs, Marie-Christine, Felix Pauck, Marco Platzner, Heike Wehrheim, and Tobias Wiersema. “Software/Hardware Co-Verification for Custom Instruction Set Processors.”https://doi.org/10.1109/ACCESS.2021.3131213__IEEE Access, 2021.https://doi.org/10.1109/ACCESS.2021.3131213 .

Pauck, Felix, and Heike Wehrheim. “Cooperative Android App Analysis with CoDiDroid.”https://doi.org/10.18420/SE2021_30 __In Software Engineering 2021, edited by Anne Koziolek, Ina Schaefer, and Christoph Seidl, 83–84. Bonn: Gesellschaft für Informatik e.V., 2021.https://doi.org/10.18420/SE2021_30  .

Pauck, Felix, Eric Bodden, and Heike Wehrheim. “Reproducing Taint-Analysis Results with ReproDroid.”https://doi.org/10.18420/SE2020_36__In Software Engineering 2020, Fachtagung Des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, edited by Michael Felderer, Wilhelm Hasselbring, Rick Rabiser, and Reiner Jung, 123–24. LNI. Gesellschaft f\'22ur Informatik e.V., 2020.https://doi.org/10.18420/SE2020_36 .

Pauck, Felix, and Shikun Zhang. “Android App Merging for Benchmark Speed-Up and Analysis Lift-Up.”https://doi.org/10.1109/asew.2019.00019__In 2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), 2019.https://doi.org/10.1109/asew.2019.00019 .

Pauck, Felix, and Heike Wehrheim. “Together Strong: Cooperative Android App Analysis.”https://doi.org/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, 374–84, 2019.https://doi.org/10.1145/3338906.3338915 .

Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim. “When Are Software Verification Results Valid for Approximate Hardware?”https://doi.org/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, 3–20, 2019.https://doi.org/10.1007/978-3-030-31157-5_1 .

Pauck, Felix, Eric Bodden, and Heike Wehrheim. “Do Android Taint Analysis Tools Keep Their Promises?” ArXiv:1804.02903, 2018.

Pauck, Felix, Eric Bodden, and Heike Wehrheim. “Do Android Taint Analysis Tools Keep Their Promises?”https://doi.org/10.1145/3236024.3236029__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. ACM Press, 2018.https://doi.org/10.1145/3236024.3236029 .

Isenberg, Tobias, Marie-Christine Jakobs, Felix Pauck, and Heike Wehrheim. “Validity of Software Verification Results on Approximate Hardware.”https://doi.org/10.1109/LES.2017.2758200__IEEE Embedded Systems Letters, 2018, 22–25.https://doi.org/10.1109/LES.2017.2758200 .

Pauck, Felix. Cooperative Static Analysis of Android Applications. Universität Paderborn, 2017.

Jakobs, Marie-Christine, Manuel Töws, and Felix 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, edited by Troubitsyna E Ishikawa F, Romanovsky A. School of Computing Science Technical Report Series, 2016.

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