@inproceedingsRichter_Haltermann_Jakobs_Pauck_Schott_Wehrheim_2023, title=Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?, DOI=10.1145/3551349.3561156, booktitle=37th IEEE/ACM International Conference on Automated Software Engineering, publisher=ACM, author=Richter, Cedric and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Pauck, Felix and Schott, Stefan and Wehrheim, Heike, year=2023 

@inproceedingsSchott_Pauck_2023, title=Benchmark Fuzzing for Android Taint Analyses, DOI=10.1109/scam55253.2022.00007, booktitle=2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), publisher=IEEE, author=Schott, Stefan and Pauck, Felix, year=2023 

@inproceedingsPauck_2023, title=Scaling Arbitrary Android App Analyses, DOI=10.1145/3551349.3561339, booktitle=37th IEEE/ACM International Conference on Automated Software Engineering, publisher=ACM, author=Pauck, Felix, year=2023 

@bookPauck_2023, title=Cooperative Android App Analysis, DOI=10.17619/UNIPB/1-1698, publisher=Paderborn University, author=Pauck, Felix, year=2023 

@inbookWehrheim_Platzner_Bodden_Schubert_Pauck_Jakobs_2023, place=Paderborn, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, title=Verifying Software and Reconfigurable Hardware Services, volume=412, DOI=10.5281/zenodo.8068583, booktitle=On-The-Fly Computing -- Individualized IT-services in dynamic markets, publisher=Heinz Nixdorf Institut, Universität Paderborn, author=Wehrheim, Heike and Platzner, Marco and Bodden, Eric and Schubert, Philipp10.5281/zenodo.8068583__and Pauck, Felix and Jakobs, Marie-Christine, editor=Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike, year=2023, pages=125–144, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts 

@articleLuo_Pauck_Piskachev_Benz_Pashchenko_Mory_Bodden_Hermann_Massacci_2021, title=TaintBench: Automatic real-world malware benchmarking of Android taint analyses, DOI=10.1007/s10664-021-10013-5, journal=Empirical Software Engineering, author=Luo, Linghui and Pauck, Felix and Piskachev, Goran and Benz, Manuel and Pashchenko, Ivan and Mory, Martin and Bodden, Eric and Hermann, Ben and Massacci, Fabio, year=2021 

@inproceedingsPauck_Wehrheim_2021, title=Jicer: Simplifying Cooperative Android App Analysis Tasks, DOI=10.1109/scam52516.2021.00031, booktitle=2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), author=Pauck, Felix and Wehrheim, Heike, year=2021 

@articleJakobs_Pauck_Platzner_Wehrheim_Wiersema_2021, title=Software/Hardware Co-Verification for Custom Instruction Set Processors, DOI=10.1109/ACCESS.2021.3131213, journal=IEEE Access, publisher=IEEE, author=Jakobs, Marie-Christine and Pauck, Felix and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias, year=2021 

@inproceedingsPauck_Wehrheim_2021, place=Bonn, title=Cooperative Android App Analysis with CoDiDroid, DOI=10.18420/SE2021_30 , booktitle=Software Engineering 2021, publisher=Gesellschaft für Informatik e.V., author=Pauck, Felix and Wehrheim, Heike, editor=Koziolek, Anne and Schaefer, Ina and Seidl, Christoph, year=2021, pages=83–84 

@inproceedingsPauck_Bodden_Wehrheim_2020, series=LNI, title=Reproducing Taint-Analysis Results with ReproDroid, DOI=10.18420/SE2020_36, booktitle=Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik, 24.-28. Februar 2020, Innsbruck, Austria, publisher=Gesellschaft f\'22ur Informatik e.V., author=Pauck, Felix and Bodden, Eric and Wehrheim, Heike, editor=Felderer, Michael and Hasselbring, Wilhelm and Rabiser, Rick and Jung, Reiner, year=2020, pages=123–124, collection=LNI 

@inproceedingsPauck_Zhang_2019, title=Android App Merging for Benchmark Speed-Up and Analysis Lift-Up, DOI=10.1109/asew.2019.00019, booktitle=2019 34th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), author=Pauck, Felix and Zhang, Shikun, year=2019 

@inproceedingsPauck_Wehrheim_2019, title=Together Strong: Cooperative Android App Analysis, DOI=10.1145/3338906.3338915, booktitle=Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, author=Pauck, Felix and Wehrheim, Heike, year=2019, pages=374–384 

@inproceedingsIsenberg_Jakobs_Pauck_Wehrheim_2019, title=When Are Software Verification Results Valid for Approximate Hardware?, DOI=10.1007/978-3-030-31157-5_1, booktitle=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, author=Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike, year=2019, pages=3–20 

@articlePauck_Bodden_Wehrheim_2018, title=Do Android Taint Analysis Tools Keep their Promises?, journal=arXiv:1804.02903, author=Pauck, Felix and Bodden, Eric and Wehrheim, Heike, year=2018 

@inproceedingsPauck_Bodden_Wehrheim_2018, title=Do Android taint analysis tools keep their promises?, DOI=10.1145/3236024.3236029, booktitle=Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018, publisher=ACM Press, author=Pauck, Felix and Bodden, Eric and Wehrheim, Heike, year=2018 

@articleIsenberg_Jakobs_Pauck_Wehrheim_2018, title=Validity of Software Verification Results on Approximate Hardware, DOI=10.1109/LES.2017.2758200, journal=IEEE Embedded Systems Letters, publisher=Institute of Electrical and Electronics Engineers (IEEE), author=Isenberg, Tobias and Jakobs, Marie-Christine and Pauck, Felix and Wehrheim, Heike, year=2018, pages=22–25 

@bookPauck_2017, title=Cooperative static analysis of Android applications, publisher=Universität Paderborn, author=Pauck, Felix, year=2017 

@inproceedingsJakobs_Töws_Pauck_2016, series=School of Computing Science Technical Report Series, title=PAndA 2f: Analyzing Permission Use and Interplay in Android Apps (Tool Paper), booktitle=Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems, author=Jakobs, Marie-Christine and Töws, Manuel and Pauck, Felix, editor=Ishikawa F, Romanovsky A, Troubitsyna EEditor, year=2016, collection=School of Computing Science Technical Report Series 

@bookPauck_2014, title=Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren, publisher=Universität Paderborn, author=Pauck, Felix, year=2014