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
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.
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.
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.
J.F. Haltermann, Analyzing Data Usage in Array Programs, 2019.
J.F. Haltermann, H. Wehrheim, ArXiv:2008.04551 (2020).
Research Interest
Kooperative Softwareverifikation