Jan Haltermann, M.Sc.

Spezifikation und Modellierung von Softwaresystemen

Mitglied - Ehemaliger

Büro­anschrift:
Pohlweg 51
33098 Paderborn
Raum:
O4.131
Sprechstunden:

Verfügbarkeit (Arbeitszeiten):
Montag - Freitag
8.30 Uhr bis 15.30 Uhr

Kaleder

Publikationen

Aktuelle Publikationen

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.


Cooperative Verification via Collective Invariant Generation

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


Analyzing Data Usage in Array Programs

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


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.


Alle Publikationen anzeigen