@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 
LibreCat: /record/35426
DOI: 10.1145/3551349.3561156

@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 
LibreCat: /record/36848
DOI: 10.1109/scam55253.2022.00007

@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 
LibreCat: /record/35427
DOI: 10.1145/3551349.3561339

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

@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 
LibreCat: /record/45888
DOI: 10.5281/zenodo.8068583

@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 
LibreCat: /record/27045
DOI: 10.1007/s10664-021-10013-5

@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 
LibreCat: /record/28199
DOI: 10.1109/scam52516.2021.00031

@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 
LibreCat: /record/27841
DOI: 10.1109/ACCESS.2021.3131213

@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 
LibreCat: /record/21238
DOI: 10.18420/SE2021_30 

@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 
LibreCat: /record/16214
DOI: 10.18420/SE2020_36