Felix Pauck
Felix Pauck
Paderborn University
Verified email at foellix.de - Homepage
TitleCited byYear
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
112018
Generierung von Eigenschaftsprüfern in einem hardware/software-co-verifikationsverfahren
F Pauck
Bachelor thesis, Paderborn University, 2014
32014
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
22017
Cooperative static analysis of Android applications
F Pauck
Master’s thesis. Paderborn University, Germany, 2017
12017
Deriving approximation tolerance constraints from verification runs
T Isenberg, MC Jakobs, F Pauck, H Wehrheim
arXiv preprint arXiv:1604.08784, 2016
12016
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
Together strong: cooperative Android app analysis
F Pauck, H Wehrheim
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 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
PAndA 2 Final Documentation
A Solanki, A Devarajan, AS Mishra, F Witter, F Pauck, M Wedel, ...
The system can't perform the operation now. Try again later.
Articles 1–9