Felix Pauck
I am a PhD student in the Specification and Modelling of Software Systems research group at the Paderborn University in Germany. My research focuses on cooperative (static and dynamic) Android app analysis.

Research Projects

ReproDroidReproDroid, the Android Benchmark Reproduction Framework, is a framework which can be used to create, refine and execute reproducible benchmarks for Android app analysis tools. All details are available on github: https://github.com/FoelliX/ReproDroid

AQL-SystemThe Android App Analysis Query Language (AQL) consists of two main parts, namely AQL-Queries and AQL-Answers. AQL-Queries enable us to ask for Android specific analysis subjects in a general, tool independent way. More information and the associated AQL-System can be found on github: https://github.com/FoelliX/AQL-System
Publications
(Generated from: RIS, Also on: DBLP, Google Scholar)
Recent Activities
  • 2019:
    • Software Engineering Forschungsmethoden Training at Schloss Dagstuhl in Wadern, Germany (Link 1, Link 2)

  • 2018:
    • Presented the paper "Do Android taint analysis tools keep their promises?" at ESEC/FSE 2018 in Orlando, Florida (Link)
    • Participated in the ROSE Festival at ESEC/FSE 2018 in Orlando, Florida (Link)
Recent Teaching Activities
  • Currently:
    • Project Group: BANANA (Link)

  • 2018/19:
    • Modeling (Link)
    • Seminar:
      Android App Analysis (Link)

  • 2017/18:
    • Software Analysis (Link)
Student Projects

A3Student project (Master): Android App Analysis (Project Group)
One part of the masters program at the paderborn university is to participate in a project group. In such a group 5 to 10 students will develop over 1 year a piece of software together. In case of the A³ project group it is an Android App Analysis tool. We started in the summer term of 2015 and finished in the winter term 2015/16. In this period of time 9 poeple have been working together and the result is PAndA².
A3Student project (Bachelor): BierPool BattleProgrammers