Jan Haltermann, M.Sc.
Address: | Jan Haltermann |
Office: | O4.131 |
Phone: | +49 (0) 5251-60-1709 |
Fax: | +49 (0) 5251-60-3993 |
Email: | |
Secretary: | Elisabeth Schlatt |
Teaching
WS 2019/20 Modellierung | Organization, Tutorial |
Publications
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?
C. Richter, J.F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, H. Wehrheim, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.
Fully-Featured Anonymous Credentials with Reputation System
K. Bemmann, J. Blömer, J. Bobolz, H. Bröcher, D.P. Diemert, F. Eidens, L. Eilers, J.F. Haltermann, J. Juhnke, B. Otour, L.A. Porzenheim, S. Pukrop, E. Schilling, M. Schlichtig, M. Stienemeier, in: Proceedings of the 13th International Conference on Availability, Reliability and Security - ARES ’18, ACM, New York, NY, USA, n.d.
JMCTest: Automatically Testing Inter-Method Contracts in Java
P. Börding, J.F. Haltermann, M.-C. Jakobs, H. Wehrheim, in: Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), Springer, 2018, pp. 39--55.
Analyzing Data Usage in Array Programs
J.F. Haltermann, Analyzing Data Usage in Array Programs, 2019.
Cooperative Verification via Collective Invariant Generation
Show all publications
J.F. Haltermann, H. Wehrheim, ArXiv:2008.04551 (2020).
Research Interest
Kooperative Softwareverifikation