default search action

combined dblp search
author search
venue search
publication search

ask others

Felix Pauck

> Home > Persons

Person information

affiliation: Sonar, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2023
[b1]
- view
  - electronic edition @ nbn-resolving.org
  - no references & citations available
  authority control:
- export record
  dblp key:
  - phd/dnb/Pauck23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Pauck23
Felix Pauck:
Cooperative Android App analysis. University of Paderborn, Germany, 2023

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j4]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/stt/Pauck24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stt/Pauck24
Felix Pauck:
Cooperative Android App Analysis. Softwaretechnik-Trends 44(2): 72-73 (2024)
2022
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/LuoPPBPMBHM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/LuoPPBPMBHM22
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): 16 (2022)
2021
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/JakobsPPWW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/JakobsPPWW21
Marie-Christine Jakobs, Felix Pauck, Marco Platzner, Heike Wehrheim, Tobias Wiersema:
Software/Hardware Co-Verification for Custom Instruction Set Processors. IEEE Access 9: 160559-160579 (2021)
2018
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/esl/IsenbergJPW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/esl/IsenbergJPW18
Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim:
Validity of Software Verification Results on Approximate Hardware. IEEE Embed. Syst. Lett. 10(1): 22-25 (2018)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c14]
- view
  - electronic edition @ gi.de
  - no references & citations available
- export record
  dblp key:
  - conf/se/PauckW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/PauckW23
Felix Pauck, Heike Wehrheim:
Jicer: Slicing Android Apps for Cooperative Analysis. Software Engineering 2023: 101-102
[c13]
- view
  - electronic edition @ gi.de
  - no references & citations available
- export record
  dblp key:
  - conf/se/RichterHJPSW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/RichterHJPSW23
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: 103-104
[c12]
- view
  - electronic edition @ gi.de
  - no references & citations available
- export record
  dblp key:
  - conf/se/SchottP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/SchottP23
Stefan Schott, Felix Pauck:
GenBenchDroid: Fuzzing Android Taint Analysis Benchmarks. Software Engineering 2023: 107-108
2022
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/RichterHJPSW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/RichterHJPSW22
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: 9:1-9:12
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/Pauck22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/Pauck22
Felix Pauck:
Scaling Arbitrary Android App Analyses. ASE 2022: 204:1-204:7
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/SchottP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/SchottP22
Stefan Schott, Felix Pauck:
Benchmark Fuzzing for Android Taint Analyses. SCAM 2022: 12-23
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/se/LuoPPBPMB0M22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/LuoPPBPMB0M22
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: 65-67
2021
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/scam/PauckW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scam/PauckW21
Felix Pauck, Heike Wehrheim:
Jicer: Simplifying Cooperative Android App Analysis Tasks. SCAM 2021: 187-197
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/se/PauckW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/PauckW21
Felix Pauck, Heike Wehrheim:
Cooperative Android App Analysis with CoDiDroid. Software Engineering 2021: 83-84
2020
[c5]
- view
  - electronic edition @ gi.de
  - no references & citations available
- export record
  dblp key:
  - conf/se/PauckBW20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/PauckBW20
Felix Pauck, Eric Bodden, Heike Wehrheim:
Reproducing Taint-Analysis Results with ReproDroid. SE 2020: 123-124
2019
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/PauckZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/PauckZ19
Felix Pauck, Shikun Zhang:
Android App Merging for Benchmark Speed-Up and Analysis Lift-Up. ASE Workshops 2019: 7-12
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/PauckW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/PauckW19
Felix Pauck, Heike Wehrheim:
Together strong: cooperative Android app analysis. ESEC/SIGSOFT FSE 2019: 374-384
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/0002JPW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/0002JPW19
Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim:
When Are Software Verification Results Valid for Approximate Hardware? TAP@FM 2019: 3-20
2018
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/PauckBW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/PauckBW18
Felix Pauck, Eric Bodden, Heike Wehrheim:
Do Android taint analysis tools keep their promises? ESEC/SIGSOFT FSE 2018: 331-341

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2018
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1804-02903
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-02903
Felix Pauck, Eric Bodden, Heike Wehrheim:
Do Android Taint Analysis Tools Keep their Promises? CoRR abs/1804.02903 (2018)
2016
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/0002JPW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/0002JPW16
Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck, Heike Wehrheim:
Deriving approximation tolerance constraints from verification runs. CoRR abs/1604.08784 (2016)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.