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 

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

Haltermann, J. F. (2019). Analyzing Data Usage in Array Programs.

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 

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.