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
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
The system can't perform the operation now. Try again later.
Articles 1–6