7 Publications

Mark all

[7]
2019 | Conference Paper | LibreCat-ID: 10108
Pauck, F., & Wehrheim, H. (n.d.). Together Strong: Cooperative Android App Analysis. In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (pp. 374–384). https://doi.org/10.1145/3338906.3338915
LibreCat | Files available | DOI
 
[6]
2018 | Conference Paper | LibreCat-ID: 4999
Pauck, F., Bodden, E., & Wehrheim, H. (2018). Do Android taint analysis tools keep their promises? In Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018. ACM Press. https://doi.org/10.1145/3236024.3236029
LibreCat | Files available | DOI
 
[5]
2018 | Preprint | LibreCat-ID: 2711
Pauck, F., Bodden, E., & Wehrheim, H. (2018). Do Android Taint Analysis Tools Keep their Promises? ArXiv:1804.02903.
LibreCat | Files available
 
[4]
2018 | Journal Article | LibreCat-ID: 1043
Isenberg, T., Jakobs, M.-C., Pauck, F., & Wehrheim, H. (2018). Validity of Software Verification Results on Approximate Hardware. IEEE Embedded Systems Letters, 22–25. https://doi.org/10.1109/LES.2017.2758200
LibreCat | Files available | DOI
 
[3]
2017 | Mastersthesis | LibreCat-ID: 109
Pauck, F. (2017). Cooperative static analysis of Android applications. Universität Paderborn.
LibreCat | Files available
 
[2]
2016 | Conference Paper | LibreCat-ID: 170
Jakobs, M.-C., Töws, M., & Pauck, F. (2016). PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper). In T. E. Ishikawa F, Romanovsky A (Ed.), Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems.
LibreCat | Files available
 
[1]
2014 | Bachelorsthesis | LibreCat-ID: 418
Pauck, F. (2014). Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn.
LibreCat | Files available
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed

7 Publications

Mark all

[7]
2019 | Conference Paper | LibreCat-ID: 10108
Pauck, F., & Wehrheim, H. (n.d.). Together Strong: Cooperative Android App Analysis. In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (pp. 374–384). https://doi.org/10.1145/3338906.3338915
LibreCat | Files available | DOI
 
[6]
2018 | Conference Paper | LibreCat-ID: 4999
Pauck, F., Bodden, E., & Wehrheim, H. (2018). Do Android taint analysis tools keep their promises? In Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering  - ESEC/FSE 2018. ACM Press. https://doi.org/10.1145/3236024.3236029
LibreCat | Files available | DOI
 
[5]
2018 | Preprint | LibreCat-ID: 2711
Pauck, F., Bodden, E., & Wehrheim, H. (2018). Do Android Taint Analysis Tools Keep their Promises? ArXiv:1804.02903.
LibreCat | Files available
 
[4]
2018 | Journal Article | LibreCat-ID: 1043
Isenberg, T., Jakobs, M.-C., Pauck, F., & Wehrheim, H. (2018). Validity of Software Verification Results on Approximate Hardware. IEEE Embedded Systems Letters, 22–25. https://doi.org/10.1109/LES.2017.2758200
LibreCat | Files available | DOI
 
[3]
2017 | Mastersthesis | LibreCat-ID: 109
Pauck, F. (2017). Cooperative static analysis of Android applications. Universität Paderborn.
LibreCat | Files available
 
[2]
2016 | Conference Paper | LibreCat-ID: 170
Jakobs, M.-C., Töws, M., & Pauck, F. (2016). PAndA 2 : Analyzing Permission Use and Interplay in Android Apps (Tool Paper). In T. E. Ishikawa F, Romanovsky A (Ed.), Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems.
LibreCat | Files available
 
[1]
2014 | Bachelorsthesis | LibreCat-ID: 418
Pauck, F. (2014). Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren. Universität Paderborn.
LibreCat | Files available
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed