@bookWickert_Schlichtig_Vogel_Winter_Mezini_Bodden_2024, title=Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability, author=Wickert, Anna-Katharina and Schlichtig, Michael and Vogel, Marvin and Winter, Lukas and Mezini, Mira and Bodden, Eric, year=2024 
LibreCat: /record/52663

@inproceedingsShivarpatna Venkatesh_Wang_Li_Bodden_2023, title=Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis, DOI=10.48550/ARXIV.2301.04419, publisher=IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering), author=Shivarpatna Venkatesh, Ashwin Prasad and Wang, Jiawei and Li, Li and Bodden, Eric, year=2023 
LibreCat: /record/36522
DOI: 10.48550/ARXIV.2301.04419

@inproceedingsKhedkar, title=Static Analysis for Android GDPR Compliance Assurance, DOI=10.1109/ICSE-Companion58688.2023.00054, booktitle=Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23), author=Khedkar, Mugdha 
LibreCat: /record/44146
DOI: 10.1109/ICSE-Companion58688.2023.00054
arXiv: 2303.09606

@inbookNachtigall_Schlichtig_Bodden_2023, place=Bonn, title=Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale, booktitle=Software Engineering 2023, publisher=Gesellschaft für Informatik e.V., author=Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric, year=2023, pages=95–96 
LibreCat: /record/52662

@inbookSchlichtig_Sassalla_Narasimhan_Bodden_2023, place=Bonn, title=Introducing FUM: A Framework for API Usage Constraint and Misuse Classification, booktitle=Software Engineering 2023, publisher=Gesellschaft für Informatik e.V., author=Schlichtig, Michael and Sassalla, Steffen and Narasimhan, Krishna and Bodden, Eric, year=2023, pages=105–106 
LibreCat: /record/52660

@bookSchlichtig_Wickert_Krüger_Bodden_Mezini_2022, title=CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite, DOI=10.48550/ARXIV.2204.06447, author=Schlichtig, Michael and Wickert, Anna-Katharina and Krüger, Stefan and Bodden, Eric and Mezini, Mira, year=2022 
LibreCat: /record/32409
DOI: 10.48550/ARXIV.2204.06447

@inproceedingsNachtigall_Schlichtig_Bodden_2022, title=A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools, DOI=10.1145/3533767, booktitle=Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, publisher=ACM, author=Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric, year=2022, pages=532–543 
LibreCat: /record/32410
DOI: 10.1145/3533767

@inproceedingsSchlichtig_Sassalla_Narasimhan_Bodden_2022, title=FUM - A Framework for API Usage constraint and Misuse Classification, DOI=https://doi.org/10.1109/SANER53432.2022.00085, booktitle=2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), author=Schlichtig, Michael and Sassalla, Steffen and Narasimhan, Krishna and Bodden, Eric, year=2022, pages=673–684 
LibreCat: /record/31133
DOI: https://doi.org/10.1109/SANER53432.2022.00085

@articleSchubert_Gazzillo_Patterson_Braha_Schiebel_Hermann_Wei_Bodden_2022, title=Static data-flow analysis for software product lines in C, volume=29, DOI=10.1007/s10515-022-00333-1, number=135, journal=Automated Software Engineering, publisher=Springer Science and Business Media LLC, author=Schubert, Philipp and Gazzillo, Paul and Patterson, Zach and Braha, Julian and Schiebel, Fabian and Hermann, Ben and Wei, Shiyi and Bodden, Eric, year=2022 
LibreCat: /record/30511
DOI: 10.1007/s10515-022-00333-1

@inproceedingsKummita_Piskachev_Spaeth_Bodden_2021, title=Qualitative and Quantitative Analysis of Callgraph Algorithms for PYTHON, DOI=10.1109/ICCQ51190.2021.9392986, booktitle=Proceedings of the 2021 International Conference on Code Quality (ICCQ), author=Kummita, Sriteja and Piskachev, Goran and Spaeth, Johannes and Bodden, Eric, year=2021 
LibreCat: /record/23388
DOI: 10.1109/ICCQ51190.2021.9392986

@articleKrüger_Späth_Ali_Bodden_Mezini_2019, title=CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs, DOI=10.1109/TSE.2019.2948910, journal=IEEE Transactions on Software Engineering, author=Krüger, Stefan and Späth, Johannes and Ali, Karim and Bodden, Eric and Mezini, Mira, year=2019, pages=1–1 
LibreCat: /record/20533
DOI: 10.1109/TSE.2019.2948910

@bookKummita_Piskachev_2019, title=Integration of the Static Analysis Results Interchange Format in CogniCrypt, author=Kummita, Sriteja and Piskachev, Goran, year=2019 
LibreCat: /record/23389

@articleNguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title=Debugging Static Analysis, DOI=10.1109/TSE.2018.2868349, journal=IEEE Transactions on Software Engineering, author=Nguyen Quang Do, Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric, year=2018, pages=1–1 
LibreCat: /record/20543
DOI: 10.1109/TSE.2018.2868349

@articleLillack_Kästner_Bodden_2017, title=Tracking Load-time Configuration Options, volume=PP, DOI=10.1109/TSE.2017.2756048, number=99, journal=IEEE Transactions on Software Engineering, author=Lillack, Max and Kästner, Christian and Bodden, Eric, year=2017, pages=1–1 
LibreCat: /record/20557
DOI: 10.1109/TSE.2017.2756048

@inproceedingsDo_Ali_Livshits_Bodden_Smith_Murphy-Hill_2017, place=New York, NY, USA, series=ISSTA 2017, title=Just-in-time Static Analysis, DOI=10.1145/3092703.3092705, booktitle=Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, publisher=ACM, author=Do, Lisa Nguyen Quang and Ali, Karim and Livshits, Benjamin and Bodden, Eric and Smith, Justin and Murphy-Hill, Emerson, year=2017, pages=307–317, collection=ISSTA 2017 
LibreCat: /record/20559
DOI: 10.1145/3092703.3092705