Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Felix Pauck
@phdthesis{DBLP:phd/dnb/Pauck23,
author = {Felix Pauck},
title = {Cooperative Android App analysis},
school = {University of Paderborn, Germany},
year = {2023},
url = {https://nbn-resolving.org/urn:nbn:de:hbz:466:2-44606},
urn = {urn:nbn:de:hbz:466:2-44606},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Pauck23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/PauckW23,
author = {Felix Pauck and
Heike Wehrheim},
editor = {Gregor Engels and
Regina Hebig and
Matthias Tichy},
title = {Jicer: Slicing Android Apps for Cooperative Analysis},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik,
20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {101--102},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40104},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/PauckW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/RichterHJPSW23,
author = {Cedric Richter and
Jan Haltermann and
Marie{-}Christine Jakobs and
Felix Pauck and
Stefan Schott and
Heike Wehrheim},
editor = {Gregor Engels and
Regina Hebig and
Matthias Tichy},
title = {Variable Misuse Detection: Software Developers versus Neural Bug Detectors},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik,
20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {103--104},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40105},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/RichterHJPSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/SchottP23,
author = {Stefan Schott and
Felix Pauck},
editor = {Gregor Engels and
Regina Hebig and
Matthias Tichy},
title = {GenBenchDroid: Fuzzing Android Taint Analysis Benchmarks},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik,
20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {107--108},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40107},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/SchottP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/LuoPPBPMBHM22,
author = {Linghui Luo and
Felix Pauck and
Goran Piskachev and
Manuel Benz and
Ivan Pashchenko and
Martin Mory and
Eric Bodden and
Ben Hermann and
Fabio Massacci},
title = {TaintBench: Automatic real-world malware benchmarking of Android taint
analyses},
journal = {Empir. Softw. Eng.},
volume = {27},
number = {1},
pages = {16},
year = {2022},
url = {https://doi.org/10.1007/s10664-021-10013-5},
doi = {10.1007/S10664-021-10013-5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/LuoPPBPMBHM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RichterHJPSW22,
author = {Cedric Richter and
Jan Haltermann and
Marie{-}Christine Jakobs and
Felix Pauck and
Stefan Schott and
Heike Wehrheim},
title = {Are Neural Bug Detectors Comparable to Software Developers on Variable
Misuse Bugs?},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {9:1--9:12},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3561156},
doi = {10.1145/3551349.3561156},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RichterHJPSW22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Pauck22,
author = {Felix Pauck},
title = {Scaling Arbitrary Android App Analyses},
booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
pages = {204:1--204:7},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3551349.3561339},
doi = {10.1145/3551349.3561339},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Pauck22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/SchottP22,
author = {Stefan Schott and
Felix Pauck},
title = {Benchmark Fuzzing for Android Taint Analyses},
booktitle = {22nd {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2021, Limassol, Cyprus, October 3, 2022},
pages = {12--23},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SCAM55253.2022.00007},
doi = {10.1109/SCAM55253.2022.00007},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/SchottP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/LuoPPBPMB0M22,
author = {Linghui Luo and
Felix Pauck and
Goran Piskachev and
Manuel Benz and
Ivan Pashchenko and
Martin Mory and
Eric Bodden and
Ben Hermann and
Fabio Massacci},
editor = {Lars Grunske and
Janet Siegmund and
Andreas Vogelsang},
title = {TaintBench: Automatic Real-World Malware Benchmarking of Android Taint
Analyses},
booktitle = {Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-25. Februar 2022, Virtuell},
series = {{LNI}},
volume = {{P-320}},
pages = {65--67},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2022},
url = {https://doi.org/10.18420/se2022-ws-020},
doi = {10.18420/SE2022-WS-020},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/LuoPPBPMB0M22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/JakobsPPWW21,
author = {Marie{-}Christine Jakobs and
Felix Pauck and
Marco Platzner and
Heike Wehrheim and
Tobias Wiersema},
title = {Software/Hardware Co-Verification for Custom Instruction Set Processors},
journal = {{IEEE} Access},
volume = {9},
pages = {160559--160579},
year = {2021},
url = {https://doi.org/10.1109/ACCESS.2021.3131213},
doi = {10.1109/ACCESS.2021.3131213},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/JakobsPPWW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/PauckW21,
author = {Felix Pauck and
Heike Wehrheim},
title = {Jicer: Simplifying Cooperative Android App Analysis Tasks},
booktitle = {21st {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2021, Luxembourg, September 27-28, 2021},
pages = {187--197},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SCAM52516.2021.00031},
doi = {10.1109/SCAM52516.2021.00031},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/scam/PauckW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/PauckW21,
author = {Felix Pauck and
Heike Wehrheim},
editor = {Anne Koziolek and
Ina Schaefer and
Christoph Seidl},
title = {Cooperative Android App Analysis with CoDiDroid},
booktitle = {Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik,
22.-26. Februar 2021, Braunschweig/Virtuell},
series = {{LNI}},
volume = {{P-310}},
pages = {83--84},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2021},
url = {https://doi.org/10.18420/SE2021\_30},
doi = {10.18420/SE2021\_30},
timestamp = {Thu, 18 Feb 2021 17:09:52 +0100},
biburl = {https://dblp.org/rec/conf/se/PauckW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/PauckBW20,
author = {Felix Pauck and
Eric Bodden and
Heike Wehrheim},
editor = {Michael Felderer and
Wilhelm Hasselbring and
Rick Rabiser and
Reiner Jung},
title = {Reproducing Taint-Analysis Results with ReproDroid},
booktitle = {Software Engineering 2020, Fachtagung des GI-Fachbereichs Softwaretechnik,
24.-28. Februar 2020, Innsbruck, Austria},
series = {{LNI}},
volume = {{P-300}},
pages = {123--124},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2020},
url = {https://dl.gi.de/handle/20.500.12116/31714},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/PauckBW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PauckZ19,
author = {Felix Pauck and
Shikun Zhang},
title = {Android App Merging for Benchmark Speed-Up and Analysis Lift-Up},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering
Workshops, {ASE} Workshops 2019, San Diego, CA, USA, November 11-15,
2019},
pages = {7--12},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASEW.2019.00019},
doi = {10.1109/ASEW.2019.00019},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/PauckZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PauckW19,
author = {Felix Pauck and
Heike Wehrheim},
editor = {Marlon Dumas and
Dietmar Pfahl and
Sven Apel and
Alessandra Russo},
title = {Together strong: cooperative Android app analysis},
booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019},
pages = {374--384},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3338906.3338915},
doi = {10.1145/3338906.3338915},
timestamp = {Sat, 30 Sep 2023 09:56:36 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/PauckW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/0002JPW19,
author = {Tobias Isenberg and
Marie{-}Christine Jakobs and
Felix Pauck and
Heike Wehrheim},
editor = {Dirk Beyer and
Chantal Keller},
title = {When Are Software Verification Results Valid for Approximate Hardware?},
booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto,
Portugal, October 9-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11823},
pages = {3--20},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31157-5\_1},
doi = {10.1007/978-3-030-31157-5\_1},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/0002JPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/esl/IsenbergJPW18,
author = {Tobias Isenberg and
Marie{-}Christine Jakobs and
Felix Pauck and
Heike Wehrheim},
title = {Validity of Software Verification Results on Approximate Hardware},
journal = {{IEEE} Embed. Syst. Lett.},
volume = {10},
number = {1},
pages = {22--25},
year = {2018},
url = {https://doi.org/10.1109/LES.2017.2758200},
doi = {10.1109/LES.2017.2758200},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/esl/IsenbergJPW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PauckBW18,
author = {Felix Pauck and
Eric Bodden and
Heike Wehrheim},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Do Android taint analysis tools keep their promises?},
booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
Conference and Symposium on the Foundations of Software Engineering,
{ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
2018},
pages = {331--341},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3236029},
doi = {10.1145/3236024.3236029},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/PauckBW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-02903,
author = {Felix Pauck and
Eric Bodden and
Heike Wehrheim},
title = {Do Android Taint Analysis Tools Keep their Promises?},
journal = {CoRR},
volume = {abs/1804.02903},
year = {2018},
url = {http://arxiv.org/abs/1804.02903},
eprinttype = {arXiv},
eprint = {1804.02903},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-02903.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0002JPW16,
author = {Tobias Isenberg and
Marie{-}Christine Jakobs and
Felix Pauck and
Heike Wehrheim},
title = {Deriving approximation tolerance constraints from verification runs},
journal = {CoRR},
volume = {abs/1604.08784},
year = {2016},
url = {http://arxiv.org/abs/1604.08784},
eprinttype = {arXiv},
eprint = {1604.08784},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0002JPW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-21 17:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
