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

 

Te­a­ching

WS 2019/20           Modellierung Organization, Tutorial

 

Pu­bli­ca­ti­ons

2023

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.


2020

Cooperative Verification via Collective Invariant Generation

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


2019

Analyzing Data Usage in Array Programs

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


2018

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
Sie interessieren sich für:
Research Interest

Kooperative Softwareverifikation