Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
19 Publications
2023 | Conference Paper | LibreCat-ID: 35426 | 
Richter, Cedric, Jan Frederik Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, and Heike Wehrheim. “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?” In 37th IEEE/ACM International Conference on Automated Software Engineering. ACM, 2023. https://doi.org/10.1145/3551349.3561156.
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 36848
Schott, Stefan, and Felix Pauck. “Benchmark Fuzzing for Android Taint Analyses.” In 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM). IEEE, 2023. https://doi.org/10.1109/scam55253.2022.00007.
LibreCat
| DOI
| Download (ext.)
2023 | Conference Paper | LibreCat-ID: 35427 |
Pauck, Felix. “Scaling Arbitrary Android App Analyses.” In 37th IEEE/ACM International Conference on Automated Software Engineering. ACM, 2023. https://doi.org/10.1145/3551349.3561339.
LibreCat
| DOI
| Download (ext.)
2023 | Dissertation | LibreCat-ID: 43108
Pauck, Felix. Cooperative Android App Analysis. Paderborn University, 2023. https://doi.org/10.17619/UNIPB/1-1698.
LibreCat
| DOI
2023 | Book Chapter | LibreCat-ID: 45888 |
Wehrheim, Heike, Marco Platzner, Eric Bodden, Philipp Schubert, Felix Pauck, and Marie-Christine Jakobs. “Verifying Software and Reconfigurable Hardware Services.” In On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, edited by Claus-Jochen Haake, Friedhelm Meyer auf der Heide, Marco Platzner, Henning Wachsmuth, and Heike Wehrheim, 412:125–44. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023. https://doi.org/10.5281/zenodo.8068583.
LibreCat
| Files available
| DOI