Follow
Felix Pauck
Felix Pauck
Paderborn University
Verified email at foellix.de - Homepage
Title
Cited by
Cited by
Year
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
1022018
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
212022
Together strong: cooperative android app analysis
F Pauck, H Wehrheim
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
202019
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
72017
Cooperative static analysis of Android applications
F Pauck
Master’s thesis, 2017
62017
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
52021
Jicer: Simplifying Cooperative Android App Analysis Tasks
F Pauck, H Wehrheim
2021 IEEE 21st International Working Conference on Source Code Analysis and …, 2021
52021
Benchmark fuzzing for android taint analyses
S Schott, F Pauck
2022 IEEE 22nd International Working Conference on Source Code Analysis and …, 2022
42022
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
32022
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
32019
Generierung von Eigenschaftsprüfern in einem hardware/software-co-verifikationsverfahren
F Pauck, H Wehrheim, R Keil
Bachelor thesis, Paderborn University, 2014
32014
Scaling Arbitrary Android App Analyses
F Pauck
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
22022
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
22019
GenBenchDroid: Fuzzing Android Taint Analysis Benchmarks
S Schott, F Pauck
Gesellschaft für Informatik eV, 2023
12023
Deriving approximation tolerance constraints from verification runs
T Isenberg, MC Jakobs, F Pauck, H Wehrheim
arXiv preprint arXiv:1604.08784, 2016
12016
Cooperative Android App Analysis
F Pauck
University of Paderborn, Germany, 2023
2023
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
Reproducing Taint-Analysis Results with ReproDroid
F Pauck, E Bodden, H Wehrheim
Gesellschaft für Informatik eV, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20