default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Eric Bodden
@article{DBLP:journals/darts/SchottPFKB24,
author = {Stefan Schott and
Serena Elisa Ponta and
Wolfram Fischer and
Jonas Klauke and
Eric Bodden},
title = {Java Bytecode Normalization for Code Similarity Analysis (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {10},
number = {2},
pages = {20:1--20:3},
year = {2024},
url = {https://doi.org/10.4230/DARTS.10.2.20},
doi = {10.4230/DARTS.10.2.20},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SchottPFKB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/VenkateshSCWLB24,
author = {Ashwin Prasad Shivarpatna Venkatesh and
Samkutty Sabu and
Mouli Chekkapalli and
Jiawei Wang and
Li Li and
Eric Bodden},
title = {Static analysis driven enhancements for comprehension in machine learning
notebooks},
journal = {Empir. Softw. Eng.},
volume = {29},
number = {5},
pages = {136},
year = {2024},
url = {https://doi.org/10.1007/s10664-024-10525-w},
doi = {10.1007/S10664-024-10525-W},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/VenkateshSCWLB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/BoddenPFG24,
author = {Eric Bodden and
Jens Pottebaum and
Markus Fockel and
Iris Gr{\"{a}}{\ss}ler},
title = {Evaluating Security Through Isolation and Defense in Depth},
journal = {{IEEE} Secur. Priv.},
volume = {22},
number = {1},
pages = {69--72},
year = {2024},
url = {https://doi.org/10.1109/MSEC.2023.3336028},
doi = {10.1109/MSEC.2023.3336028},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieeesp/BoddenPFG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/BoddenAFHHR24,
author = {Eric Bodden and
Yasemin Acar and
Michael Felderer and
Wilhelm Hasselbring and
Paula Herber and
Bernhard Rumpe},
title = {Ernst Denert Preis 2023},
journal = {Softwaretechnik-Trends},
volume = {44},
number = {2},
pages = {55},
year = {2024},
url = {https://fb-swt.gi.de/fileadmin/FB/SWT/Softwaretechnik-Trends/Verzeichnis/Band\_44\_Heft\_2/Denert2023\_0\_Bodden.pdf},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/BoddenAFHHR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SchiebelSSAB24,
author = {Fabian Schiebel and
Florian Sattler and
Philipp Dominik Schubert and
Sven Apel and
Eric Bodden},
editor = {Jonathan Aldrich and
Guido Salvaneschi},
title = {Scaling Interprocedural Static Data-Flow Analysis to Large {C/C++}
Applications: An Experience Report},
booktitle = {38th European Conference on Object-Oriented Programming, {ECOOP} 2024,
September 16-20, 2024, Vienna, Austria},
series = {LIPIcs},
volume = {313},
pages = {36:1--36:28},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2024.36},
doi = {10.4230/LIPICS.ECOOP.2024.36},
timestamp = {Thu, 12 Sep 2024 13:29:32 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SchiebelSSAB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SchottPFKB24,
author = {Stefan Schott and
Serena Elisa Ponta and
Wolfram Fischer and
Jonas Klauke and
Eric Bodden},
editor = {Jonathan Aldrich and
Guido Salvaneschi},
title = {Java Bytecode Normalization for Code Similarity Analysis},
booktitle = {38th European Conference on Object-Oriented Programming, {ECOOP} 2024,
September 16-20, 2024, Vienna, Austria},
series = {LIPIcs},
volume = {313},
pages = {37:1--37:29},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2024.37},
doi = {10.4230/LIPICS.ECOOP.2024.37},
timestamp = {Thu, 12 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SchottPFKB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forge/VenkateshSMRB24,
author = {Ashwin Prasad Shivarpatna Venkatesh and
Samkutty Sabu and
Amir M. Mir and
Sofia Reis and
Eric Bodden},
editor = {David Lo and
Xin Xia and
Massimiliano Di Penta and
Xing Hu},
title = {The Emergence of Large Language Models in Static Analysis: {A} First
Look through Micro-Benchmarks},
booktitle = {Proceedings of the 2024 {IEEE/ACM} First International Conference
on {AI} Foundation Models and Software Engineering, {FORGE} 2024,
Lisbon, Portugal, 14 April 2024},
pages = {35--39},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3650105.3652288},
doi = {10.1145/3650105.3652288},
timestamp = {Fri, 02 Aug 2024 15:50:42 +0200},
biburl = {https://dblp.org/rec/conf/forge/VenkateshSMRB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/VenkateshS0M0B24,
author = {Ashwin Prasad Shivarpatna Venkatesh and
Samkutty Sabu and
Jiawei Wang and
Amir M. Mir and
Li Li and
Eric Bodden},
title = {TypeEvalPy: {A} Micro-benchmarking Framework for Python Type Inference
Tools},
booktitle = {Proceedings of the 2024 {IEEE/ACM} 46th International Conference on
Software Engineering: Companion Proceedings, {ICSE} Companion 2024,
Lisbon, Portugal, April 14-20, 2024},
pages = {49--53},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3639478.3640033},
doi = {10.1145/3639478.3640033},
timestamp = {Fri, 31 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/VenkateshS0M0B24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KarakayaB24,
author = {Kadiray Karakaya and
Eric Bodden},
title = {Symbol-Specific Sparsification of Interprocedural Distributive Environment
Problems},
booktitle = {Proceedings of the 46th {IEEE/ACM} International Conference on Software
Engineering, {ICSE} 2024, Lisbon, Portugal, April 14-20, 2024},
pages = {104:1--104:12},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3597503.3639092},
doi = {10.1145/3597503.3639092},
timestamp = {Mon, 24 Jun 2024 15:20:25 +0200},
biburl = {https://dblp.org/rec/conf/icse/KarakayaB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobilesoft/KhedkarB24,
author = {Mugdha Khedkar and
Eric Bodden},
editor = {Denys Poshyvanyk and
Gemma Catolino and
Julia Rubin and
Wing Lam},
title = {Toward an Android Static Analysis Approach for Data Protection},
booktitle = {Proceedings of the {IEEE/ACM} 11th International Conference on Mobile
Software Engineering and Systems, MOBILESoft 2024, Lisbon, Portugal,
April 14-15, 2024},
pages = {65--68},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3647632.3651389},
doi = {10.1145/3647632.3651389},
timestamp = {Mon, 24 Jun 2024 15:20:25 +0200},
biburl = {https://dblp.org/rec/conf/mobilesoft/KhedkarB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/Dann0B24,
author = {Andreas Dann and
Ben Hermann and
Eric Bodden},
editor = {Rick Rabiser and
Manuel Wimmer and
Iris Groher and
Andreas Wortmann and
Bianca Wiesmayr},
title = {UpCy: Safely Updating Outdated Dependencies (Summary)},
booktitle = {Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik,
Linz, Austria, February 26 - March 1, 2024},
series = {{LNI}},
volume = {{P-343}},
pages = {115--116},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2024},
url = {https://doi.org/10.18420/sw2024\_36},
doi = {10.18420/SW2024\_36},
timestamp = {Mon, 11 Mar 2024 16:51:10 +0100},
biburl = {https://dblp.org/rec/conf/se/Dann0B24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KarakayaB24,
author = {Kadiray Karakaya and
Eric Bodden},
editor = {Rick Rabiser and
Manuel Wimmer and
Iris Groher and
Andreas Wortmann and
Bianca Wiesmayr},
title = {Two Sparsification Strategies for Accelerating Demand-Driven Pointer
Analysis},
booktitle = {Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik,
Linz, Austria, February 26 - March 1, 2024},
series = {{LNI}},
volume = {{P-343}},
pages = {159--160},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2024},
url = {https://doi.org/10.18420/sw2024\_53},
doi = {10.18420/SW2024\_53},
timestamp = {Mon, 11 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/KarakayaB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KarakayaSKBSLH24,
author = {Kadiray Karakaya and
Stefan Schott and
Jonas Klauke and
Eric Bodden and
Markus Schmidt and
Linghui Luo and
Dongjie He},
editor = {Bernd Finkbeiner and
Laura Kov{\'{a}}cs},
title = {SootUp: {A} Redesign of the Soot Static Analysis Framework},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 30th International Conference, {TACAS} 2024, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14570},
pages = {229--247},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57246-3\_13},
doi = {10.1007/978-3-031-57246-3\_13},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KarakayaSKBSLH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/WickertSVWMB24,
author = {Anna{-}Katharina Wickert and
Michael Schlichtig and
Marvin Vogel and
Lukas Winter and
Mira Mezini and
Eric Bodden},
title = {Supporting Error Chains in Static Analysis for Precise Evaluation
Results and Enhanced Usability},
booktitle = {{IEEE} International Conference on Software Analysis, Evolution and
Reengineering, {SANER} 2024, Rovaniemi, Finland, March 12-15, 2024},
pages = {693--704},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/SANER60148.2024.00076},
doi = {10.1109/SANER60148.2024.00076},
timestamp = {Tue, 30 Jul 2024 11:08:59 +0200},
biburl = {https://dblp.org/rec/conf/wcre/WickertSVWMB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-14813,
author = {Kadiray Karakaya and
Eric Bodden},
title = {Symbol-Specific Sparsification of Interprocedural Distributive Environment
Problems},
journal = {CoRR},
volume = {abs/2401.14813},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.14813},
doi = {10.48550/ARXIV.2401.14813},
eprinttype = {arXiv},
eprint = {2401.14813},
timestamp = {Tue, 06 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-14813.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-07889,
author = {Mugdha Khedkar and
Eric Bodden},
title = {Toward an Android Static Analysis Approach for Data Protection},
journal = {CoRR},
volume = {abs/2402.07889},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.07889},
doi = {10.48550/ARXIV.2402.07889},
eprinttype = {arXiv},
eprint = {2402.07889},
timestamp = {Mon, 19 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-07889.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-17679,
author = {Ashwin Prasad Shivarpatna Venkatesh and
Samkutty Sabu and
Amir M. Mir and
Sofia Reis and
Eric Bodden},
title = {The Emergence of Large Language Models in Static Analysis: {A} First
Look through Micro-Benchmarks},
journal = {CoRR},
volume = {abs/2402.17679},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.17679},
doi = {10.48550/ARXIV.2402.17679},
eprinttype = {arXiv},
eprint = {2402.17679},
timestamp = {Mon, 25 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-17679.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-07501,
author = {Oshando Johnson and
Goran Piskachev and
Ranjith Krishnamurthy and
Eric Bodden},
title = {Detecting Security-Relevant Methods using Multi-label Machine Learning},
journal = {CoRR},
volume = {abs/2403.07501},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.07501},
doi = {10.48550/ARXIV.2403.07501},
eprinttype = {arXiv},
eprint = {2403.07501},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-07501.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-07808,
author = {Anna{-}Katharina Wickert and
Michael Schlichtig and
Marvin Vogel and
Lukas Winter and
Mira Mezini and
Eric Bodden},
title = {Supporting Error Chains in Static Analysis for Precise Evaluation
Results and Enhanced Usability},
journal = {CoRR},
volume = {abs/2403.07808},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.07808},
doi = {10.48550/ARXIV.2403.07808},
eprinttype = {arXiv},
eprint = {2403.07808},
timestamp = {Thu, 04 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-07808.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2407-17853,
author = {Stefan Schott and
Wolfram Fischer and
Serena Elisa Ponta and
Jonas Klauke and
Eric Bodden},
title = {Compilation of Commit Changes within Java Source Code Repositories},
journal = {CoRR},
volume = {abs/2407.17853},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2407.17853},
doi = {10.48550/ARXIV.2407.17853},
eprinttype = {arXiv},
eprint = {2407.17853},
timestamp = {Sat, 24 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2407-17853.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/PiskachevBB23,
author = {Goran Piskachev and
Matthias Becker and
Eric Bodden},
title = {Can the configuration of static analyses make resolving security vulnerabilities
more effective? - {A} user study},
journal = {Empir. Softw. Eng.},
volume = {28},
number = {5},
pages = {118},
year = {2023},
url = {https://doi.org/10.1007/s10664-023-10354-3},
doi = {10.1007/S10664-023-10354-3},
timestamp = {Wed, 01 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ese/PiskachevBB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/SayarBBT23,
author = {Imen Sayar and
Alexandre Bartel and
Eric Bodden and
Yves Le Traon},
title = {An In-depth Study of Java Deserialization Remote-Code Execution Exploits
and Vulnerabilities},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {32},
number = {1},
pages = {25:1--25:45},
year = {2023},
url = {https://doi.org/10.1145/3554732},
doi = {10.1145/3554732},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/SayarBBT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TorresCAPBdLBC23,
author = {Adriano Torres and
Pedro Henrique Teixeira Costa and
Luis Henrique Vieira Amaral and
Jonata Pastro and
Rodrigo Bonif{\'{a}}cio and
Marcelo d'Amorim and
Owolabi Legunsen and
Eric Bodden and
Edna Dias Canedo},
title = {Runtime Verification of Crypto APIs: An Empirical Study},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {10},
pages = {4510--4525},
year = {2023},
url = {https://doi.org/10.1109/TSE.2023.3301660},
doi = {10.1109/TSE.2023.3301660},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/TorresCAPBdLBC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosp/PottebaumRSAFCBG23,
author = {Jens Pottebaum and
Jost Rossel and
Juraj Somorovsky and
Yasemin Acar and
Ren{\'{e}} Fahr and
Patricia Arias Cabarcos and
Eric Bodden and
Iris Gr{\"{a}}{\ss}ler},
title = {Re-Envisioning Industrial Control Systems Security by Considering
Human Factors as a Core Element of Defense-in-Depth},
booktitle = {{IEEE} European Symposium on Security and Privacy, EuroS{\&}P
2023 - Workshops, Delft, Netherlands, July 3-7, 2023},
pages = {379--385},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/EuroSPW59978.2023.00048},
doi = {10.1109/EUROSPW59978.2023.00048},
timestamp = {Mon, 07 Aug 2023 15:56:24 +0200},
biburl = {https://dblp.org/rec/conf/eurosp/PottebaumRSAFCBG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DannHB23,
author = {Andreas Dann and
Ben Hermann and
Eric Bodden},
title = {{UPCY:} Safely Updating Outdated Dependencies},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2023, Melbourne, Australia, May 14-20, 2023},
pages = {233--244},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE48619.2023.00031},
doi = {10.1109/ICSE48619.2023.00031},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/DannHB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LuoPKDBS23,
author = {Linghui Luo and
Goran Piskachev and
Ranjith Krishnamurthy and
Julian Dolby and
Eric Bodden and
Martin Sch{\"{a}}f},
title = {Model Generation For Java Frameworks},
booktitle = {{IEEE} Conference on Software Testing, Verification and Validation,
{ICST} 2023, Dublin, Ireland, April 16-20, 2023},
pages = {165--175},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICST57152.2023.00024},
doi = {10.1109/ICST57152.2023.00024},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/LuoPKDBS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/KarakayaB23,
author = {Kadiray Karakaya and
Eric Bodden},
title = {Two Sparsification Strategies for Accelerating Demand-Driven Pointer
Analysis},
booktitle = {{IEEE} Conference on Software Testing, Verification and Validation,
{ICST} 2023, Dublin, Ireland, April 16-20, 2023},
pages = {305--316},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICST57152.2023.00036},
doi = {10.1109/ICST57152.2023.00036},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KarakayaB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/NachtigallSB23,
author = {Marcus Nachtigall and
Michael Schlichtig and
Eric Bodden},
editor = {Gregor Engels and
Regina Hebig and
Matthias Tichy},
title = {Evaluation of Usability Criteria Addressed by Static Analysis Tools
on a Large Scale},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik,
20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {95--96},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40100},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/NachtigallSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/SchlichtigSNB23,
author = {Michael Schlichtig and
Steffen Sassalla and
Krishna Narasimhan and
Eric Bodden},
editor = {Gregor Engels and
Regina Hebig and
Matthias Tichy},
title = {Introducing {FUM:} {A} Framework for {API} Usage Constraint and Misuse
Classification},
booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik,
20.-24. Februar 2023, Paderborn},
series = {{LNI}},
volume = {{P-332}},
pages = {105--106},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2023},
url = {https://dl.gi.de/handle/20.500.12116/40106},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/SchlichtigSNB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/secdev/KrugerRWNABAMF23,
author = {Stefan Kr{\"{u}}ger and
Michael Reif and
Anna{-}Katharina Wickert and
Sarah Nadi and
Karim Ali and
Eric Bodden and
Yasemin Acar and
Mira Mezini and
Sascha Fahl},
title = {Securing Your Crypto-API Usage Through Tool Support - {A} Usability
Study},
booktitle = {{IEEE} Secure Development Conference, SecDev 2023, Atlanta, GA, USA,
October 18-20, 2023},
pages = {14--25},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SecDev56634.2023.00015},
doi = {10.1109/SECDEV56634.2023.00015},
timestamp = {Tue, 21 Nov 2023 22:37:15 +0100},
biburl = {https://dblp.org/rec/conf/secdev/KrugerRWNABAMF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/VenkateshWLB23,
author = {Ashwin Prasad Shivarpatna Venkatesh and
Jiawei Wang and
Li Li and
Eric Bodden},
editor = {Tao Zhang and
Xin Xia and
Nicole Novielli},
title = {Enhancing Comprehension and Navigation in Jupyter Notebooks with Static
Analysis},
booktitle = {{IEEE} International Conference on Software Analysis, Evolution and
Reengineering, {SANER} 2023, Taipa, Macao, March 21-24, 2023},
pages = {391--401},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SANER56733.2023.00044},
doi = {10.1109/SANER56733.2023.00044},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/VenkateshWLB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-04419,
author = {Ashwin Prasad Shivarpatna Venkatesh and
Jiawei Wang and
Li Li and
Eric Bodden},
title = {Enhancing Comprehension and Navigation in Jupyter Notebooks with Static
Analysis},
journal = {CoRR},
volume = {abs/2301.04419},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.04419},
doi = {10.48550/ARXIV.2301.04419},
eprinttype = {arXiv},
eprint = {2301.04419},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-04419.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-06758,
author = {Mohannad Alhanahnah and
Philipp Dominik Schubert and
Thomas W. Reps and
Somesh Jha and
Eric Bodden},
title = {slash: {A} Technique for Static Configuration-Logic Identification},
journal = {CoRR},
volume = {abs/2310.06758},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.06758},
doi = {10.48550/ARXIV.2310.06758},
eprinttype = {arXiv},
eprint = {2310.06758},
timestamp = {Tue, 24 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-06758.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-16882,
author = {Ashwin Prasad Shivarpatna Venkatesh and
Samkutty Sabu and
Jiawei Wang and
Amir M. Mir and
Li Li and
Eric Bodden},
title = {TypeEvalPy: {A} Micro-benchmarking Framework for Python Type Inference
Tools},
journal = {CoRR},
volume = {abs/2312.16882},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.16882},
doi = {10.48550/ARXIV.2312.16882},
eprinttype = {arXiv},
eprint = {2312.16882},
timestamp = {Mon, 22 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-16882.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BoddenWW23,
author = {Eric Bodden and
Sam Weber and
Laurie A. Williams},
title = {Empirical Evaluation of Secure Development Processes (Dagstuhl Seminar
23181)},
journal = {Dagstuhl Reports},
volume = {13},
number = {5},
pages = {1--21},
year = {2023},
url = {https://doi.org/10.4230/DagRep.13.5.1},
doi = {10.4230/DAGREP.13.5.1},
timestamp = {Thu, 14 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dagstuhl-reports/BoddenWW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/SchubertGPBSHWB22,
author = {Philipp Dominik Schubert and
Paul Gazzillo and
Zach Patterson and
Julian Braha and
Fabian Schiebel and
Ben Hermann and
Shiyi Wei and
Eric Bodden},
title = {Static data-flow analysis for software product lines in {C}},
journal = {Autom. Softw. Eng.},
volume = {29},
number = {1},
pages = {35},
year = {2022},
url = {https://doi.org/10.1007/s10515-022-00333-1},
doi = {10.1007/S10515-022-00333-1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/SchubertGPBSHWB22.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}
}
@article{DBLP:journals/ese/PiskachevSBB22,
author = {Goran Piskachev and
Johannes Sp{\"{a}}th and
Ingo Budde and
Eric Bodden},
title = {Fluently specifying taint-flow queries with fluentTQL},
journal = {Empir. Softw. Eng.},
volume = {27},
number = {5},
pages = {104},
year = {2022},
url = {https://doi.org/10.1007/s10664-022-10165-y},
doi = {10.1007/S10664-022-10165-Y},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ese/PiskachevSBB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/ShostackMBS22,
author = {Adam Shostack and
Fabio Massacci and
Eric Bodden and
Antonino Sabetta},
title = {25 Years in Application Security: Looking Back, Looking Forward},
journal = {{IEEE} Secur. Priv.},
volume = {20},
number = {1},
pages = {109--112},
year = {2022},
url = {https://doi.org/10.1109/MSEC.2021.3127961},
doi = {10.1109/MSEC.2021.3127961},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieeesp/ShostackMBS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/MassacciSMMOMRB22,
author = {Fabio Massacci and
Antonino Sabetta and
Jelena Mirkovic and
Toby Murray and
Hamed Okhravi and
Mohammad Mannan and
Anderson Rocha and
Eric Bodden and
Daniel E. Geer},
title = {"Free" as in Freedom to Protest?},
journal = {{IEEE} Secur. Priv.},
volume = {20},
number = {5},
pages = {16--21},
year = {2022},
url = {https://doi.org/10.1109/MSEC.2022.3185845},
doi = {10.1109/MSEC.2022.3185845},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieeesp/MassacciSMMOMRB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/FischerFKJKB22,
author = {Andreas Fischer and
Benny Fuhry and
J{\"{o}}rn Ku{\ss}maul and
Jonas Janneck and
Florian Kerschbaum and
Eric Bodden},
title = {Computation on Encrypted Data Using Dataflow Authentication},
journal = {{ACM} Trans. Priv. Secur.},
volume = {25},
number = {3},
pages = {21:1--21:36},
year = {2022},
url = {https://doi.org/10.1145/3513005},
doi = {10.1145/3513005},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tissec/FischerFKJKB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DoB22,
author = {Lisa Nguyen Quang Do and
Eric Bodden},
title = {Explaining Static Analysis With Rule Graphs},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {2},
pages = {678--690},
year = {2022},
url = {https://doi.org/10.1109/TSE.2020.2999534},
doi = {10.1109/TSE.2020.2999534},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/DoB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DannPHPB22,
author = {Andreas Dann and
Henrik Plate and
Ben Hermann and
Serena Elisa Ponta and
Eric Bodden},
title = {Identifying Challenges for {OSS} Vulnerability Scanners - {A} Study
{\&} Test Suite},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {9},
pages = {3613--3625},
year = {2022},
url = {https://doi.org/10.1109/TSE.2021.3101739},
doi = {10.1109/TSE.2021.3101739},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DannPHPB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/NachtigallSB22,
author = {Marcus Nachtigall and
Michael Schlichtig and
Eric Bodden},
editor = {Sukyoung Ryu and
Yannis Smaragdakis},
title = {A large-scale study of usability criteria addressed by static analysis
tools},
booktitle = {{ISSTA} '22: 31st {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022},
pages = {532--543},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3533767.3534374},
doi = {10.1145/3533767.3534374},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/NachtigallSB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/KochTDB22,
author = {Thorsten Koch and
Sascha Trippel and
Stefan Dziwok and
Eric Bodden},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Edwin Seidewitz},
title = {Integrating Security Protocols in Scenario-based Requirements Specifications},
booktitle = {Proceedings of the 10th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2022, Online Streaming, February
6-8, 2022},
pages = {15--25},
publisher = {{SCITEPRESS}},
year = {2022},
url = {https://doi.org/10.5220/0010783300003119},
doi = {10.5220/0010783300003119},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/KochTDB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/KrishnamurthyPB22,
author = {Ranjith Krishnamurthy and
Goran Piskachev and
Eric Bodden},
title = {To what extent can we analyze Kotlin programs using existing Java
taint analysis tools?},
booktitle = {22nd {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2021, Limassol, Cyprus, October 3, 2022},
pages = {230--235},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SCAM55253.2022.00032},
doi = {10.1109/SCAM55253.2022.00032},
timestamp = {Mon, 23 Jan 2023 22:18:07 +0100},
biburl = {https://dblp.org/rec/conf/scam/KrishnamurthyPB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/DannP0PB22,
author = {Andreas Dann and
Henrik Plate and
Ben Hermann and
Serena Elisa Ponta and
Eric Bodden},
editor = {Lars Grunske and
Janet Siegmund and
Andreas Vogelsang},
title = {Identifying Challenges for {OSS} Vulnerability Scanners - {A} Study
{\&} Test Suite (Short Summary)},
booktitle = {Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-25. Februar 2022, Virtuell},
series = {{LNI}},
volume = {{P-320}},
pages = {21--23},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2022},
url = {https://doi.org/10.18420/se2022-ws-003},
doi = {10.18420/SE2022-WS-003},
timestamp = {Fri, 21 Jan 2022 16:00:25 +0100},
biburl = {https://dblp.org/rec/conf/se/DannP0PB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/LuoB22,
author = {Linghui Luo and
Eric Bodden},
editor = {Lars Grunske and
Janet Siegmund and
Andreas Vogelsang},
title = {{IDE} Support for Cloud-Based Static Analyses},
booktitle = {Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-25. Februar 2022, Virtuell},
series = {{LNI}},
volume = {{P-320}},
pages = {61--63},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2022},
url = {https://doi.org/10.18420/se2022-ws-019},
doi = {10.18420/SE2022-WS-019},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/LuoB22.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}
}
@inproceedings{DBLP:conf/secdev/PiskachevDKMB22,
author = {Goran Piskachev and
Stefan Dziwok and
Thorsten Koch and
Sven Merschjohann and
Eric Bodden},
title = {How far are German companies in improving security through static
program analysis tools?},
booktitle = {{IEEE} Secure Development Conference, SecDev 2022, Atlanta, GA, USA,
October 18-20, 2022},
pages = {7--15},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SecDev53368.2022.00015},
doi = {10.1109/SECDEV53368.2022.00015},
timestamp = {Tue, 20 Dec 2022 15:29:05 +0100},
biburl = {https://dblp.org/rec/conf/secdev/PiskachevDKMB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/SchlichtigSNB22,
author = {Michael Schlichtig and
Steffen Sassalla and
Krishna Narasimhan and
Eric Bodden},
title = {{FUM} - {A} Framework for {API} Usage constraint and Misuse Classification},
booktitle = {{IEEE} International Conference on Software Analysis, Evolution and
Reengineering, {SANER} 2022, Honolulu, HI, USA, March 15-18, 2022},
pages = {673--684},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SANER53432.2022.00085},
doi = {10.1109/SANER53432.2022.00085},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wcre/SchlichtigSNB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/DoKHAB22,
author = {Lisa Nguyen Quang Do and
Stefan Kr{\"{u}}ger and
Patrick Hill and
Karim Ali and
Eric Bodden},
title = {Debugging Static Analysis},
publisher = {{IEEE} DataPort},
year = {2022},
month = may,
howpublished = {\url{https://doi.org/10.21227/H20W9Q}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.21227/H20W9Q},
doi = {10.21227/H20W9Q},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/DoKHAB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-03089,
author = {Goran Piskachev and
Johannes Sp{\"{a}}th and
Ingo Budde and
Eric Bodden},
title = {Fluently specifying taint-flow queries with fluentTQL},
journal = {CoRR},
volume = {abs/2204.03089},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.03089},
doi = {10.48550/ARXIV.2204.03089},
eprinttype = {arXiv},
eprint = {2204.03089},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-03089.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-06447,
author = {Michael Schlichtig and
Anna{-}Katharina Wickert and
Stefan Kr{\"{u}}ger and
Eric Bodden and
Mira Mezini},
title = {CamBench - Cryptographic {API} Misuse Detection Tool Benchmark Suite},
journal = {CoRR},
volume = {abs/2204.06447},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.06447},
doi = {10.48550/ARXIV.2204.06447},
eprinttype = {arXiv},
eprint = {2204.06447},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-06447.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-09379,
author = {Ranjith Krishnamurthy and
Goran Piskachev and
Eric Bodden},
title = {To what extent can we analyze Kotlin programs using existing Java
taint analysis tools? (Extended Version)},
journal = {CoRR},
volume = {abs/2207.09379},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.09379},
doi = {10.48550/ARXIV.2207.09379},
eprinttype = {arXiv},
eprint = {2207.09379},
timestamp = {Mon, 01 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-09379.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-06136,
author = {Goran Piskachev and
Stefan Dziwok and
Thorsten Koch and
Sven Merschjohann and
Eric Bodden},
title = {How far are German companies in improving security through static
program analysis tools?},
journal = {CoRR},
volume = {abs/2208.06136},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.06136},
doi = {10.48550/ARXIV.2208.06136},
eprinttype = {arXiv},
eprint = {2208.06136},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-06136.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-08173,
author = {Imen Sayar and
Alexandre Bartel and
Eric Bodden and
Yves Le Traon},
title = {An In-depth Study of Java Deserialization Remote-Code Execution Exploits
and Vulnerabilities},
journal = {CoRR},
volume = {abs/2208.08173},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.08173},
doi = {10.48550/ARXIV.2208.08173},
eprinttype = {arXiv},
eprint = {2208.08173},
timestamp = {Mon, 22 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-08173.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DannHB21,
author = {Andreas Dann and
Ben Hermann and
Eric Bodden},
title = {ModGuard : Identifying Integrity {\&} Confidentiality Violations
in Java Modules},
journal = {{IEEE} Trans. Software Eng.},
volume = {47},
number = {8},
pages = {1656--1667},
year = {2021},
url = {https://doi.org/10.1109/TSE.2019.2931331},
doi = {10.1109/TSE.2019.2931331},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/DannHB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/KrugerSABM21,
author = {Stefan Kr{\"{u}}ger and
Johannes Sp{\"{a}}th and
Karim Ali and
Eric Bodden and
Mira Mezini},
title = {CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic
APIs},
journal = {{IEEE} Trans. Software Eng.},
volume = {47},
number = {11},
pages = {2382--2400},
year = {2021},
url = {https://doi.org/10.1109/TSE.2019.2948910},
doi = {10.1109/TSE.2019.2948910},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/KrugerSABM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asiaccs/HolzingerB21,
author = {Philipp Holzinger and
Eric Bodden},
editor = {Weizhi Meng and
Li Li},
title = {A Systematic Hardening of Java's Information Hiding},
booktitle = {{ASSS} '21: Proceedings of the 2021 International Symposium on Advanced
Security on Software and Systems, Virtual Event, Hong Kong, 7 June,
2021},
pages = {11--22},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3457340.3458300},
doi = {10.1145/3457340.3458300},
timestamp = {Tue, 30 Aug 2022 17:03:02 +0200},
biburl = {https://dblp.org/rec/conf/asiaccs/HolzingerB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SchubertHB21,
author = {Philipp Dominik Schubert and
Ben Hermann and
Eric Bodden},
editor = {Anders M{\o}ller and
Manu Sridharan},
title = {Lossless, Persisted Summarization of Static Callgraph, Points-To and
Data-Flow Analysis},
booktitle = {35th European Conference on Object-Oriented Programming, {ECOOP} 2021,
July 11-17, 2021, Aarhus, Denmark (Virtual Conference)},
series = {LIPIcs},
volume = {194},
pages = {2:1--2:31},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2021.2},
doi = {10.4230/LIPICS.ECOOP.2021.2},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/SchubertHB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BonifacioKNBM21,
author = {Rodrigo Bonif{\'{a}}cio and
Stefan Kr{\"{u}}ger and
Krishna Narasimhan and
Eric Bodden and
Mira Mezini},
editor = {Anders M{\o}ller and
Manu Sridharan},
title = {Dealing with Variability in {API} Misuse Specification},
booktitle = {35th European Conference on Object-Oriented Programming, {ECOOP} 2021,
July 11-17, 2021, Aarhus, Denmark (Virtual Conference)},
series = {LIPIcs},
volume = {194},
pages = {19:1--19:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2021.19},
doi = {10.4230/LIPICS.ECOOP.2021.19},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BonifacioKNBM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/GeismannHB21,
author = {Johannes Geismann and
Bastian Haverkamp and
Eric Bodden},
editor = {Robert Heinrich and
Raffaela Mirandola and
Danny Weyns},
title = {Ensuring threat-model assumptions by using static code analyses},
booktitle = {{ECSA} 2021 Companion Volume, Virtual (originally: V{\"{a}}xj{\"{o}},
Sweden), 13-17 September, 2021},
series = {{CEUR} Workshop Proceedings},
volume = {2978},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2978/mde4sa-paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:20 +0100},
biburl = {https://dblp.org/rec/conf/ecsa/GeismannHB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/VenkateshB21,
author = {Ashwin Prasad Shivarpatna Venkatesh and
Eric Bodden},
editor = {Shuai Wang and
Xiaofei Xie and
Lei Ma},
title = {Automated cell header generator for Jupyter notebooks},
booktitle = {{AISTA} 2021: Proceedings of the 1st {ACM} International Workshop
on {AI} and Software Testing/Analysis, Virtual Event, Denmark, 12
July 2021},
pages = {17--20},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3464968.3468410},
doi = {10.1145/3464968.3468410},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/VenkateshB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/SchubertSSHB21,
author = {Philipp Dominik Schubert and
Florian Sattler and
Fabian Schiebel and
Ben Hermann and
Eric Bodden},
title = {Modeling the Effects of Global Variables in Data-Flow Analysis for
{C/C++}},
booktitle = {21st {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2021, Luxembourg, September 27-28, 2021},
pages = {12--17},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SCAM52516.2021.00010},
doi = {10.1109/SCAM52516.2021.00010},
timestamp = {Wed, 01 Dec 2021 17:46:15 +0100},
biburl = {https://dblp.org/rec/conf/scam/SchubertSSHB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/SchubertLHB21,
author = {Philipp Dominik Schubert and
Richard Leer and
Ben Hermann and
Eric Bodden},
title = {Into the Woods: Experiences from Building a Dataflow Analysis Framework
for {C/C++}},
booktitle = {21st {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2021, Luxembourg, September 27-28, 2021},
pages = {18--23},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SCAM52516.2021.00011},
doi = {10.1109/SCAM52516.2021.00011},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/SchubertLHB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/PiskachevKB21,
author = {Goran Piskachev and
Ranjith Krishnamurthy and
Eric Bodden},
title = {SecuCheck: Engineering configurable taint analysis for software developers},
booktitle = {21st {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2021, Luxembourg, September 27-28, 2021},
pages = {24--29},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SCAM52516.2021.00012},
doi = {10.1109/SCAM52516.2021.00012},
timestamp = {Wed, 01 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/PiskachevKB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/KarakayaB21,
author = {Kadiray Karakaya and
Eric Bodden},
title = {SootFX: {A} Static Code Feature Extraction Tool for Java and Android},
booktitle = {21st {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2021, Luxembourg, September 27-28, 2021},
pages = {181--186},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/SCAM52516.2021.00030},
doi = {10.1109/SCAM52516.2021.00030},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/KarakayaB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BenzKLBBZ21,
author = {Manuel Benz and
Erik Krogh Kristensen and
Linghui Luo and
Nataniel P. Borges Jr. and
Eric Bodden and
Andreas Zeller},
editor = {Anne Koziolek and
Ina Schaefer and
Christoph Seidl},
title = {Heaps'n Leaks: How Heap Snapshots Improve Android Taint Analysis},
booktitle = {Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik,
22.-26. Februar 2021, Braunschweig/Virtuell},
series = {{LNI}},
volume = {{P-310}},
pages = {23--26},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2021},
url = {https://doi.org/10.18420/SE2021\_02},
doi = {10.18420/SE2021\_02},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/BenzKLBBZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/DannHB21,
author = {Andreas Dann and
Ben Hermann and
Eric Bodden},
editor = {Anne Koziolek and
Ina Schaefer and
Christoph Seidl},
title = {ModGuard: Identifying Integrity {\&} Confidentiality Violations
in Java Modules},
booktitle = {Software Engineering 2021, Fachtagung des GI-Fachbereichs Softwaretechnik,
22.-26. Februar 2021, Braunschweig/Virtuell},
series = {{LNI}},
volume = {{P-310}},
pages = {29--31},
publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
year = {2021},
url = {https://doi.org/10.18420/SE2021\_04},
doi = {10.18420/SE2021\_04},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/DannHB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LuoSSB21,
author = {Linghui Luo and
Martin Sch{\"{a}}f and
Daniel Sanchez and
Eric Bodden},
editor = {Diomidis Spinellis and
Georgios Gousios and
Marsha Chechik and
Massimiliano Di Penta},
title = {{IDE} support for cloud-based static analyses},
booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference
and Symposium on the Foundations of Software Engineering, Athens,
Greece, August 23-28, 2021},
pages = {1178--1189},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3468264.3468535},
doi = {10.1145/3468264.3468535},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/LuoSSB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-04950,
author = {Rodrigo Bonif{\'{a}}cio and
Stefan Kr{\"{u}}ger and
Krishna Narasimhan and
Eric Bodden and
Mira Mezini},
title = {Dealing with Variability in {API} Misuse Specification},
journal = {CoRR},
volume = {abs/2105.04950},
year = {2021},
url = {https://arxiv.org/abs/2105.04950},
eprinttype = {arXiv},
eprint = {2105.04950},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-04950.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/GeismannB20,
author = {Johannes Geismann and
Eric Bodden},
title = {A systematic literature review of model-driven security engineering
for cyber-physical systems},
journal = {J. Syst. Softw.},
volume = {169},
pages = {110697},
year = {2020},
url = {https://doi.org/10.1016/j.jss.2020.110697},
doi = {10.1016/J.JSS.2020.110697},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/GeismannB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/0011FKB20,
author = {Andreas Fischer and
Benny Fuhry and
Florian Kerschbaum and
Eric Bodden},
title = {Computation on Encrypted Data using Dataflow Authentication},
journal = {Proc. Priv. Enhancing Technol.},
volume = {2020},
number = {1},
pages = {5--25},
year = {2020},
url = {https://doi.org/10.2478/popets-2020-0002},
doi = {10.2478/POPETS-2020-0002},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/popets/0011FKB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DoKH0B20,
author = {Lisa Nguyen Quang Do and
Stefan Kr{\"{u}}ger and
Patrick Hill and
Karim Ali and
Eric Bodden},
title = {Debugging Static Analysis},
journal = {{IEEE} Trans. Software Eng.},
volume = {46},
number = {7},
pages = {697--709},
year = {2020},
url = {https://doi.org/10.1109/TSE.2018.2868349},
doi = {10.1109/TSE.2018.2868349},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DoKH0B20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cgo/KrugerAB20,
author = {Stefan Kr{\"{u}}ger and
Karim Ali and
Eric Bodden},
title = {CogniCrypt\({}_{\mbox{\emph{GEN}}}\): generating code for the secure
usage of crypto APIs},
booktitle = {{CGO} '20: 18th {ACM/IEEE} International Symposium on Code Generation
and Optimization, San Diego, CA, USA, February, 2020},
pages = {185--198},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3368826.3377905},
doi = {10.1145/3368826.3377905},
timestamp = {Thu, 27 Feb 2020 18:49:48 +0100},
biburl = {https://dblp.org/rec/conf/cgo/KrugerAB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/0011JKKKB20,
author = {Andreas Fischer and
Jonas Janneck and
J{\"{o}}rn Kussmaul and
Nikolas Kr{\"{a}}tzschmar and
Florian Kerschbaum and
Eric Bodden},
title = {{PASAPTO:} Policy-aware Security and Performance Trade-off Analysis-Computation
on Encrypted Data with Restricted Leakage},
booktitle = {33rd {IEEE} Computer Security Foundations Symposium, {CSF} 2020, Boston,
MA, USA, June 22-26, 2020},
pages = {230--245},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CSF49147.2020.00024},
doi = {10.1109/CSF49147.2020.00024},
timestamp = {Mon, 05 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/0011JKKKB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BenzKLBBZ20,
author = {Manuel Benz and
Erik Krogh Kristensen and
Linghui Luo and
Nataniel P. Borges and
Eric Bodden and
Andreas Zeller},
editor = {Gregg Rothermel and
Doo{-}Hwan Bae},
title = {Heaps'n leaks: how heap snapshots improve Android taint analysis},
booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering,
Seoul, South Korea, 27 June - 19 July, 2020},
pages = {1061--1072},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3377811.3380438},
doi = {10.1145/3377811.3380438},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BenzKLBBZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kka/GrasslerBPGR20,
author = {Iris Gr{\"{a}}{\ss}ler and
Eric Bodden and
Jens Pottebaum and
Johannes Geismann and
Daniel Roesmann},
editor = {Andrzej Bartoszewicz and
Jacek Kabzinski and
Janusz Kacprzyk},
title = {Security-Oriented Fault-Tolerance in Systems Engineering: {A} Conceptual
Threat Modelling Approach for Cyber-Physical Production Systems},
booktitle = {Advanced, Contemporary Control - Proceedings of {KKA} 2020 - The 20th
Polish Control Conference, {\L}{\'{o}}d{\'{z}}, Poland,
2020},
series = {Advances in Intelligent Systems and Computing},
volume = {1196},
pages = {1458--1469},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50936-1\_121},
doi = {10.1007/978-3-030-50936-1\_121},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kka/GrasslerBPGR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KochDHB20,
author = {Thorsten Koch and
Stefan Dziwok and
J{\"{o}}rg Holtmann and
Eric Bodden},
editor = {Eugene Syriani and
Houari A. Sahraoui and
Juan de Lara and
Silvia Abrah{\~{a}}o},
title = {Scenario-based specification of security protocols and transformation
to security model checkers},
booktitle = {MoDELS '20: {ACM/IEEE} 23rd International Conference on Model Driven
Engineering Languages and Systems, Virtual Event, Canada, 18-23 October,
2020},
pages = {343--353},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3365438.3410946},
doi = {10.1145/3365438.3410946},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/KochDHB20.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}
}
@incollection{DBLP:series/lncs/KnuppelKTBKBS20,
author = {Alexander Kn{\"{u}}ppel and
Stefan Kr{\"{u}}ger and
Thomas Th{\"{u}}m and
Richard Bubel and
Sebastian Krieter and
Eric Bodden and
Ina Schaefer},
editor = {Wolfgang Ahrendt and
Bernhard Beckert and
Richard Bubel and
Reiner H{\"{a}}hnle and
Mattias Ulbrich},
title = {Using Abstract Contracts for Verifying Evolving Features and Their
Interactions},
booktitle = {Deductive Software Verification: Future Perspectives - Reflections
on the Occasion of 20 Years of KeY},
series = {Lecture Notes in Computer Science},
volume = {12345},
pages = {122--148},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64354-6\_5},
doi = {10.1007/978-3-030-64354-6\_5},
timestamp = {Mon, 14 Dec 2020 16:21:57 +0100},
biburl = {https://dblp.org/rec/series/lncs/KnuppelKTBKBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/KrugerSAB20,
author = {Stefan Kr{\"{u}}ger and
Andr{\'{e}} Sonntag and
Karim Ali and
Eric Bodden},
title = {CogniCrypt{\_}GEN - Generating Code for the Secure Use of Crypto APIs
(Artefact) (Version 1.0)},
publisher = {Zenodo},
year = {2020},
month = jan,
howpublished = {\url{https://doi.org/10.5281/zenodo.3597725}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.3597725},
doi = {10.5281/ZENODO.3597725},
timestamp = {Wed, 11 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/KrugerSAB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SpathAB19,
author = {Johannes Sp{\"{a}}th and
Karim Ali and
Eric Bodden},
title = {Context-, flow-, and field-sensitive data-flow analysis using synchronized
Pushdown systems},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {48:1--48:29},
year = {2019},
url = {https://doi.org/10.1145/3290361},
doi = {10.1145/3290361},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SpathAB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codaspy/GorskiANMEBB19,
author = {Sigmund Albert Gorski III and
Benjamin Andow and
Adwait Nadkarni and
Sunil Manandhar and
William Enck and
Eric Bodden and
Alexandre Bartel},
editor = {Gail{-}Joon Ahn and
Bhavani Thuraisingham and
Murat Kantarcioglu and
Ram Krishnan},
title = {ACMiner: Extraction and Analysis of Authorization Checks in Android's
Middleware},
booktitle = {Proceedings of the Ninth {ACM} Conference on Data and Application
Security and Privacy, {CODASPY} 2019, Richardson, TX, USA, March 25-27,
2019},
pages = {25--36},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3292006.3300023},
doi = {10.1145/3292006.3300023},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/codaspy/GorskiANMEBB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LuoDB19,
author = {Linghui Luo and
Julian Dolby and
Eric Bodden},
editor = {Alastair F. Donaldson},
title = {MagpieBridge: {A} General Approach to Integrating Static Analyses
into IDEs and Editors (Tool Insights Paper)},
booktitle = {33rd European Conference on Object-Oriented Programming, {ECOOP} 2019,
July 15-19, 2019, London, United Kingdom},
series = {LIPIcs},
volume = {134},
pages = {21:1--21:25},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2019.21},
doi = {10.4230/LIPICS.ECOOP.2019.21},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/LuoDB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/HazhirpasandGKB19,
author = {Mohammadreza Hazhirpasand and
Mohammad Ghafari and
Stefan Kr{\"{u}}ger and
Eric Bodden and
Oscar Nierstrasz},
title = {The Impact of Developer Experience in Using Java Cryptography},
booktitle = {2019 {ACM/IEEE} International Symposium on Empirical Software Engineering
and Measurement, {ESEM} 2019, Porto de Galinhas, Recife, Brazil, September
19-20, 2019},
pages = {1--6},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ESEM.2019.8870184},
doi = {10.1109/ESEM.2019.8870184},
timestamp = {Wed, 23 Oct 2019 17:14:20 +0200},
biburl = {https://dblp.org/rec/conf/esem/HazhirpasandGKB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PiskachevPSB19,
author = {Goran Piskachev and
Tobias Petrasch and
Johannes Sp{\"{a}}th and
Eric Bodden},
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {AuthCheck: Program-State Analysis for Access-Control Vulnerabilities},
booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12233},
pages = {557--572},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-54997-8\_34},
doi = {10.1007/978-3-030-54997-8\_34},
timestamp = {Mon, 05 Feb 2024 20:31:40 +0100},
biburl = {https://dblp.org/rec/conf/fm/PiskachevPSB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/StockmannLB19,
author = {Lars Stockmann and
Sven Laux and
Eric Bodden},
title = {Architectural Runtime Verification},
booktitle = {{IEEE} International Conference on Software Architecture Companion,
{ICSA} Companion 2019, Hamburg, Germany, March 25-26, 2019},
pages = {77--84},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ICSA-C.2019.00021},
doi = {10.1109/ICSA-C.2019.00021},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/icsa/StockmannLB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PiskachevDB19,
author = {Goran Piskachev and
Lisa Nguyen Quang Do and
Eric Bodden},
editor = {Dongmei Zhang and
Anders M{\o}ller},
title = {Codebase-adaptive detection of security-relevant methods},
booktitle = {Proceedings of the 28th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2019, Beijing, China, July
15-19, 2019},
pages = {181--191},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293882.3330556},
doi = {10.1145/3293882.3330556},
timestamp = {Thu, 23 Jun 2022 07:46:09 +0200},
biburl = {https://dblp.org/rec/conf/issta/PiskachevDB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/NachtigallDB19,
author = {Marcus Nachtigall and
Lisa Nguyen Quang Do and
Eric Bodden},
title = {Explaining Static Analysis - {A} Perspective},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering
Workshops, {ASE} Workshops 2019, San Diego, CA, USA, November 11-15,
2019},
pages = {29--32},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASEW.2019.00023},
doi = {10.1109/ASEW.2019.00023},
timestamp = {Mon, 03 Feb 2020 13:56:28 +0100},
biburl = {https://dblp.org/rec/conf/kbse/NachtigallDB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LuoBS19,
author = {Linghui Luo and
Eric Bodden and
Johannes Sp{\"{a}}th},
title = {A Qualitative Analysis of Android Taint-Analysis Results},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {102--114},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00020},
doi = {10.1109/ASE.2019.00020},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LuoBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PiskachevDJB19,
author = {Goran Piskachev and
Lisa Nguyen Quang Do and
Oshando Johnson and
Eric Bodden},
title = {SWAN{\_}ASSIST: Semi-Automated Detection of Code-Specific, Security-Relevant
Methods},
booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2019, San Diego, CA, USA, November 11-15, 2019},
pages = {1094--1097},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/ASE.2019.00110},
doi = {10.1109/ASE.2019.00110},
timestamp = {Sun, 19 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PiskachevDJB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SchubertLHB19,
author = {Philipp Dominik Schubert and
Richard Leer and
Ben Hermann and
Eric Bodden},
editor = {Neville Grech and
Thierry Lavoie},
title = {Know your analysis: how instrumentation aids understanding static
analysis},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2019, Phoenix, AZ, USA,
June 22, 2019},
pages = {8--13},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315568.3329965},
doi = {10.1145/3315568.3329965},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SchubertLHB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DannHB19,
author = {Andreas Dann and
Ben Hermann and
Eric Bodden},
editor = {Neville Grech and
Thierry Lavoie},
title = {SootDiff: bytecode comparison across different Java compilers},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2019, Phoenix, AZ, USA,
June 22, 2019},
pages = {14--19},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315568.3329966},
doi = {10.1145/3315568.3329966},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/DannHB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/SchubertHB19,
author = {Philipp Dominik Schubert and
Ben Hermann and
Eric Bodden},
editor = {Tom{\'{a}}s Vojnar and
Lijun Zhang},
title = {PhASAR: An Inter-procedural Static Analysis Framework for {C/C++}},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 25th International Conference, {TACAS} 2019, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11428},
pages = {393--410},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17465-1\_22},
doi = {10.1007/978-3-030-17465-1\_22},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/SchubertHB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-03603,
author = {Sigmund Albert Gorski III and
Benjamin Andow and
Adwait Nadkarni and
Sunil Manandhar and
William Enck and
Eric Bodden and
Alexandre Bartel},
title = {ACMiner: Extraction and Analysis of Authorization Checks in Android's
Middleware},
journal = {CoRR},
volume = {abs/1901.03603},
year = {2019},
url = {http://arxiv.org/abs/1901.03603},
eprinttype = {arXiv},
eprint = {1901.03603},
timestamp = {Fri, 01 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-03603.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-01489,
author = {Mohammadreza Hazhirpasand and
Mohammad Ghafari and
Stefan Kr{\"{u}}ger and
Eric Bodden and
Oscar Nierstrasz},
title = {The Impact of Developer Experience in Using Java Cryptography},
journal = {CoRR},
volume = {abs/1908.01489},
year = {2019},
url = {http://arxiv.org/abs/1908.01489},
eprinttype = {arXiv},
eprint = {1908.01489},
timestamp = {Fri, 09 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-01489.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/KrugerSABM18,
author = {Stefan Kr{\"{u}}ger and
Johannes Sp{\"{a}}th and
Karim Ali and
Eric Bodden and
Mira Mezini},
title = {CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic
APIs (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {4},
number = {3},
pages = {06:1--06:4},
year = {2018},
url = {https://doi.org/10.4230/DARTS.4.3.6},
doi = {10.4230/DARTS.4.3.6},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/KrugerSABM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/LillackKB18,
author = {Max Lillack and
Christian K{\"{a}}stner and
Eric Bodden},
title = {Tracking Load-Time Configuration Options},
journal = {{IEEE} Trans. Software Eng.},
volume = {44},
number = {12},
pages = {1269--1291},
year = {2018},
url = {https://doi.org/10.1109/TSE.2017.2756048},
doi = {10.1109/TSE.2017.2756048},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/LillackKB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/KrugerS0BM18,
author = {Stefan Kr{\"{u}}ger and
Johannes Sp{\"{a}}th and
Karim Ali and
Eric Bodden and
Mira Mezini},
editor = {Todd D. Millstein},
title = {CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic
APIs},
booktitle = {32nd European Conference on Object-Oriented Programming, {ECOOP} 2018,
July 16-21, 2018, Amsterdam, The Netherlands},
series = {LIPIcs},
volume = {109},
pages = {10:1--10:27},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2018.10},
doi = {10.4230/LIPICS.ECOOP.2018.10},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/KrugerS0BM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/GerkingSB18,
author = {Christopher Gerking and
David Schubert and
Eric Bodden},
editor = {Mathias Payer and
Awais Rashid and
Jose M. Such},
title = {Model Checking the Information Flow Security of Real-Time Systems},
booktitle = {Engineering Secure Software and Systems - 10th International Symposium,
ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10953},
pages = {27--43},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94496-8\_3},
doi = {10.1007/978-3-319-94496-8\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/GerkingSB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Bodden18,
author = {Eric Bodden},
editor = {Andrea Zisman and
Sven Apel},
title = {Self-adaptive static analysis},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
New Ideas and Emerging Results, {ICSE} {(NIER)} 2018, Gothenburg,
Sweden, May 27 - June 03, 2018},
pages = {45--48},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183399.3183401},
doi = {10.1145/3183399.3183401},
timestamp = {Sat, 30 Sep 2023 09:46:46 +0200},
biburl = {https://dblp.org/rec/conf/icse/Bodden18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DoKH0B18,
author = {Lisa Nguyen Quang Do and
Stefan Kr{\"{u}}ger and
Patrick Hill and
Karim Ali and
Eric Bodden},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {{VISUFLOW:} a debugging environment for static analyses},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
June 03, 2018},
pages = {89--92},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183440.3183470},
doi = {10.1145/3183440.3183470},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/DoKH0B18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Bodden18a,
author = {Eric Bodden},
editor = {Michel Chaudron and
Ivica Crnkovic and
Marsha Chechik and
Mark Harman},
title = {State of the systems security},
booktitle = {Proceedings of the 40th International Conference on Software Engineering:
Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 -
June 03, 2018},
pages = {550--551},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183440.3183462},
doi = {10.1145/3183440.3183462},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Bodden18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/GeismannGB18,
author = {Johannes Geismann and
Christopher Gerking and
Eric Bodden},
editor = {Marco Kuhrmann and
Rory V. O'Connor and
Dan Houston},
title = {Towards ensuring security by design in cyber-physical systems engineering
processes},
booktitle = {Proceedings of the 2018 International Conference on Software and System
Process, {ICSSP} 2018, Gothenburg, Sweden, May 26-27, 2018},
pages = {123--127},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3202710.3203159},
doi = {10.1145/3202710.3203159},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispw/GeismannGB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Bodden18,
author = {Eric Bodden},
editor = {Julian Dolby and
William G. J. Halfond and
Ashish Mishra},
title = {The secret sauce in efficient and precise static analysis: the beauty
of distributive, summary-based static analyses (and how to master
them)},
booktitle = {Companion Proceedings for the {ISSTA/ECOOP} 2018 Workshops, {ISSTA}
2018, Amsterdam, Netherlands, July 16-21, 2018},
pages = {85--93},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236454.3236500},
doi = {10.1145/3236454.3236500},
timestamp = {Thu, 10 Jan 2019 08:02:16 +0100},
biburl = {https://dblp.org/rec/conf/issta/Bodden18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BoddenD18,
author = {Eric Bodden and
Lisa Nguyen Quang Do},
editor = {Matthias Tichy and
Eric Bodden and
Marco Kuhrmann and
Stefan Wagner and
Jan{-}Philipp Stegh{\"{o}}fer},
title = {Explainable Static Analysis},
booktitle = {Software Engineering und Software Management 2018, Fachtagung des
GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz
2018, Ulm, Germany},
series = {{LNI}},
volume = {{P-279}},
pages = {205--208},
publisher = {Gesellschaft f{\"{u}}r Informatik},
year = {2018},
url = {https://dl.gi.de/handle/20.500.12116/16348},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/BoddenD18.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}
}
@inproceedings{DBLP:conf/sigsoft/DoB18,
author = {Lisa Nguyen Quang Do and
Eric Bodden},
editor = {Gary T. Leavens and
Alessandro Garcia and
Corina S. Pasareanu},
title = {Gamifying static analysis},
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 = {714--718},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236024.3264830},
doi = {10.1145/3236024.3264830},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DoB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2018,
editor = {Frank Tip and
Eric Bodden},
title = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands,
July 16-21, 2018},
publisher = {{ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3213846},
timestamp = {Mon, 16 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/se/2018,
editor = {Matthias Tichy and
Eric Bodden and
Marco Kuhrmann and
Stefan Wagner and
Jan{-}Philipp Stegh{\"{o}}fer},
title = {Software Engineering und Software Management 2018, Fachtagung des
GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz
2018, Ulm, Germany},
series = {{LNI}},
volume = {{P-279}},
publisher = {Gesellschaft f{\"{u}}r Informatik},
year = {2018},
url = {https://dl.gi.de/handle/20.500.12116/21117},
isbn = {978-3-88579-673-2},
timestamp = {Wed, 13 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/se/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-04894,
author = {Lisa Nguyen Quang Do and
Stefan Kr{\"{u}}ger and
Patrick Hill and
Karim Ali and
Eric Bodden},
title = {Debugging Static Analysis},
journal = {CoRR},
volume = {abs/1801.04894},
year = {2018},
url = {http://arxiv.org/abs/1801.04894},
eprinttype = {arXiv},
eprint = {1801.04894},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-04894.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/dase/OthmaneCBTB17,
author = {Lotfi Ben Othmane and
Golriz Chehrazi and
Eric Bodden and
Petar Tsalovski and
Achim D. Brucker},
title = {Time for Addressing Software Security Issues: Prediction Models and
Impacting Factors},
journal = {Data Sci. Eng.},
volume = {2},
number = {2},
pages = {107--124},
year = {2017},
url = {https://doi.org/10.1007/s41019-016-0019-8},
doi = {10.1007/S41019-016-0019-8},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dase/OthmaneCBTB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SpathAB17,
author = {Johannes Sp{\"{a}}th and
Karim Ali and
Eric Bodden},
title = {IDE\({}^{\mbox{\emph{al}}}\): efficient and precise alias-aware dataflow
analysis},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {99:1--99:27},
year = {2017},
url = {https://doi.org/10.1145/3133923},
doi = {10.1145/3133923},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SpathAB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ArztRB17,
author = {Steven Arzt and
Siegfried Rasthofer and
Eric Bodden},
title = {The Soot-Based Toolchain for Analyzing Android Apps},
booktitle = {4th {IEEE/ACM} International Conference on Mobile Software Engineering
and Systems, MOBILESoft@ICSE 2017, Buenos Aires, Argentina, May 22-23,
2017},
pages = {13--24},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/MOBILESoft.2017.2},
doi = {10.1109/MOBILESOFT.2017.2},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/ArztRB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DoALBSM17,
author = {Lisa Nguyen Quang Do and
Karim Ali and
Benjamin Livshits and
Eric Bodden and
Justin Smith and
Emerson R. Murphy{-}Hill},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {Cheetah: just-in-time taint analysis for Android apps},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
Volume},
pages = {39--42},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSE-C.2017.20},
doi = {10.1109/ICSE-C.2017.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DoALBSM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DoALBSM17,
author = {Lisa Nguyen Quang Do and
Karim Ali and
Benjamin Livshits and
Eric Bodden and
Justin Smith and
Emerson R. Murphy{-}Hill},
editor = {Tevfik Bultan and
Koushik Sen},
title = {Just-in-time static analysis},
booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
2017},
pages = {307--317},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092703.3092705},
doi = {10.1145/3092703.3092705},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/DoALBSM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KrugerNRAMBGGWD17,
author = {Stefan Kr{\"{u}}ger and
Sarah Nadi and
Michael Reif and
Karim Ali and
Mira Mezini and
Eric Bodden and
Florian G{\"{o}}pfert and
Felix G{\"{u}}nther and
Christian Weinert and
Daniel Demmler and
Ram Kamath},
editor = {Grigore Rosu and
Massimiliano Di Penta and
Tien N. Nguyen},
title = {CogniCrypt: supporting developers in using cryptography},
booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
03, 2017},
pages = {931--936},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ASE.2017.8115707},
doi = {10.1109/ASE.2017.8115707},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/KrugerNRAMBGGWD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/NadiKMB17,
author = {Sarah Nadi and
Stefan Kr{\"{u}}ger and
Mira Mezini and
Eric Bodden},
editor = {Jan J{\"{u}}rjens and
Kurt Schneider},
title = {"Jumping Through Hoops": Why do Java Developers Struggle
With Cryptography APIs?},
booktitle = {Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-24. Februar 2017, Hannover, Deutschland},
series = {{LNI}},
volume = {{P-267}},
pages = {57},
publisher = {{GI}},
year = {2017},
url = {https://dl.gi.de/handle/20.500.12116/1268},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/NadiKMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/AvdiienkoKGZARB17,
author = {Vitalii Avdiienko and
Konstantin Kuznetsov and
Alessandra Gorla and
Andreas Zeller and
Steven Arzt and
Siegfried Rasthofer and
Eric Bodden},
editor = {Jan J{\"{u}}rjens and
Kurt Schneider},
title = {App Mining},
booktitle = {Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik,
21.-24. Februar 2017, Hannover, Deutschland},
series = {{LNI}},
volume = {{P-267}},
pages = {113--114},
publisher = {{GI}},
year = {2017},
url = {https://dl.gi.de/handle/20.500.12116/1298},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/AvdiienkoKGZARB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/HolzingerHLBM17,
author = {Philipp Holzinger and
Ben Hermann and
Johannes Lerch and
Eric Bodden and
Mira Mezini},
title = {Hardening Java's Access Control by Abolishing Implicit Privilege Elevation},
booktitle = {2017 {IEEE} Symposium on Security and Privacy, {SP} 2017, San Jose,
CA, USA, May 22-26, 2017},
pages = {1027--1040},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/SP.2017.16},
doi = {10.1109/SP.2017.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/HolzingerHLBM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/essos/2017,
editor = {Eric Bodden and
Mathias Payer and
Elias Athanasopoulos},
title = {Engineering Secure Software and Systems - 9th International Symposium,
ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10379},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-62105-0},
doi = {10.1007/978-3-319-62105-0},
isbn = {978-3-319-62104-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2017,
editor = {Eric Bodden and
Wilhelm Sch{\"{a}}fer and
Arie van Deursen and
Andrea Zisman},
title = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software
Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3106237},
doi = {10.1145/3106237},
isbn = {978-1-4503-5105-8},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-00390,
author = {Andreas Fischer and
Benny Fuhry and
Florian Kerschbaum and
Eric Bodden},
title = {Computation on Encrypted Data using Data Flow Authentication},
journal = {CoRR},
volume = {abs/1710.00390},
year = {2017},
url = {http://arxiv.org/abs/1710.00390},
eprinttype = {arXiv},
eprint = {1710.00390},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-00390.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-00564,
author = {Stefan Kr{\"{u}}ger and
Johannes Sp{\"{a}}th and
Karim Ali and
Eric Bodden and
Mira Mezini},
title = {CrySL: Validating Correct Usage of Cryptographic APIs},
journal = {CoRR},
volume = {abs/1710.00564},
year = {2017},
url = {http://arxiv.org/abs/1710.00564},
eprinttype = {arXiv},
eprint = {1710.00564},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-00564.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-07430,
author = {Eric Bodden},
title = {Self-adaptive static analysis},
journal = {CoRR},
volume = {abs/1710.07430},
year = {2017},
url = {http://arxiv.org/abs/1710.07430},
eprinttype = {arXiv},
eprint = {1710.07430},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-07430.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/darts/SpathDAB16,
author = {Johannes Sp{\"{a}}th and
Lisa Nguyen Quang Do and
Karim Ali and
Eric Bodden},
title = {Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis
for Java (Artifact)},
journal = {Dagstuhl Artifacts Ser.},
volume = {2},
number = {1},
pages = {12:1--12:2},
year = {2016},
url = {https://doi.org/10.4230/DARTS.2.1.12},
doi = {10.4230/DARTS.2.1.12},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/darts/SpathDAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dud/RasthoferAMB16,
author = {Siegfried Rasthofer and
Steven Arzt and
Marc Miltenberger and
Eric Bodden},
title = {Harvester},
journal = {Datenschutz und Datensicherheit},
volume = {40},
number = {11},
pages = {718--722},
year = {2016},
url = {https://doi.org/10.1007/s11623-016-0690-y},
doi = {10.1007/S11623-016-0690-Y},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dud/RasthoferAMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/istr/FollnerB16,
author = {Andreas Follner and
Eric Bodden},
title = {ROPocop - Dynamic mitigation of code-reuse attacks},
journal = {J. Inf. Secur. Appl.},
volume = {29},
pages = {16--26},
year = {2016},
url = {https://doi.org/10.1016/j.jisa.2016.01.002},
doi = {10.1016/J.JISA.2016.01.002},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/istr/FollnerB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/DwyerBFKKKMMMSS16,
author = {Matthew B. Dwyer and
Eric Bodden and
Brian Fitzgerald and
Miryung Kim and
Sunghun Kim and
Amy J. Ko and
Emilia Mendes and
Raffaela Mirandola and
Ana Moreira and
Forrest Shull and
Stephen F. Siegel and
Tao Xie and
Charles Zhang},
title = {Connecting and Serving the Software Engineering Community},
journal = {{IEEE} Trans. Software Eng.},
volume = {42},
number = {3},
pages = {203--205},
year = {2016},
url = {https://doi.org/10.1109/TSE.2016.2532379},
doi = {10.1109/TSE.2016.2532379},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/DwyerBFKKKMMMSS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/HolzingerTBB16,
author = {Philipp Holzinger and
Stefan Triller and
Alexandre Bartel and
Eric Bodden},
editor = {Edgar R. Weippl and
Stefan Katzenbeisser and
Christopher Kruegel and
Andrew C. Myers and
Shai Halevi},
title = {An In-Depth Study of More Than Ten Years of Java Exploitation},
booktitle = {Proceedings of the 2016 {ACM} {SIGSAC} Conference on Computer and
Communications Security, Vienna, Austria, October 24-28, 2016},
pages = {779--790},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2976749.2978361},
doi = {10.1145/2976749.2978361},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/HolzingerTBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SpathDAB16,
author = {Johannes Sp{\"{a}}th and
Lisa Nguyen Quang Do and
Karim Ali and
Eric Bodden},
editor = {Shriram Krishnamurthi and
Benjamin S. Lerner},
title = {Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis
for Java},
booktitle = {30th European Conference on Object-Oriented Programming, {ECOOP} 2016,
July 18-22, 2016, Rome, Italy},
series = {LIPIcs},
volume = {56},
pages = {22:1--22:26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ECOOP.2016.22},
doi = {10.4230/LIPICS.ECOOP.2016.22},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/SpathDAB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/RasthoferAMB16,
author = {Siegfried Rasthofer and
Steven Arzt and
Marc Miltenberger and
Eric Bodden},
editor = {David Aspinall and
Lorenzo Cavallaro and
Mohamed Nassim Seghir and
Melanie Volkamer},
title = {Reverse Engineering Android Apps With CodeInspect (invited paper)},
booktitle = {Proceedings of the 1st International Workshop on Innovations in Mobile
Privacy and Security, {IMPS} 2016, co-located with the International
Symposium on Engineering Secure Software and Systems (ESSoS 2016),
London, UK, April 6, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1575},
pages = {1--8},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1575/invited\_paper\_2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:23 +0100},
biburl = {https://dblp.org/rec/conf/essos/RasthoferAMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/essos/FollnerBB16,
author = {Andreas Follner and
Alexandre Bartel and
Eric Bodden},
editor = {Juan Caballero and
Eric Bodden and
Elias Athanasopoulos},
title = {Analyzing the Gadgets - Towards a Metric to Measure Gadget Quality},
booktitle = {Engineering Secure Software and Systems - 8th International Symposium,
ESSoS 2016, London, UK, April 6-8, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9639},
pages = {155--172},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30806-7\_10},
doi = {10.1007/978-3-319-30806-7\_10},
timestamp = {Tue, 01 Jun 2021 15:22:49 +0200},
biburl = {https://dblp.org/rec/conf/essos/FollnerBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/ElingRKBB16,
author = {Nicole Eling and
Siegfried Rasthofer and
Max Kolhagen and
Eric Bodden and
Peter Buxmann},
editor = {Tung X. Bui and
Ralph H. Sprague Jr.},
title = {Investigating Users' Reaction to Fine-Grained Data Requests: {A} Market
Experiment},
booktitle = {49th Hawaii International Conference on System Sciences, {HICSS} 2016,
Koloa, HI, USA, January 5-8, 2016},
pages = {3666--3675},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/HICSS.2016.458},
doi = {10.1109/HICSS.2016.458},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/ElingRKBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ArztB16,
author = {Steven Arzt and
Eric Bodden},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {StubDroid: automatic inference of precise data-flow summaries for
the android framework},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {725--735},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884816},
doi = {10.1145/2884781.2884816},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ArztB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NadiKMB16,
author = {Sarah Nadi and
Stefan Kr{\"{u}}ger and
Mira Mezini and
Eric Bodden},
editor = {Laura K. Dillon and
Willem Visser and
Laurie A. Williams},
title = {Jumping through hoops: why do Java developers struggle with cryptography
APIs?},
booktitle = {Proceedings of the 38th International Conference on Software Engineering,
{ICSE} 2016, Austin, TX, USA, May 14-22, 2016},
pages = {935--946},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2884781.2884790},
doi = {10.1145/2884781.2884790},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/NadiKMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BoddenPSSW16,
author = {Eric Bodden and
Ka I Pun and
Martin Steffen and
Volker Stolz and
Anna{-}Katharina Wickert},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Information Flow Analysis for Go},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {431--445},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_30},
doi = {10.1007/978-3-319-47166-2\_30},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BoddenPSSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/RasthoferAMB16,
author = {Siegfried Rasthofer and
Steven Arzt and
Marc Miltenberger and
Eric Bodden},
title = {Harvesting Runtime Values in Android Applications That Feature Anti-Analysis
Techniques},
booktitle = {23rd Annual Network and Distributed System Security Symposium, {NDSS}
2016, San Diego, California, USA, February 21-24, 2016},
publisher = {The Internet Society},
year = {2016},
url = {http://wp.internetsociety.org/ndss/wp-content/uploads/sites/25/2017/09/harvesting-runtime-values-android-applications-feature-anti-analysis-techniques.pdf},
timestamp = {Thu, 17 Jun 2021 16:04:48 +0200},
biburl = {https://dblp.org/rec/conf/ndss/RasthoferAMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ArztKB16,
author = {Steven Arzt and
Tobias Kussmaul and
Eric Bodden},
editor = {Charles Zhang and
Xavier Rival},
title = {Towards cross-platform cross-language analysis with soot},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2016, Santa Barbara, CA,
USA, June 14, 2016},
pages = {1--6},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2931021.2931022},
doi = {10.1145/2931021.2931022},
timestamp = {Wed, 10 Apr 2024 21:01:59 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ArztKB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DoEB16,
author = {Lisa Nguyen Quang Do and
Michael Eichberg and
Eric Bodden},
editor = {Charles Zhang and
Xavier Rival},
title = {Toward an automated benchmark management system},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2016, Santa Barbara, CA,
USA, June 14, 2016},
pages = {13--17},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2931021.2931023},
doi = {10.1145/2931021.2931023},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DoEB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/FalzonB16,
author = {Kevin Falzon and
Eric Bodden},
editor = {Frank Piessens and
Luca Vigan{\`{o}}},
title = {Towards a Comprehensive Model of Isolation for Mitigating Illicit
Channels},
booktitle = {Principles of Security and Trust - 5th International Conference, {POST}
2016, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April
2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9635},
pages = {116--138},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49635-0\_7},
doi = {10.1007/978-3-662-49635-0\_7},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/post/FalzonB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/FollnerBPCIPB16,
author = {Andreas Follner and
Alexandre Bartel and
Hui Peng and
Yu{-}Chen Chang and
Kyriakos K. Ispoglou and
Mathias Payer and
Eric Bodden},
editor = {Gilles Barthe and
Evangelos P. Markatos and
Pierangela Samarati},
title = {{PSHAPE:} Automatically Combining Gadgets for Arbitrary Method Execution},
booktitle = {Security and Trust Management - 12th International Workshop, {STM}
2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9871},
pages = {212--228},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46598-2\_15},
doi = {10.1007/978-3-319-46598-2\_15},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stm/FollnerBPCIPB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/essos/2016,
editor = {Juan Caballero and
Eric Bodden and
Elias Athanasopoulos},
title = {Engineering Secure Software and Systems - 8th International Symposium,
ESSoS 2016, London, UK, April 6-8, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9639},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-30806-7},
doi = {10.1007/978-3-319-30806-7},
isbn = {978-3-319-30805-0},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/essos/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FollnerBB16,
author = {Andreas Follner and
Alexandre Bartel and
Eric Bodden},
title = {Analyzing the Gadgets Towards a Metric to Measure Gadget Quality},
journal = {CoRR},
volume = {abs/1605.08159},
year = {2016},
url = {http://arxiv.org/abs/1605.08159},
eprinttype = {arXiv},
eprint = {1605.08159},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FollnerBB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compsec/OthmaneRFBB15,
author = {Lotfi Ben Othmane and
Rohit Ranchal and
Ruchith Fernando and
Bharat K. Bhargava and
Eric Bodden},
title = {Incorporating attacker capabilities in risk estimation and mitigation},
journal = {Comput. Secur.},
volume = {51},
pages = {41--61},
year = {2015},
url = {https://doi.org/10.1016/j.cose.2015.03.001},
doi = {10.1016/J.COSE.2015.03.001},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compsec/OthmaneRFBB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/0029BBKTARBOM15,
author = {Li Li and
Alexandre Bartel and
Tegawend{\'{e}} F. Bissyand{\'{e}} and
Jacques Klein and
Yves Le Traon and
Steven Arzt and
Siegfried Rasthofer and
Eric Bodden and
Damien Octeau and
Patrick D. McDaniel},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {IccTA: Detecting Inter-Component Privacy Leaks in Android Apps},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {280--291},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.48},
doi = {10.1109/ICSE.2015.48},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/0029BBKTARBOM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AvdiienkoKGZARB15,
author = {Vitalii Avdiienko and
Konstantin Kuznetsov and
Alessandra Gorla and
Andreas Zeller and
Steven Arzt and
Siegfried Rasthofer and
Eric Bodden},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Mining Apps for Abnormal Usage of Sensitive Data},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {426--436},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.61},
doi = {10.1109/ICSE.2015.61},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/AvdiienkoKGZARB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isw/FalzonB15,
author = {Kevin Falzon and
Eric Bodden},
editor = {Javier L{\'{o}}pez and
Chris J. Mitchell},
title = {Dynamically Provisioning Isolation in Hierarchical Architectures},
booktitle = {Information Security - 18th International Conference, {ISC} 2015,
Trondheim, Norway, September 9-11, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9290},
pages = {83--101},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23318-5\_5},
doi = {10.1007/978-3-319-23318-5\_5},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isw/FalzonB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isw/OthmaneCBTBM15,
author = {Lotfi Ben Othmane and
Golriz Chehrazi and
Eric Bodden and
Petar Tsalovski and
Achim D. Brucker and
Philip Miseldine},
editor = {Javier L{\'{o}}pez and
Chris J. Mitchell},
title = {Factors Impacting the Effort Required to Fix Security Vulnerabilities
- An Industrial Case Study},
booktitle = {Information Security - 18th International Conference, {ISC} 2015,
Trondheim, Norway, September 9-11, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9290},
pages = {102--119},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23318-5\_6},
doi = {10.1007/978-3-319-23318-5\_6},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isw/OthmaneCBTBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LerchSBM15,
author = {Johannes Lerch and
Johannes Sp{\"{a}}th and
Eric Bodden and
Mira Mezini},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis
with Unbounded Access Paths {(T)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {619--629},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.9},
doi = {10.1109/ASE.2015.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LerchSBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/ArztNABEM15,
author = {Steven Arzt and
Sarah Nadi and
Karim Ali and
Eric Bodden and
Sebastian Erdweg and
Mira Mezini},
editor = {Gail C. Murphy and
Guy L. Steele Jr.},
title = {Towards secure integration of cryptographic software},
booktitle = {2015 {ACM} International Symposium on New Ideas, New Paradigms, and
Reflections on Programming and Software, Onward! 2015, Pittsburgh,
PA, USA, October 25-30, 2015},
pages = {1--13},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814228.2814229},
doi = {10.1145/2814228.2814229},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/ArztNABEM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ArztRHB15,
author = {Steven Arzt and
Siegfried Rasthofer and
Robert Hahn and
Eric Bodden},
editor = {Anders M{\o}ller and
Mayur Naik},
title = {Using targeted symbolic execution for reducing false-positives in
dataflow analysis},
booktitle = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA,
June 15 - 17, 2015},
pages = {1--6},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771284.2771285},
doi = {10.1145/2771284.2771285},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ArztRHB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/raid/PellegrinoTBR15,
author = {Giancarlo Pellegrino and
Constantin Tsch{\"{u}}rtz and
Eric Bodden and
Christian Rossow},
editor = {Herbert Bos and
Fabian Monrose and
Gregory Blanc},
title = {j{\"{A}}k: Using Dynamic Analysis to Crawl and Test Modern Web
Applications},
booktitle = {Research in Attacks, Intrusions, and Defenses - 18th International
Symposium, {RAID} 2015, Kyoto, Japan, November 2-4, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9404},
pages = {295--316},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26362-5\_14},
doi = {10.1007/978-3-319-26362-5\_14},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/raid/PellegrinoTBR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wistp/RasthoferAHB15,
author = {Siegfried Rasthofer and
Irfan Asrar and
Stephan Huber and
Eric Bodden},
editor = {Raja Naeem Akram and
Sushil Jajodia},
title = {How Current Android Malware Seeks to Evade Automated Code Analysis},
booktitle = {Information Security Theory and Practice - 9th {IFIP} {WG} 11.2 International
Conference, {WISTP} 2015 Heraklion, Crete, Greece, August 24-25, 2015
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9311},
pages = {187--202},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24018-3\_12},
doi = {10.1007/978-3-319-24018-3\_12},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wistp/RasthoferAHB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FollnerB15,
author = {Andreas Follner and
Eric Bodden},
title = {ROPocop - Dynamic Mitigation of Code-Reuse Attacks},
journal = {CoRR},
volume = {abs/1504.02288},
year = {2015},
url = {http://arxiv.org/abs/1504.02288},
eprinttype = {arXiv},
eprint = {1504.02288},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FollnerB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijngc/OthmaneFRBB14,
author = {Lotfi Ben Othmane and
Ruchith Fernando and
Rohit Ranchal and
Bharat K. Bhargava and
Eric Bodden},
title = {Likelihood of Threats to Connected Vehicles},
journal = {Int. J. Next Gener. Comput.},
volume = {5},
number = {3},
year = {2014},
url = {http://perpetualinnovation.net/ojs/index.php/ijngc/article/view/268},
timestamp = {Fri, 10 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijngc/OthmaneFRBB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/BoddenTI14,
author = {Eric Bodden and
{\'{E}}ric Tanter and
Milton Inostroza},
title = {Join point interfaces for safe and flexible decoupling of aspects},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {23},
number = {1},
pages = {7:1--7:41},
year = {2014},
url = {https://doi.org/10.1145/2559933},
doi = {10.1145/2559933},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/BoddenTI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEares/RasthoferALB14,
author = {Siegfried Rasthofer and
Steven Arzt and
Enrico Lovat and
Eric Bodden},
title = {DroidForce: Enforcing Complex, Data-centric, System-wide Policies
in Android},
booktitle = {Ninth International Conference on Availability, Reliability and Security,
{ARES} 2014, Fribourg, Switzerland, September 8-12, 2014},
pages = {40--49},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ARES.2014.13},
doi = {10.1109/ARES.2014.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEares/RasthoferALB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/ArztHRB14,
author = {Steven Arzt and
Stephan Huber and
Siegfried Rasthofer and
Eric Bodden},
editor = {Cliff Wang and
Dijiang Huang and
Kapil Singh and
Zhenkai Liang},
title = {Denial-of-App Attack: Inhibiting the Installation of Android Apps
on Stock Phones},
booktitle = {Proceedings of the 4th {ACM} Workshop on Security and Privacy in Smartphones
{\&} Mobile Devices, SPSM@CCS 2014, Scottsdale, AZ, USA, November
03 - 07, 2014},
pages = {21--26},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2666620.2666621},
doi = {10.1145/2666620.2666621},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/ArztHRB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ArztB14,
author = {Steven Arzt and
Eric Bodden},
editor = {Pankaj Jalote and
Lionel C. Briand and
Andr{\'{e}} van der Hoek},
title = {Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in
response to incremental program changes},
booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
Hyderabad, India - May 31 - June 07, 2014},
pages = {288--298},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2568225.2568243},
doi = {10.1145/2568225.2568243},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/ArztB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LillackKB14,
author = {Max Lillack and
Christian K{\"{a}}stner and
Eric Bodden},
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {Tracking load-time configuration options},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
pages = {445--456},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642937.2643001},
doi = {10.1145/2642937.2643001},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/LillackKB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/RasthoferAB14,
author = {Siegfried Rasthofer and
Steven Arzt and
Eric Bodden},
title = {A Machine-learning Approach for Classifying and Categorizing Android
Sources and Sinks},
booktitle = {21st Annual Network and Distributed System Security Symposium, {NDSS}
2014, San Diego, California, USA, February 23-26, 2014},
publisher = {The Internet Society},
year = {2014},
url = {https://www.ndss-symposium.org/ndss2014/machine-learning-approach-classifying-and-categorizing-android-sources-and-sinks},
timestamp = {Mon, 01 Feb 2021 08:42:18 +0100},
biburl = {https://dblp.org/rec/conf/ndss/RasthoferAB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/WalkingshawKEAB14,
author = {Eric Walkingshaw and
Christian K{\"{a}}stner and
Martin Erwig and
Sven Apel and
Eric Bodden},
editor = {Andrew P. Black and
Shriram Krishnamurthi and
Bernd Bruegge and
Joseph N. Ruskiewicz},
title = {Variational Data Structures: Exploring Tradeoffs in Computing with
Variability},
booktitle = {Onward! 2014, Proceedings of the 2014 {ACM} International Symposium
on New Ideas, New Paradigms, and Reflections on Programming {\&}
Software, part of {SPLASH} '14, Portland, OR, USA, October 20-24,
2014},
pages = {213--226},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661136.2661143},
doi = {10.1145/2661136.2661143},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/WalkingshawKEAB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Bodden14,
author = {Eric Bodden},
editor = {Steven Arzt and
Ra{\'{u}}l A. Santelices},
title = {{TS4J:} a fluent interface for defining and computing typestate analyses},
booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on the
State Of the Art in Java Program analysis, {SOAP} 2014, Edinburgh,
UK, Co-located with {PLDI} 2014, June 12, 2014},
pages = {1:1--1:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2614628.2614629},
doi = {10.1145/2614628.2614629},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Bodden14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Bodden14a,
author = {Eric Bodden},
editor = {Steven Arzt and
Ra{\'{u}}l A. Santelices},
title = {How to build the perfect Swiss army knife, and keep it sharp?: Challenges
for the soot program-analysis framework in the light of past, current
and future demands},
booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on the
State Of the Art in Java Program analysis, {SOAP} 2014, Edinburgh,
UK, Co-located with {PLDI} 2014, June 12, 2014},
pages = {6:1},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2614628.2614634},
doi = {10.1145/2614628.2614634},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Bodden14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ArztRFBBKTOM14,
author = {Steven Arzt and
Siegfried Rasthofer and
Christian Fritz and
Eric Bodden and
Alexandre Bartel and
Jacques Klein and
Yves Le Traon and
Damien Octeau and
Patrick D. McDaniel},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware
taint analysis for Android apps},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {259--269},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594299},
doi = {10.1145/2594291.2594299},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ArztRFBBKTOM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/BoddenTRBBM14,
author = {Eric Bodden and
T{\'{a}}rsis Tol{\^{e}}do and
M{\'{a}}rcio Ribeiro and
Claus Brabrand and
Paulo Borba and
Mira Mezini},
editor = {Wilhelm Hasselbring and
Nils Christian Ehmke},
title = {{SPLLIFT} - Statically Analyzing Software Product Lines in Minutes
Instead of Years},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
25. Februar - 28. Februar 2014, Kiel, Germany},
series = {{LNI}},
volume = {{P-227}},
pages = {81--82},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/30971},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/BoddenTRBBM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sicherheit/BartschBBBHKMSV14,
author = {Steffen Bartsch and
Bernhard J. Berger and
Eric Bodden and
Achim D. Brucker and
Jens Heider and
Mehmet Kus and
S{\"{o}}nke Maseberg and
Karsten Sohr and
Melanie Volkamer},
editor = {Stefan Katzenbeisser and
Volkmar Lotz and
Edgar R. Weippl},
title = {Zertifizierte Datensicherheit f{\"{u}}r Android-Anwendungen auf
Basis statischer Programmanalysen},
booktitle = {Sicherheit 2014: Sicherheit, Schutz und Zuverl{\"{a}}ssigkeit,
Beitr{\"{a}}ge der 7. Jahrestagung des Fachbereichs Sicherheit
der Gesellschaft f{\"{u}}r Informatik e.V. (GI), 19.-21. M{\"{a}}rz
2014, Wien, {\"{O}}sterreich},
series = {{LNI}},
volume = {{P-228}},
pages = {283--291},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/20050},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sicherheit/BartschBBBHKMSV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LerchHBM14,
author = {Johannes Lerch and
Ben Hermann and
Eric Bodden and
Mira Mezini},
editor = {Shing{-}Chi Cheung and
Alessandro Orso and
Margaret{-}Anne D. Storey},
title = {FlowTwist: efficient context-sensitive inside-out taint analysis for
large codebases},
booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
16 - 22, 2014},
pages = {98--108},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2635868.2635878},
doi = {10.1145/2635868.2635878},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LerchHBM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/foal/2014,
editor = {Gary T. Leavens and
Hidehiko Masuhara and
Hridesh Rajan and
Eric Bodden},
title = {Proceedings of the 13th Workshop on Foundations of Aspect-Oriented
Languages, {FOAL} 2014, April 22, 2014, Lugano, Switzerland},
publisher = {{ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2588548},
isbn = {978-1-4503-2798-5},
timestamp = {Wed, 23 Apr 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/foal/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/taosd/2014-11,
editor = {Shigeru Chiba and
{\'{E}}ric Tanter and
Eric Bodden and
Shahar Maoz and
J{\"{o}}rg Kienzle},
title = {Transactions on Aspect-Oriented Software Development {XI}},
series = {Lecture Notes in Computer Science},
volume = {8400},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-55099-7},
doi = {10.1007/978-3-642-55099-7},
isbn = {978-3-642-55098-0},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taosd/2014-11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiBKTARBOM14,
author = {Li Li and
Alexandre Bartel and
Jacques Klein and
Yves Le Traon and
Steven Arzt and
Siegfried Rasthofer and
Eric Bodden and
Damien Octeau and
Patrick D. McDaniel},
title = {I know what leaked in your pocket: uncovering privacy leaks on Android
Apps with Static Taint Analysis},
journal = {CoRR},
volume = {abs/1404.7431},
year = {2014},
url = {http://arxiv.org/abs/1404.7431},
eprinttype = {arXiv},
eprint = {1404.7431},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiBKTARBOM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dud/BoddenRRR13,
author = {Eric Bodden and
Siegfried Rasthofer and
Philipp Richter and
Alexander Ro{\ss}nagel},
title = {Schutzma{\ss}nahmen gegen datenschutz- unfreundliche Smartphone-Apps},
journal = {Datenschutz und Datensicherheit},
volume = {37},
number = {11},
pages = {720--725},
year = {2013},
url = {https://doi.org/10.1007/s11623-013-0300-1},
doi = {10.1007/S11623-013-0300-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dud/BoddenRRR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RobillardBKMR13,
author = {Martin P. Robillard and
Eric Bodden and
David Kawrykow and
Mira Mezini and
Tristan Ratchford},
title = {Automated {API} Property Inference Techniques},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {5},
pages = {613--637},
year = {2013},
url = {https://doi.org/10.1109/TSE.2012.63},
doi = {10.1109/TSE.2012.63},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RobillardBKMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/BoddenTI13,
author = {Eric Bodden and
{\'{E}}ric Tanter and
Milton Inostroza},
editor = {Hidehiko Masuhara and
Shigeru Chiba and
Naoyasu Ubayashi},
title = {A brief tour of join point interfaces},
booktitle = {Aspect-Oriented Software Development, {AOSD} '13, Companion Volume,
Fukuoka, Japan, March 24-29, 2013},
pages = {19--22},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2457392.2457401},
doi = {10.1145/2457392.2457401},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aosd/BoddenTI13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/Bodden13,
author = {Eric Bodden},
editor = {Ahmad{-}Reza Sadeghi and
Virgil D. Gligor and
Moti Yung},
title = {Easily instrumenting android applications for security purposes},
booktitle = {2013 {ACM} {SIGSAC} Conference on Computer and Communications Security,
CCS'13, Berlin, Germany, November 4-8, 2013},
pages = {1499--1502},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2508859.2516759},
doi = {10.1145/2508859.2516759},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/Bodden13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BoddenTRBBM13,
author = {Eric Bodden and
T{\'{a}}rsis Tol{\^{e}}do and
M{\'{a}}rcio Ribeiro and
Claus Brabrand and
Paulo Borba and
Mira Mezini},
editor = {Hans{-}Juergen Boehm and
Cormac Flanagan},
title = {SPL\({}^{\mbox{LIFT}}\): statically analyzing software product lines
in minutes instead of years},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '13, Seattle, WA, USA, June 16-19, 2013},
pages = {355--364},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491956.2491976},
doi = {10.1145/2491956.2491976},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BoddenTRBBM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FalzonBP13,
author = {Kevin Falzon and
Eric Bodden and
Rahul Purandare},
editor = {Axel Legay and
Saddek Bensalem},
title = {Distributed Finite-State Runtime Monitoring with Aggregated Events},
booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8174},
pages = {94--111},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40787-1\_6},
doi = {10.1007/978-3-642-40787-1\_6},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/FalzonBP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ArztRB13,
author = {Steven Arzt and
Siegfried Rasthofer and
Eric Bodden},
editor = {Axel Legay and
Saddek Bensalem},
title = {Instrumenting Android and Java Applications as Easy as abc},
booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8174},
pages = {364--381},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40787-1\_26},
doi = {10.1007/978-3-642-40787-1\_26},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ArztRB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/ArztFFRBS13,
author = {Steven Arzt and
Kevin Falzon and
Andreas Follner and
Siegfried Rasthofer and
Eric Bodden and
Volker Stolz},
editor = {Stefan Wagner and
Horst Lichter},
title = {How Useful Are Existing Monitoring Languages for Securing Android
Apps?},
booktitle = {Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium),
Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 1. M{\"{a}}rz
2013 in Aachen},
series = {{LNI}},
volume = {{P-215}},
pages = {107--122},
publisher = {{GI}},
year = {2013},
url = {https://dl.gi.de/handle/20.500.12116/17418},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/ArztFFRBS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/OcteauMJBBKT13,
author = {Damien Octeau and
Patrick D. McDaniel and
Somesh Jha and
Alexandre Bartel and
Eric Bodden and
Jacques Klein and
Yves Le Traon},
editor = {Samuel T. King},
title = {Effective Inter-Component Communication Mapping in Android: An Essential
Step Towards Holistic Security Analysis},
booktitle = {Proceedings of the 22th {USENIX} Security Symposium, Washington, DC,
USA, August 14-16, 2013},
pages = {543--558},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/usenixsecurity13/technical-sessions/presentation/octeau},
timestamp = {Mon, 01 Feb 2021 08:42:56 +0100},
biburl = {https://dblp.org/rec/conf/uss/OcteauMJBBKT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/soco/2013,
editor = {Walter Binder and
Eric Bodden and
Welf L{\"{o}}we},
title = {Software Composition - 12th International Conference, SC@STAF 2013,
Budapest, Hungary, June 19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8088},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39614-4},
doi = {10.1007/978-3-642-39614-4},
isbn = {978-3-642-39613-7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/soco/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BoddenH12,
author = {Eric Bodden and
Laurie J. Hendren},
title = {The Clara framework for hybrid typestate analysis},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {3},
pages = {307--326},
year = {2012},
url = {https://doi.org/10.1007/s10009-010-0183-5},
doi = {10.1007/S10009-010-0183-5},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BoddenH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/BoddenLH12,
author = {Eric Bodden and
Patrick Lam and
Laurie J. Hendren},
title = {Partially Evaluating Finite-State Runtime Monitors Ahead of Time},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {34},
number = {2},
pages = {7:1--7:52},
year = {2012},
url = {https://doi.org/10.1145/2220365.2220366},
doi = {10.1145/2220365.2220366},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/BoddenLH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foal/Bodden12,
author = {Eric Bodden},
editor = {Shmuel Katz and
Gary T. Leavens and
Hidehiko Masuhara},
title = {Towards typesafe weaving for modular reasoning in aspect-oriented
programs},
booktitle = {Proceedings of the eleventh workshop on Foundations of Aspect-Oriented
Languages, {FOAL} 2012, Potsdam, Germany, March 25-30, 2012},
pages = {1--2},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2162010.2162012},
doi = {10.1145/2162010.2162012},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foal/Bodden12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BoddenFR12,
author = {Eric Bodden and
Andreas Follner and
Siegfried Rasthofer},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Challenges in Defining a Programming Language for Provably Correct
Dynamic Analyses},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {4--18},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_2},
doi = {10.1007/978-3-642-34026-0\_2},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BoddenFR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BoddenFPS12,
author = {Eric Bodden and
Kevin Falzon and
Ka I Pun and
Volker Stolz},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Delta-Oriented Monitor Specification},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change - 5th International Symposium, ISoLA
2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7609},
pages = {162--177},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34026-0\_13},
doi = {10.1007/978-3-642-34026-0\_13},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BoddenFPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/ThiesB12,
author = {Andreas Thies and
Eric Bodden},
editor = {Mats Per Erik Heimdahl and
Zhendong Su},
title = {RefaFlex: safer refactorings for reflective Java programs},
booktitle = {International Symposium on Software Testing and Analysis, {ISSTA}
2012, Minneapolis, MN, USA, July 15-20, 2012},
pages = {1--11},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2338965.2336754},
doi = {10.1145/2338965.2336754},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/issta/ThiesB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isw/AlsouriSSBMK12,
author = {Sami Alsouri and
Jan Sinschek and
Andreas Sewe and
Eric Bodden and
Mira Mezini and
Stefan Katzenbeisser},
editor = {Dieter Gollmann and
Felix C. Freiling},
title = {Dynamic Anomaly Detection for More Trustworthy Outsourced Computation},
booktitle = {Information Security - 15th International Conference, {ISC} 2012,
Passau, Germany, September 19-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7483},
pages = {168--187},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33383-5\_11},
doi = {10.1007/978-3-642-33383-5\_11},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isw/AlsouriSSBMK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Bodden12a,
author = {Eric Bodden},
editor = {Eric Bodden and
Laurie J. Hendren and
Patrick Lam and
Elena Sherman},
title = {Inter-procedural data-flow analysis with {IFDS/IDE} and Soot},
booktitle = {Proceedings of the {ACM} {SIGPLAN} International Workshop on State
of the Art in Java Program analysis, {SOAP} 2012, Beijing, China,
June 14, 2012},
pages = {3--8},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2259051.2259052},
doi = {10.1145/2259051.2259052},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Bodden12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Bodden12,
author = {Eric Bodden},
editor = {Sergio Maffeis and
Tamara Rezk},
title = {Static flow-sensitive {\&} context-sensitive information-flow
analysis for software product lines: position paper},
booktitle = {Proceedings of the 2012 Workshop on Programming Languages and Analysis
for Security, {PLAS} 2012, Beijing, China, 15 June, 2012},
pages = {6},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2336717.2336723},
doi = {10.1145/2336717.2336723},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Bodden12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Bodden12b,
author = {Eric Bodden},
editor = {Eric Bodden and
Laurie J. Hendren and
Patrick Lam and
Elena Sherman},
title = {InvokeDynamic support in Soot},
booktitle = {Proceedings of the {ACM} {SIGPLAN} International Workshop on State
of the Art in Java Program analysis, {SOAP} 2012, Beijing, China,
June 14, 2012},
pages = {51--55},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2259051.2259059},
doi = {10.1145/2259051.2259059},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Bodden12b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/AnsaloniBBBHMQSSTZ12,
author = {Danilo Ansaloni and
Walter Binder and
Christoph Bockisch and
Eric Bodden and
Kardelen Hatun and
Luk{\'{a}}s Marek and
Zhengwei Qi and
Aibek Sarimbekov and
Andreas Sewe and
Petr Tuma and
Yudi Zheng},
editor = {Thomas Gschwind and
Flavio De Paoli and
Volker Gruhn and
Matthias Book},
title = {Challenges for Refinement and Composition of Instrumentations: Position
Paper},
booktitle = {Software Composition - 11th International Conference, SC@TOOLS 2012,
Prague, Czech Republic, May 31 - June 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7306},
pages = {86--96},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30564-1\_6},
doi = {10.1007/978-3-642-30564-1\_6},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soco/AnsaloniBBBHMQSSTZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2012w,
editor = {Eric Bodden and
Madanlal Musuvathi},
title = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2012), {WODA} 2012, Minneapolis,
MN, USA, Sunday, July 15, 2012},
publisher = {{ACM}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2338966},
isbn = {978-1-4503-1455-8},
timestamp = {Wed, 15 Jun 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/2012w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2012soap,
editor = {Eric Bodden and
Laurie J. Hendren and
Patrick Lam and
Elena Sherman},
title = {Proceedings of the {ACM} {SIGPLAN} International Workshop on State
of the Art in Java Program analysis, {SOAP} 2012, Beijing, China,
June 14, 2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2259051},
doi = {10.1145/2259051},
isbn = {978-1-4503-1490-9},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2012soap.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/Bodden11,
author = {Eric Bodden},
editor = {Paulo Borba and
Shigeru Chiba},
title = {Closure joinpoints: block joinpoints without surprises},
booktitle = {Proceedings of the 10th International Conference on Aspect-Oriented
Software Development, {AOSD} 2011, Porto de Galinhas, Brazil, March
21-25, 2011},
pages = {117--128},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1960275.1960291},
doi = {10.1145/1960275.1960291},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aosd/Bodden11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BoddenSSOM11,
author = {Eric Bodden and
Andreas Sewe and
Jan Sinschek and
Hela Oueslati and
Mira Mezini},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Taming reflection: Aiding static analysis in the presence of reflection
and custom class loaders},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {241--250},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985827},
doi = {10.1145/1985793.1985827},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/BoddenSSOM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Bodden11,
author = {Eric Bodden},
editor = {Leonardo Mariani and
Xiangyu Zhang},
title = {Continuation equivalence: a correctness criterion for static optimizations
of dynamic analyses},
booktitle = {Proceedings of the International Workshop on Dynamic Analysis: held
in conjunction with the {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis {(ISSTA} 2011), {WODA} 2011, Toronto,
ON, Canada, July 18, 2011},
pages = {24--28},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2002951.2002958},
doi = {10.1145/2002951.2002958},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/Bodden11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Bodden11,
author = {Eric Bodden},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {MOPBox: {A} Library Approach to Runtime Verification - (Tool Demonstration)},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {365--369},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_28},
doi = {10.1007/978-3-642-29860-8\_28},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/Bodden11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Bodden11,
author = {Eric Bodden},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {Stateful breakpoints: a practical approach to defining parameterized
runtime monitors},
booktitle = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of
Software Engineering {(FSE-19)} and ESEC'11: 13th European Software
Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9,
2011},
pages = {492--495},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025201},
doi = {10.1145/2025113.2025201},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/Bodden11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/InostrozaTB11,
author = {Milton Inostroza and
{\'{E}}ric Tanter and
Eric Bodden},
editor = {Tibor Gyim{\'{o}}thy and
Andreas Zeller},
title = {Join point interfaces for modular reasoning in aspect-oriented programs},
booktitle = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of
Software Engineering {(FSE-19)} and ESEC'11: 13th European Software
Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9,
2011},
pages = {508--511},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2025113.2025205},
doi = {10.1145/2025113.2025205},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/InostrozaTB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BoddenHLLN10,
author = {Eric Bodden and
Laurie J. Hendren and
Patrick Lam and
Ondrej Lhot{\'{a}}k and
Nomair A. Naeem},
title = {Collaborative Runtime Verification with Tracematches},
journal = {J. Log. Comput.},
volume = {20},
number = {3},
pages = {707--723},
year = {2010},
url = {https://doi.org/10.1093/logcom/exn077},
doi = {10.1093/LOGCOM/EXN077},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BoddenHLLN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BoddenH10,
author = {Eric Bodden and
Klaus Havelund},
title = {Aspect-Oriented Race Detection in Java},
journal = {{IEEE} Trans. Software Eng.},
volume = {36},
number = {4},
pages = {509--527},
year = {2010},
url = {https://doi.org/10.1109/TSE.2010.25},
doi = {10.1109/TSE.2010.25},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BoddenH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Bodden10,
author = {Eric Bodden},
editor = {Jeff Kramer and
Judith Bishop and
Premkumar T. Devanbu and
Sebasti{\'{a}}n Uchitel},
title = {Efficient hybrid typestate analysis by determining continuation-equivalent
states},
booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software
Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8
May 2010},
pages = {5--14},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806799.1806805},
doi = {10.1145/1806799.1806805},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/Bodden10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iri/AlnusairZB10,
author = {Awny Alnusair and
Tian Zhao and
Eric Bodden},
title = {Effective {API} navigation and reuse},
booktitle = {Proceedings of the {IEEE} International Conference on Information
Reuse and Integration, {IRI} 2010, 4-6 August 2010, Las Vegas, Nevada,
{USA}},
pages = {7--12},
publisher = {{IEEE} Systems, Man, and Cybernetics Society},
year = {2010},
url = {https://doi.org/10.1109/IRI.2010.5558972},
doi = {10.1109/IRI.2010.5558972},
timestamp = {Thu, 16 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iri/AlnusairZB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BoddenL10,
author = {Eric Bodden and
Patrick Lam},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial
Supplement},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {74--88},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_8},
doi = {10.1007/978-3-642-16612-9\_8},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/conf/rv/BoddenL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BoddenLH10,
author = {Eric Bodden and
Patrick Lam and
Laurie J. Hendren},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Clara: {A} Framework for Partially Evaluating Finite-State Runtime
Monitors Ahead of Time},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {183--197},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_15},
doi = {10.1007/978-3-642-16612-9\_15},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/BoddenLH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KimBBK10,
author = {Chang Hwan Peter Kim and
Eric Bodden and
Don S. Batory and
Sarfraz Khurshid},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Reducing Configurations to Monitor in a Software Product Line},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {285--299},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_22},
doi = {10.1007/978-3-642-16612-9\_22},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/KimBBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BruchBMM10,
author = {Marcel Bruch and
Eric Bodden and
Martin Monperrus and
Mira Mezini},
editor = {Gruia{-}Catalin Roman and
Kevin J. Sullivan},
title = {{IDE} 2.0: collective intelligence in software development},
booktitle = {Proceedings of the Workshop on Future of Software Engineering Research,
FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {53--58},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882362.1882374},
doi = {10.1145/1882362.1882374},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BruchBMM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/BoddenCR09,
author = {Eric Bodden and
Feng Chen and
Grigore Rosu},
editor = {Kevin J. Sullivan and
Ana Moreira and
Christa Schwanninger and
Jeff Gray},
title = {Dependent advice: a general approach to optimizing history-based aspects},
booktitle = {Proceedings of the 8th International Conference on Aspect-Oriented
Software Development, {AOSD} 2009, Charlottesville, Virginia, USA,
March 2-6, 2009},
pages = {3--14},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1509239.1509243},
doi = {10.1145/1509239.1509243},
timestamp = {Mon, 21 Jun 2021 12:26:27 +0200},
biburl = {https://dblp.org/rec/conf/aosd/BoddenCR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/BoddenSH08,
author = {Eric Bodden and
Reehan Shaikh and
Laurie J. Hendren},
editor = {Theo D'Hondt},
title = {Relational aspects as tracematches},
booktitle = {Proceedings of the 7th International Conference on Aspect-Oriented
Software Development, {AOSD} 2008, Brussels, Belgium, March 31 - April
4, 2008},
pages = {84--95},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1353482.1353493},
doi = {10.1145/1353482.1353493},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aosd/BoddenSH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcs/BoddenLH08,
author = {Eric Bodden and
Patrick Lam and
Laurie J. Hendren},
editor = {Erol Gelenbe and
Samson Abramsky and
Vladimiro Sassone},
title = {Object representatives: a uniform abstraction for pointer information},
booktitle = {Visions of Computer Science - {BCS} International Academic Conference,
Imperial College, London, UK, 22-24 September 2008},
pages = {391--405},
publisher = {British Computer Society},
year = {2008},
url = {http://www.bcs.org/server.php?show=ConWebDoc.22982},
timestamp = {Mon, 19 Dec 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bcs/BoddenLH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/BoddenH08,
author = {Eric Bodden and
Klaus Havelund},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {Racer: effective race detection using aspectj},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {155--166},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390650},
doi = {10.1145/1390630.1390650},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/BoddenH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BoddenLH08,
author = {Eric Bodden and
Patrick Lam and
Laurie J. Hendren},
editor = {Mary Jean Harrold and
Gail C. Murphy},
title = {Finding programming errors earlier by evaluating runtime monitors
ahead-of-time},
booktitle = {Proceedings of the 16th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2008, Atlanta, Georgia, USA,
November 9-14, 2008},
pages = {36--47},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1453101.1453109},
doi = {10.1145/1453101.1453109},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BoddenLH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/BoddenV07,
author = {Eric Bodden and
Hans Vangheluwe},
editor = {Andy Sch{\"{u}}rr and
Manfred Nagl and
Albert Z{\"{u}}ndorf},
title = {Transforming Timeline Specifications into Automata for Runtime Monitoring},
booktitle = {Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
2007, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5088},
pages = {249--264},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89020-1\_18},
doi = {10.1007/978-3-540-89020-1\_18},
timestamp = {Thu, 14 Oct 2021 10:29:53 +0200},
biburl = {https://dblp.org/rec/conf/agtive/BoddenV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BoddenHL07,
author = {Eric Bodden and
Laurie J. Hendren and
Ondrej Lhot{\'{a}}k},
editor = {Erik Ernst},
title = {A Staged Static Program Analysis to Improve the Performance of Runtime
Monitoring},
booktitle = {{ECOOP} 2007 - Object-Oriented Programming, 21st European Conference,
Berlin, Germany, July 30 - August 3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4609},
pages = {525--549},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73589-2\_25},
doi = {10.1007/978-3-540-73589-2\_25},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/BoddenHL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/VangheluweSB07,
author = {Hans Vangheluwe and
Ximeng Sun and
Eric Bodden},
editor = {Joaquim Filipe and
Boris Shishkov and
Markus Helfert},
title = {Domain-Specific Modelling With Atom3},
booktitle = {{ICSOFT} 2007, Proceedings of the Second International Conference
on Software and Data Technologies, Volume PL/DPS/KE/MUSE, Barcelona,
Spain, July 22-25, 2007},
pages = {298--304},
publisher = {{INSTICC} Press},
year = {2007},
timestamp = {Tue, 24 Feb 2009 15:16:22 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/VangheluweSB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Bodden07,
author = {Eric Bodden},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {The design and implementation of formal monitoring techniques},
booktitle = {Companion to the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
October 21-25, 2007, Montreal, Quebec, Canada},
pages = {939--940},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297846.1297955},
doi = {10.1145/1297846.1297955},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Bodden07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BoddenHLLN07,
author = {Eric Bodden and
Laurie J. Hendren and
Patrick Lam and
Ondrej Lhot{\'{a}}k and
Nomair A. Naeem},
editor = {Oleg Sokolsky and
Serdar Tasiran},
title = {Collaborative Runtime Verification with Tracematches},
booktitle = {Runtime Verification, 7th International Workshop, {RV} 2007, Vancouver,
Canada, March 13, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4839},
pages = {22--37},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77395-5\_3},
doi = {10.1007/978-3-540-77395-5\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/BoddenHLLN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/AvgustinovBHHLMOSSTV06,
author = {Pavel Avgustinov and
Eric Bodden and
Elnar Hajiyev and
Laurie J. Hendren and
Ondrej Lhot{\'{a}}k and
Oege de Moor and
Neil Ongkingco and
Damien Sereni and
Ganesh Sittampalam and
Julian Tibble and
Mathieu Verbaere},
editor = {Klaus Havelund and
Manuel N{\'{u}}{\~{n}}ez and
Grigore Rosu and
Burkhart Wolff},
title = {Aspects for Trace Monitoring},
booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
WA, USA, August 15-16, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4262},
pages = {20--39},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11940197\_2},
doi = {10.1007/11940197\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/AvgustinovBHHLMOSSTV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gsem/BoddenFS06,
author = {Eric Bodden and
Florian Forster and
Friedrich Steimann},
editor = {Robert Hirschfeld and
Andreas Polze and
Ryszard Kowalczyk},
title = {Avoiding Infinite Recursion with Stratified Aspects},
booktitle = {Conference Proceedings NODe 2006, {GSEM} 2006, Erfurt, Germany, September
18-20, 2006},
series = {{LNI}},
volume = {{P-88}},
pages = {49--64},
publisher = {{GI}},
year = {2006},
url = {https://dl.gi.de/handle/20.500.12116/24102},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gsem/BoddenFS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/AvgustinovBHMOSST06,
author = {Pavel Avgustinov and
Eric Bodden and
Elnar Hajiyev and
Oege de Moor and
Neil Ongkingco and
Damien Sereni and
Ganesh Sittampalam and
Julian Tibble},
editor = {Tarmo Uustalu},
title = {Aspects and Data Refinement},
booktitle = {Mathematics of Program Construction, 8th International Conference,
{MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4014},
pages = {5--9},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11783596\_3},
doi = {10.1007/11783596\_3},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mpc/AvgustinovBHMOSST06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/AvgustinovTBHLMOS06,
author = {Pavel Avgustinov and
Julian Tibble and
Eric Bodden and
Laurie J. Hendren and
Ondrej Lhot{\'{a}}k and
Oege de Moor and
Neil Ongkingco and
Ganesh Sittampalam},
editor = {Peri L. Tarr and
William R. Cook},
title = {Efficient trace monitoring},
booktitle = {Companion to the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
October 22-26, 2006, Portland, Oregon, {USA}},
pages = {685--686},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176617.1176673},
doi = {10.1145/1176617.1176673},
timestamp = {Sat, 31 Jul 2021 17:22:24 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/AvgustinovTBHLMOS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/BoddenS06,
author = {Eric Bodden and
Volker Stolz},
editor = {Welf L{\"{o}}we and
Mario S{\"{u}}dholt},
title = {Tracechecks: Defining Semantic Interfaces with Temporal Logic},
booktitle = {Software Composition - 5th International Symposium, SC@ETAPS 2006,
Vienna, Austria, March 25-26, 2006, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {4089},
pages = {147--162},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11821946\_10},
doi = {10.1007/11821946\_10},
timestamp = {Thu, 25 Jun 2020 18:19:17 +0200},
biburl = {https://dblp.org/rec/conf/soco/BoddenS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StolzB06,
author = {Volker Stolz and
Eric Bodden},
editor = {Howard Barringer and
Bernd Finkbeiner and
Yuri Gurevich and
Henny Sipma},
title = {Temporal Assertions using AspectJ},
booktitle = {Proceedings of the Fifth Workshop on Runtime Verification, RV@CAV
2005, Edinburgh, UK, July 12, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {4},
pages = {109--124},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.02.007},
doi = {10.1016/J.ENTCS.2006.02.007},
timestamp = {Fri, 16 Dec 2022 11:10:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/StolzB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Bodden04,
author = {Eric Bodden},
editor = {John M. Vlissides and
Douglas C. Schmidt},
title = {A lightweight {LTL} runtime verification tool for java},
booktitle = {Companion to the 19th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2004,
October 24-28, 2004, Vancouver, BC, Canada},
pages = {306--307},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1028664.1028776},
doi = {10.1145/1028664.1028776},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Bodden04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Bodden03,
author = {Eric Bodden},
editor = {Ron Crocker and
Guy L. Steele Jr.},
title = {A high-level view of Java applications},
booktitle = {Companion of the 18th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2003,
October 26-30, 2003, Anaheim, CA, {USA}},
pages = {384--385},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/949344.949447},
doi = {10.1145/949344.949447},
timestamp = {Fri, 25 Jun 2021 17:20:20 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/Bodden03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-09-14 02:03 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:
