| 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 | 9 | 2018 |
| 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 | 1 | 2017 |
| Deriving approximation tolerance constraints from verification runs T Isenberg, MC Jakobs, F Pauck, H Wehrheim arXiv preprint arXiv:1604.08784, 2016 | 1 | 2016 |
| Together strong: cooperative Android app analysis F Pauck, H Wehrheim Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | | 2019 |