Felix Pauck

According to our database, Felix Pauck authored at least 18 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Cooperative Android App analysis.

Felix Pauck

PhD thesis, 2023

GenBenchDroid: Fuzzing Android Taint Analysis Benchmarks.

Stefan Schott, Felix Pauck

Proceedings of the Software Engineering 2023, 2023

Variable Misuse Detection: Software Developers versus Neural Bug Detectors.

Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim

Proceedings of the Software Engineering 2023, 2023

Jicer: Slicing Android Apps for Cooperative Analysis.

Felix Pauck, Heike Wehrheim

Proceedings of the Software Engineering 2023, 2023

2022

TaintBench: Automatic real-world malware benchmarking of Android taint analyses.

Linghui Luo, Felix Pauck, Goran Piskachev, Manuel Benz, Ivan Pashchenko, Martin Mory, Eric Bodden, Ben Hermann, Fabio Massacci

Empir. Softw. Eng., 2022

Benchmark Fuzzing for Android Taint Analyses.

Stefan Schott, Felix Pauck

Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022

Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?

Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Scaling Arbitrary Android App Analyses.

Felix Pauck

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

Software/Hardware Co-Verification for Custom Instruction Set Processors.

Marie-Christine Jakobs, Felix Pauck, Marco Platzner, Heike Wehrheim, Tobias Wiersema

IEEE Access, 2021

Cooperative Android App Analysis with CoDiDroid.

Felix Pauck, Heike Wehrheim

Proceedings of the Software Engineering 2021, 2021

Jicer: Simplifying Cooperative Android App Analysis Tasks.

Felix Pauck, Heike Wehrheim

Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021

2020

Reproducing Taint-Analysis Results with ReproDroid.

Felix Pauck, Eric Bodden, Heike Wehrheim

Proceedings of the Software Engineering 2020, 2020

2019

When Are Software Verification Results Valid for Approximate Hardware?

Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim

Proceedings of the Tests and Proofs - 13th International Conference, 2019

Together strong: cooperative Android app analysis.

Felix Pauck, Heike Wehrheim

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Android App Merging for Benchmark Speed-Up and Analysis Lift-Up.

Felix Pauck, Shikun Zhang

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019

2018

Validity of Software Verification Results on Approximate Hardware.

Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim

IEEE Embed. Syst. Lett., 2018

Do Android taint analysis tools keep their promises?

Felix Pauck, Eric Bodden, Heike Wehrheim

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

2016

Deriving approximation tolerance constraints from verification runs.

Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim

CoRR, 2016