JMCTest: Automatically Testing Inter-Method Contracts in Java. - Paul Börding; Jan Haltermann; Marie-Christine Jakobs; Heike Wehrheim (ICTSS, 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; et al. (IACR Cryptol. ePrint Arch., 2018)

Cooperative Verification via Collective Invariant Generation. - Jan Haltermann; Heike Wehrheim (CoRR, 2020)

Reproduction Package (Reduced Version) for Article "Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR". - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2021)

Reproduction Package (Full Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2021)

Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (ICSE, 2022)

Machine Learning Based Invariant Generation: A Framework and Reproducibility Study. - Jan Haltermann; Heike Wehrheim (ICST, 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 (ASE, 2022)

CoVEGI: Cooperative Verification via Externally Generated Invariants. - Jan Haltermann; Heike Wehrheim (Software Engineering, 2022)

Information Exchange Between Over- and Underapproximating Software Analyses. - Jan Haltermann; Heike Wehrheim (SEFM, 2022)

Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2022)

CPAchecker Release 2.1.1 (unix). - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim; Philipp Wendler (Zenodo, 2022)

Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Zenodo, 2022)

Parallel Program Analysis via Range Splitting. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (FASE, 2023)

Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components. - Dirk Beyer 001; Jan Haltermann; Thomas Lemberger 002; Heike Wehrheim (Software Engineering, 2023)

Variable Misuse Detection: Software Developers versus Neural Bug Detectors. - Cedric Richter; Jan Haltermann; Marie-Christine Jakobs; Felix Pauck; Stefan Schott; Heike Wehrheim (Software Engineering, 2023)

Ranged Program Analysis via Instrumentation. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (SEFM, 2023)

Timeout Prediction for Software Analyses. - Nicola Thoben; Jan Haltermann; Heike Wehrheim (SEFM, 2023)

Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (Software Engineering, 2024)

Parallel program analysis on path ranges. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (Sci. Comput. Program., 2024)

Replication package for article 'Parallel Program Analysis on Path Ranges'. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (Zenodo, 2024)

Artifact for research regarding Ranged Program Analysis. - Jan Haltermann; Marie-Christine Jakobs; Cedric Richter; Heike Wehrheim (Zenodo, 2024)

Exchanging information in cooperative software validation. - Jan Haltermann; Heike Wehrheim (Softw. Syst. Model., 2024)