Jan Haltermann

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 19

Top Topics

Software Developers

Reputation Mechanisms

Completely Automatic

Top Venues

Software Engineering

Publications

Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
Parallel program analysis on path ranges. Sci. Comput. Program. 238 (2024)
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
Parallel Program Analysis on Path Ranges. CoRR (2024)
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification. Software Engineering (2024)
Jan Haltermann, Heike Wehrheim
Exchanging information in cooperative software validation. Softw. Syst. Model. 23 (3) (2024)
Nicola Thoben, Jan Haltermann, Heike Wehrheim
Timeout Prediction for Software Analyses. SEFM (2023)
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
Ranged Program Analysis via Instrumentation. SEFM (2023)
Jan Haltermann, Marie-Christine Jakobs, Cedric Richter, Heike Wehrheim
Parallel Program Analysis via Range Splitting. FASE (2023)
Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim
Variable Misuse Detection: Software Developers versus Neural Bug Detectors. Software Engineering (2023)
Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim
Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components. Software Engineering (2023)
Jan Haltermann, Heike Wehrheim
Information Exchange Between Over- and Underapproximating Software Analyses. SEFM (2022)
Jan Haltermann, Heike Wehrheim
CoVEGI: Cooperative Verification via Externally Generated Invariants. Software Engineering (2022)
Cedric Richter, Jan Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, Heike Wehrheim
Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? ASE (2022)
Dirk Beyer, Thomas Lemberger, Jan Haltermann, Heike Wehrheim
Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR. ICSE (2022)
Jan Haltermann, Heike Wehrheim
Machine Learning Based Invariant Generation: A Framework and Reproducibility Study. ICST (2022)
Jan Haltermann, Heike Wehrheim
CoVEGI: Cooperative Verification via Externally Generated Invariants. FASE (2021)
Jan Haltermann, Heike Wehrheim
Cooperative Verification via Collective Invariant Generation. CoRR (2020)
Paul Börding, Jan Haltermann, Marie-Christine Jakobs, Heike Wehrheim
JMCTest: Automatically Testing Inter-Method Contracts in Java. ICTSS (2018)
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
Fully-Featured Anonymous Credentials with Reputation System. ARES (2018)
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
Fully-Featured Anonymous Credentials with Reputation System. IACR Cryptol. ePrint Arch. 2018 (2018)