Richter, C., Haltermann, J. F., Jakobs, M.-C., Pauck, F., Schott, S., &; Wehrheim, H. (2023). Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? 37th IEEE/ACM International Conference on Automated Software Engineering.https://doi.org/10.1145/3551349.3561156 
LibreCat: /record/35426
DOI: 10.1145/3551349.3561156

Haltermann, J. F., &; Wehrheim, H. (2020). Cooperative Verification via Collective Invariant Generation. ArXiv:2008.04551.
LibreCat: /record/17825

Haltermann, J. F. (2019). Analyzing Data Usage in Array Programs.
LibreCat: /record/12885

Bemmann, K., Blömer, J., Bobolz, J., Bröcher, H., Diemert, D. P., Eidens, F.,https://doi.org/10.1145/3230833.3234517__Stienemeier, M. (n.d.). Fully-Featured Anonymous Credentials with Reputation System. In Proceedings of the 13th International Conference on Availability, Reliability and Security - ARES ’18. New York, NY, USA: ACM.https://doi.org/10.1145/3230833.3234517 
LibreCat: /record/3265
DOI: 10.1145/3230833.3234517

Börding, P., Haltermann, J. F., Jakobs, M.-C., &; Wehrheim, H. (2018). JMCTest: Automatically Testing Inter-Method Contracts in Java. In Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018) (Vol. 11146, pp. 39--55). Cádiz, Spain: Springer.
LibreCat: /record/3414