Felix Pauck
Felix Pauck
Paderborn University
Verified email at - Homepage
Cited by
Cited by
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
Together strong: cooperative android app analysis
F Pauck, H Wehrheim
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
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
Cooperative static analysis of Android applications
F Pauck
Master’s thesis, 2017
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), 1-41, 2022
Generierung von Eigenschaftsprüfern in einem hardware/software-co-verifikationsverfahren
F Pauck, H Wehrheim, R Keil
Bachelor thesis, Paderborn University, 2014
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
When are software verification results valid for approximate hardware?
T Isenberg, MC Jakobs, F Pauck, H Wehrheim
International Conference on Tests and Proofs, 3-20, 2019
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
Jicer: Simplifying Cooperative Android App Analysis Tasks
F Pauck, H Wehrheim
2021 IEEE 21st International Working Conference on Source Code Analysis and …, 2021
Deriving approximation tolerance constraints from verification runs
T Isenberg, MC Jakobs, F Pauck, H Wehrheim
arXiv preprint arXiv:1604.08784, 2016
Cooperative Android App Analysis with CoDiDroid
F Pauck, H Wehrheim
Software Engineering 2021, 2021
Reproducing Taint-Analysis Results with ReproDroid
F Pauck, E Bodden, H Wehrheim
Software Engineering 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
Operational Transformation and its Relevance in Games
F Pauck, P Steffens
Operational Transformation
F Pauck, P Steffens
The system can't perform the operation now. Try again later.
Articles 1–16