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