Felix Pauck

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 20

Top Topics

Statistical Analyses

Instruction Set Architecture

Software Developers

Top Venues

Software Engineering

Publications

Felix Pauck
Cooperative Android App Analysis. Softwaretechnik-Trends 44 (2) (2024)
Felix Pauck, Heike Wehrheim
Jicer: Slicing Android Apps for Cooperative Analysis. Software Engineering (2023)
Stefan Schott, Felix Pauck
GenBenchDroid: Fuzzing Android Taint Analysis Benchmarks. Software Engineering (2023)
Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim
Variable Misuse Detection: Software Developers versus Neural Bug Detectors. Software Engineering (2023)
Linghui Luo, Felix Pauck, Goran Piskachev, Manuel Benz, Ivan Pashchenko, Martin Mory, Eric Bodden, Ben Hermann, Fabio Massacci
TaintBench: Automatic Real-World Malware Benchmarking of Android Taint Analyses. Software Engineering (2022)
Felix Pauck
Scaling Arbitrary Android App Analyses. ASE (2022)
Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? ASE (2022)
Linghui Luo, Felix Pauck, Goran Piskachev, Manuel Benz, Ivan Pashchenko, Martin Mory, Eric Bodden, Ben Hermann, Fabio Massacci
TaintBench: Automatic real-world malware benchmarking of Android taint analyses. Empir. Softw. Eng. 27 (1) (2022)
Stefan Schott, Felix Pauck
Benchmark Fuzzing for Android Taint Analyses. SCAM (2022)
Marie-Christine Jakobs, Felix Pauck, Marco Platzner, Heike Wehrheim, Tobias Wiersema
Software/Hardware Co-Verification for Custom Instruction Set Processors. IEEE Access 9 (2021)
Felix Pauck, Heike Wehrheim
Jicer: Simplifying Cooperative Android App Analysis Tasks. SCAM (2021)
Felix Pauck, Heike Wehrheim
Cooperative Android App Analysis with CoDiDroid. Software Engineering (2021)
Felix Pauck, Eric Bodden, Heike Wehrheim
Reproducing Taint-Analysis Results with ReproDroid. SE (2020)
Felix Pauck, Shikun Zhang
Android App Merging for Benchmark Speed-Up and Analysis Lift-Up. ASE Workshops (2019)
Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim
When Are Software Verification Results Valid for Approximate Hardware? TAP@FM (2019)
Felix Pauck, Heike Wehrheim
Together strong: cooperative Android app analysis. ESEC/SIGSOFT FSE (2019)
Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim
Validity of Software Verification Results on Approximate Hardware. IEEE Embed. Syst. Lett. 10 (1) (2018)
Felix Pauck, Eric Bodden, Heike Wehrheim
Do Android taint analysis tools keep their promises? ESEC/SIGSOFT FSE (2018)
Felix Pauck, Eric Bodden, Heike Wehrheim
Do Android Taint Analysis Tools Keep their Promises? CoRR (2018)
Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim
Deriving approximation tolerance constraints from verification runs. CoRR (2016)