| Do android taint analysis tools keep their promises? F Pauck, E Bodden, H Wehrheim Proceedings of the 2018 26th ACM joint meeting on european software …, 2018 | 108 | 2018 |
| TaintBench: Automatic real-world malware benchmarking of Android taint analyses L Luo, F Pauck, G Piskachev, M Benz, I Pashchenko, M Mory, E Bodden, ... Empirical Software Engineering 27, 1-41, 2022 | 26 | 2022 |
| Together strong: cooperative android app analysis F Pauck, H Wehrheim Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 20 | 2019 |
| Jicer: Simplifying Cooperative Android App Analysis Tasks F Pauck, H Wehrheim 2021 IEEE 21st International Working Conference on Source Code Analysis and …, 2021 | 8 | 2021 |
| Validity of software verification results on approximate hardware T Isenberg, MC Jakobs, F Pauck, H Wehrheim IEEE Embedded Systems Letters 10 (1), 22-25, 2017 | 7 | 2017 |
| Cooperative static analysis of Android applications F Pauck Master’s thesis, 2017 | 6 | 2017 |
| Software/hardware co-verification for custom instruction set processors MC Jakobs, F Pauck, M Platzner, H Wehrheim, T Wiersema IEEE Access 9, 160559-160579, 2021 | 5 | 2021 |
| Benchmark fuzzing for android taint analyses S Schott, F Pauck 2022 IEEE 22nd International Working Conference on Source Code Analysis and …, 2022 | 4 | 2022 |
| Scaling arbitrary android app analyses F Pauck Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 3 | 2022 |
| Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? C Richter, J Haltermann, MC Jakobs, F Pauck, S Schott, H Wehrheim Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 3 | 2022 |
| Android app merging for benchmark speed-up and analysis lift-up F Pauck, S Zhang 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 3 | 2019 |
| Generierung von Eigenschaftsprüfern in einem hardware/software-co-verifikationsverfahren F Pauck, H Wehrheim, R Keil Bachelor thesis, Paderborn University, 2014 | 3 | 2014 |
| When are software verification results valid for approximate hardware? T Isenberg, MC Jakobs, F Pauck, H Wehrheim Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of …, 2019 | 2 | 2019 |
| Cooperative Android App Analysis F Pauck Softwaretechnik-Trends Band 44, Heft 2, 2024 | 1 | 2024 |
| Genbenchdroid: Fuzzing android taint analysis benchmarks S Schott, F Pauck Gesellschaft für Informatik eV, 2023 | 1 | 2023 |
| Deriving approximation tolerance constraints from verification runs T Isenberg, MC Jakobs, F Pauck, H Wehrheim arXiv preprint arXiv:1604.08784, 2016 | 1 | 2016 |
| Kooperative Android App Analyse F Pauck Ausgezeichnete Informatikdissertationen 2023 (Band 24), 201-210, 2024 | | 2024 |
| Jicer: Slicing Android Apps for Cooperative Analysis F Pauck, H Wehrheim Gesellschaft für Informatik eV, 2023 | | 2023 |
| Variable Misuse Detection: Software Developers versus Neural Bug Detectors C Richter, J Haltermann, MC Jakobs, F Pauck, S Schott, H Wehrheim Gesellschaft für Informatik eV, 2023 | | 2023 |
| Cooperative Android App Analysis with CoDiDroid F Pauck, H Wehrheim Gesellschaft für Informatik eV, 2021 | | 2021 |
Heike WehrheimUniversity of OldenburgVerified email at uni-oldenburg.de
