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
382018
Together strong: cooperative Android app analysis
F Pauck, H Wehrheim
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
42019
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
32017
Cooperative static analysis of Android applications
F Pauck
Master’s thesis. Paderborn University, Germany, 2017
32017
Generierung von Eigenschaftsprüfern in einem hardware/software-co-verifikationsverfahren
F Pauck, H Wehrheim, R Keil
Bachelor thesis, Paderborn University, 2014
32014
Deriving approximation tolerance constraints from verification runs
T Isenberg, MC Jakobs, F Pauck, H Wehrheim
arXiv preprint arXiv:1604.08784, 2016
12016
Reproducing Taint-Analysis Results with ReproDroid
F Pauck, E Bodden, H Wehrheim
Software Engineering 2020, 2020
2020
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
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
2019
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–10