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 | 44 | 2018 |
Together strong: cooperative Android app analysis F Pauck, H Wehrheim Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 4 | 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 | 3 | 2017 |
Cooperative static analysis of Android applications F Pauck Master’s thesis. Paderborn University, Germany, 2017 | 3 | 2017 |
Generierung von Eigenschaftsprüfern in einem hardware/software-co-verifikationsverfahren F Pauck, H Wehrheim, R Keil Bachelor thesis, Paderborn University, 2014 | 3 | 2014 |
Deriving approximation tolerance constraints from verification runs T Isenberg, MC Jakobs, F Pauck, H Wehrheim arXiv preprint arXiv:1604.08784, 2016 | 1 | 2016 |
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 |
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 |
Operational Transformation and its Relevance in Games F Pauck, P Steffens | | |
Operational Transformation F Pauck, P Steffens | | |