Jan Haltermann

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