Deriving approximation tolerance constraints from verification runs. - Tobias Isenberg 002; Marie-Christine Jakobs; Felix Pauck; Heike Wehrheim (CoRR, 2016)

Do Android taint analysis tools keep their promises? - Felix Pauck; Eric Bodden; Heike Wehrheim (ESEC/SIGSOFT FSE, 2018)

Validity of Software Verification Results on Approximate Hardware. - Tobias Isenberg 002; Marie-Christine Jakobs; Felix Pauck; Heike Wehrheim (IEEE Embed. Syst. Lett., 2018)

Android App Merging for Benchmark Speed-Up and Analysis Lift-Up. - Felix Pauck; Shikun Zhang (ASE Workshops, 2019)

Together strong: cooperative Android app analysis. - Felix Pauck; Heike Wehrheim (ESEC/SIGSOFT FSE, 2019)

When Are Software Verification Results Valid for Approximate Hardware? - Tobias Isenberg 002; Marie-Christine Jakobs; Felix Pauck; Heike Wehrheim (TAP@FM, 2019)

Reproducing Taint-Analysis Results with ReproDroid. - Felix Pauck; Eric Bodden; Heike Wehrheim (SE, 2020)

Jicer: Simplifying Cooperative Android App Analysis Tasks. - Felix Pauck; Heike Wehrheim (SCAM, 2021)

Cooperative Android App Analysis with CoDiDroid. - Felix Pauck; Heike Wehrheim (Software Engineering, 2021)

Software/Hardware Co-Verification for Custom Instruction Set Processors. - Marie-Christine Jakobs; Felix Pauck; Marco Platzner; Heike Wehrheim; Tobias Wiersema (IEEE Access, 2021)

Scaling Arbitrary Android App Analyses. - Felix Pauck (ASE, 2022)

Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? - Cedric Richter; Jan Haltermann; Marie-Christine Jakobs; Felix Pauck; Stefan Schott; Heike Wehrheim (ASE, 2022)

Benchmark Fuzzing for Android Taint Analyses. - Stefan Schott; Felix Pauck (SCAM, 2022)

TaintBench: Automatic real-world malware benchmarking of Android taint analyses. - Linghui Luo; Felix Pauck; Goran Piskachev; Manuel Benz; Ivan Pashchenko; Martin Mory; Eric Bodden; Ben Hermann; Fabio Massacci (Empir. Softw. Eng., 2022)

Jicer: Slicing Android Apps for Cooperative Analysis. - Felix Pauck; Heike Wehrheim (Software Engineering, 2023)

Variable Misuse Detection: Software Developers versus Neural Bug Detectors. - Cedric Richter; Jan Haltermann; Marie-Christine Jakobs; Felix Pauck; Stefan Schott; Heike Wehrheim (Software Engineering, 2023)

GenBenchDroid: Fuzzing Android Taint Analysis Benchmarks. - Stefan Schott; Felix Pauck (Software Engineering, 2023)

Cooperative Android App analysis. - Felix Pauck (2023)

Kooperative Android App Analyse. - Felix Pauck (Ausgezeichnete Informatikdissertationen, 2023)

Cooperative Android App Analysis. - Felix Pauck (Softwaretechnik-Trends, 2024)