Jan Haltermann

According to our database, Jan Haltermann authored at least 21 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Exchanging information in cooperative software validation.

Jan Haltermann, Heike Wehrheim

Softw. Syst. Model., June, 2024

Parallel program analysis on path ranges.

Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim

Sci. Comput. Program., 2024

Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification.

Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim

Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024

2023

Timeout Prediction for Software Analyses.

Nicola Thoben, Jan Haltermann, Heike Wehrheim

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Ranged Program Analysis via Instrumentation.

Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

Variable Misuse Detection: Software Developers versus Neural Bug Detectors.

Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim

Proceedings of the Software Engineering 2023, 2023

Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components.

Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim

Proceedings of the Software Engineering 2023, 2023

Parallel Program Analysis via Range Splitting.

Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'.

Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim

Dataset, February, 2022

CPAchecker Release 2.1.1 (unix).

Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim, Philipp Wendler

Dataset, January, 2022

Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'.

Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim

Dataset, January, 2022

Information Exchange Between Over- and Underapproximating Software Analyses.

Jan Haltermann, Heike Wehrheim

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

CoVEGI: Cooperative Verification via Externally Generated Invariants.

Jan Haltermann, Heike Wehrheim

Proceedings of the Software Engineering 2022, 2022

Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?

Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Machine Learning Based Invariant Generation: A Framework and Reproducibility Study.

Jan Haltermann, Heike Wehrheim

Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR.

Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

Reproduction Package (Full Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'.

Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim

Dataset, September, 2021

Reproduction Package (Reduced Version) for Article "Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR".

Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim

Dataset, September, 2021

2020

Cooperative Verification via Collective Invariant Generation.

Jan Haltermann, Heike Wehrheim

CoRR, 2020

2018

Fully-Featured Anonymous Credentials with Reputation System.

Kai Bemmann, Johannes Blömer, Jan Bobolz, Henrik Bröcher, Denis Diemert, Fabian Eidens, Lukas Eilers, Jan Haltermann, Jakob Juhnke, Burhan Otour, Laurens Porzenheim, Simon Pukrop, Erik Schilling, Michael Schlichtig, Marcel Stienemeier

IACR Cryptol. ePrint Arch., 2018

JMCTest: Automatically Testing Inter-Method Contracts in Java.

Paul Börding, Jan Haltermann, Marie-Christine Jakobs, Heike Wehrheim

Proceedings of the Testing Software and Systems, 2018