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
862018
Together strong: cooperative android app analysis
F Pauck, H Wehrheim
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
132019
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
102022
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
62017
Cooperative static analysis of Android applications
F Pauck
Master’s thesis, 2017
52017
Jicer: Simplifying Cooperative Android App Analysis Tasks
F Pauck, H Wehrheim
2021 IEEE 21st International Working Conference on Source Code Analysis and …, 2021
32021
Generierung von Eigenschaftsprüfern in einem hardware/software-co-verifikationsverfahren
F Pauck, H Wehrheim, R Keil
Bachelor thesis, Paderborn University, 2014
32014
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
C Richter, J Haltermann, MC Jakobs, F Pauck, S Schott, H Wehrheim
37th IEEE/ACM International Conference on Automated Software Engineering, 1-12, 2022
22022
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
22021
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
22019
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
Benchmark Fuzzing for Android Taint Analyses
S Schott, F Pauck
2022 IEEE 22nd International Working Conference on Source Code Analysis and …, 2022
12022
Deriving approximation tolerance constraints from verification runs
T Isenberg, MC Jakobs, F Pauck, H Wehrheim
arXiv preprint arXiv:1604.08784, 2016
12016
GenBenchDroid: Fuzzing Android Taint Analysis Benchmarks
S Schott, F Pauck
Software Engineering 2023, 2023
2023
Jicer: Slicing Android Apps for Cooperative Analysis
F Pauck, H Wehrheim
Software Engineering 2023, 2023
2023
Variable Misuse Detection: Software Developers versus Neural Bug Detectors
C Richter, J Haltermann, MC Jakobs, F Pauck, S Schott, H Wehrheim
Software Engineering 2023, 2023
2023
Scaling Arbitrary Android App Analyses
F Pauck
37th IEEE/ACM International Conference on Automated Software Engineering, 1-7, 2022
2022
Cooperative Android App Analysis with CoDiDroid
F Pauck, H Wehrheim
Software Engineering 2021, 2021
2021
Reproducing Taint-Analysis Results with ReproDroid
F Pauck, E Bodden, H Wehrheim
Software Engineering 2020, 2020
2020
PAndA 2: Analyzing Permission Use and Interplay in Android Apps (Tool Paper)
MC Jakobs, M Töws, F Pauck
Workshop on Formal and Model-Driven Techniques for Developing Trustworthy …, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20