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.

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 

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 

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.

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.

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 

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 

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 

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 

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 

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 

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

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 

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 

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