Richter, Cedric, et al. “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?”10.1145/3551349.3561156__37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023, doi:10.1145/3551349.3561156.
LibreCat: /record/35426
DOI: 10.1145/3551349.3561156

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

Pauck, Felix. “Scaling Arbitrary Android App Analyses.”10.1145/3551349.3561339__37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023, doi:10.1145/3551349.3561339.
LibreCat: /record/35427
DOI: 10.1145/3551349.3561339

Pauck, Felix. Cooperative Android App Analysis. Paderborn University, 2023, doi:10.17619/UNIPB/1-1698.
LibreCat: /record/43108
DOI: 10.17619/UNIPB/1-1698

Wehrheim, Heike, et al. “Verifying Software and Reconfigurable Hardware Services.”10.5281/zenodo.8068583__On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake et al., vol. 412, Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 125–44, doi:10.5281/zenodo.8068583.
LibreCat: /record/45888
DOI: 10.5281/zenodo.8068583

Luo, Linghui, 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.
LibreCat: /record/27045
DOI: 10.1007/s10664-021-10013-5

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

Jakobs, Marie-Christine, et al. “Software/Hardware Co-Verification for Custom Instruction Set Processors.”10.1109/ACCESS.2021.3131213__IEEE Access, IEEE, 2021, doi:10.1109/ACCESS.2021.3131213.
LibreCat: /record/27841
DOI: 10.1109/ACCESS.2021.3131213

Pauck, Felix, and Heike Wehrheim. “Cooperative Android App Analysis with CoDiDroid.”10.18420/SE2021_30 __Software Engineering 2021, edited by Anne Koziolek et al., Gesellschaft für Informatik e.V., 2021, pp. 83–84, doi:10.18420/SE2021_30 .
LibreCat: /record/21238
DOI: 10.18420/SE2021_30 

Pauck, Felix, et al. “Reproducing Taint-Analysis Results with ReproDroid.”10.18420/SE2020_36__Software Engineering 2020, Fachtagung Des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, edited by Michael Felderer et al., Gesellschaft f\'22ur Informatik e.V., 2020, pp. 123–24, doi:10.18420/SE2020_36.
LibreCat: /record/16214
DOI: 10.18420/SE2020_36

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

Pauck, Felix, and Heike Wehrheim. “Together Strong: Cooperative Android App Analysis.”10.1145/3338906.3338915__Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019, pp. 374–84, doi:10.1145/3338906.3338915.
LibreCat: /record/10108
DOI: 10.1145/3338906.3338915

Isenberg, Tobias, et al. “When Are Software Verification Results Valid for Approximate Hardware?”10.1007/978-3-030-31157-5_1__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.
LibreCat: /record/13874
DOI: 10.1007/978-3-030-31157-5_1

Pauck, Felix, et al. “Do Android Taint Analysis Tools Keep Their Promises?” ArXiv:1804.02903, 2018.
LibreCat: /record/2711

Pauck, Felix, et al. “Do Android Taint Analysis Tools Keep Their Promises?”10.1145/3236024.3236029__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, doi:10.1145/3236024.3236029.
LibreCat: /record/4999
DOI: 10.1145/3236024.3236029

Isenberg, Tobias, et al. “Validity of Software Verification Results on Approximate Hardware.”10.1109/LES.2017.2758200__IEEE Embedded Systems Letters, Institute of Electrical and Electronics Engineers (IEEE), 2018, pp. 22–25, doi:10.1109/LES.2017.2758200.
LibreCat: /record/1043
DOI: 10.1109/LES.2017.2758200

Pauck, Felix. Cooperative Static Analysis of Android Applications. Universität Paderborn, 2017.
LibreCat: /record/109

Jakobs, Marie-Christine, et al. “PAndA 2f: Analyzing Permission Use and Interplay in Android Apps (Tool Paper).” Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, edited by Troubitsyna E Ishikawa F, Romanovsky A, 2016.
LibreCat: /record/170

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