Felix Pauck

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