Jan Haltermann, M.Sc.

Address:	Jan Haltermann Paderborn University Faculty of Electrical Engineering, Computer Science and Mathematics Warburger Str. 100 D-33098 Paderborn, Germany
Office:	O4.131 Availability (Working hours): Monday - Friday 08:30 am until 15:30 pm Calender
Phone:	+49 (0) 5251-60-1709
Fax:	+49 (0) 5251-60-3993
Email:	jfh(at)mail.uni-paderborn.de
Secretary:	Elisabeth Schlatt Phone: +49 (0) 5251-60-3764 Email: schlatt(at)mail.upb.de Office: O4.125

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.

DOI

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.

DOI https://github.com/upbcuk

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

J.F. Haltermann, H. Wehrheim, ArXiv:2008.04551 (2020).

Show all publications

Further information :

Research Interest

Kooperative Softwareverifikation