Wickert, A.-K., Schlichtig, M., Vogel, M., Winter, L., Mezini, M., &; Bodden, E. (2024). Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability.
LibreCat: /record/52663

Shivarpatna Venkatesh, A. P., Wang, J., Li, L., &; Bodden, E. (2023). Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. IEEE SANER 2023 (International Conference on Software Analysis, Evolution and Reengineering).https://doi.org/10.48550/ARXIV.2301.04419 
LibreCat: /record/36522
DOI: 10.48550/ARXIV.2301.04419

Khedkar, M. (n.d.). Static Analysis for Android GDPR Compliance Assurance. Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23).https://doi.org/10.1109/ICSE-Companion58688.2023.00054 
LibreCat: /record/44146
DOI: 10.1109/ICSE-Companion58688.2023.00054
arXiv: 2303.09606

Nachtigall, M., Schlichtig, M., &; Bodden, E. (2023). Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale. In Software Engineering 2023 (pp. 95–96). Gesellschaft für Informatik e.V.
LibreCat: /record/52662

Schlichtig, M., Sassalla, S., Narasimhan, K., &; Bodden, E. (2023). Introducing FUM: A Framework for API Usage Constraint and Misuse Classification. In Software Engineering 2023 (pp. 105–106). Gesellschaft für Informatik e.V.
LibreCat: /record/52660

Schlichtig, M., Wickert, A.-K., Krüger, S., Bodden, E., &; Mezini, M. (2022). CamBench -- Cryptographic API Misuse Detection Tool Benchmark Suite.https://doi.org/10.48550/ARXIV.2204.06447 
LibreCat: /record/32409
DOI: 10.48550/ARXIV.2204.06447

Nachtigall, M., Schlichtig, M., &; Bodden, E. (2022). A Large-Scale Study of Usability Criteria Addressed by Static Analysis Tools. Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, 532–543.https://doi.org/10.1145/3533767 
LibreCat: /record/32410
DOI: 10.1145/3533767

Schlichtig, M., Sassalla, S., Narasimhan, K., &; Bodden, E. (2022). FUM - A Framework for API Usage constraint and Misuse Classification. 2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 673–684.https://doi.org/10.1109/SANER53432.2022.00085 
LibreCat: /record/31133
DOI: https://doi.org/10.1109/SANER53432.2022.00085

Schubert, P., Gazzillo, P., Patterson, Z., Braha, J., Schiebel, F., Hermann, B., Wei, S., &; Bodden, E. (2022). Static data-flow analysis for software product lines in C. Automated Software Engineering, 29(1), Article 35.https://doi.org/10.1007/s10515-022-00333-1 
LibreCat: /record/30511
DOI: 10.1007/s10515-022-00333-1

Kummita, S., Piskachev, G., Spaeth, J., &; Bodden, E. (2021). Qualitative and Quantitative Analysis of Callgraph Algorithms for PYTHON. In Proceedings of the 2021 International Conference on Code Quality (ICCQ). Virtual.https://doi.org/10.1109/ICCQ51190.2021.9392986 
LibreCat: /record/23388
DOI: 10.1109/ICCQ51190.2021.9392986

Krüger, S., Späth, J., Ali, K., Bodden, E., &; Mezini, M. (2019). CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Transactions on Software Engineering, 1–1.https://doi.org/10.1109/TSE.2019.2948910 
LibreCat: /record/20533
DOI: 10.1109/TSE.2019.2948910

Kummita, S., &; Piskachev, G. (2019). Integration of the Static Analysis Results Interchange Format in CogniCrypt.
LibreCat: /record/23389

Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., &; Bodden, E. (2018). Debugging Static Analysis. IEEE Transactions on Software Engineering, 1–1.https://doi.org/10.1109/TSE.2018.2868349 
LibreCat: /record/20543
DOI: 10.1109/TSE.2018.2868349

Lillack, M., Kästner, C., &; Bodden, E. (2017). Tracking Load-time Configuration Options. IEEE Transactions on Software Engineering, PP(99), 1–1.https://doi.org/10.1109/TSE.2017.2756048 
LibreCat: /record/20557
DOI: 10.1109/TSE.2017.2756048

Do, L. N. Q., Ali, K., Livshits, B., Bodden, E., Smith, J., &; Murphy-Hill, E. (2017). Just-in-time Static Analysis. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, 307–317.https://doi.org/10.1145/3092703.3092705 
LibreCat: /record/20559
DOI: 10.1145/3092703.3092705