Felix Pauck

Orcid: 0000-0001-9237-2319

Affiliations:
  • Sonar, Germany


According to our database1, Felix Pauck authored at least 20 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Cooperative Android App Analysis.
Softwaretechnik-Trends, May, 2024

2023
Kooperative Android App Analyse.
Proceedings of the Ausgezeichnete Informatikdissertationen 2023., 2023

Cooperative Android App analysis.
PhD thesis, 2023

GenBenchDroid: Fuzzing Android Taint Analysis Benchmarks.
Proceedings of the Software Engineering 2023, 2023

Variable Misuse Detection: Software Developers versus Neural Bug Detectors.
Proceedings of the Software Engineering 2023, 2023

Jicer: Slicing Android Apps for Cooperative Analysis.
Proceedings of the Software Engineering 2023, 2023

2022
TaintBench: Automatic real-world malware benchmarking of Android taint analyses.
Empir. Softw. Eng., 2022

Benchmark Fuzzing for Android Taint Analyses.
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?
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Scaling Arbitrary Android App Analyses.
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021
Software/Hardware Co-Verification for Custom Instruction Set Processors.
IEEE Access, 2021

Cooperative Android App Analysis with CoDiDroid.
Proceedings of the Software Engineering 2021, 2021

Jicer: Simplifying Cooperative Android App Analysis Tasks.
Proceedings of the 21st IEEE International Working Conference on Source Code Analysis and Manipulation, 2021

2020
Reproducing Taint-Analysis Results with ReproDroid.
Proceedings of the Software Engineering 2020, 2020

2019
When Are Software Verification Results Valid for Approximate Hardware?
Proceedings of the Tests and Proofs - 13th International Conference, 2019

Together strong: cooperative Android app analysis.
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.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019

2018
Validity of Software Verification Results on Approximate Hardware.
IEEE Embed. Syst. Lett., 2018

Do Android taint analysis tools keep their promises?
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.
CoRR, 2016


  Loading...