J. Haltermann, M. -, C. Richter, und H. Wehrheim, "Ranged Program Analysis: A Parallel Divide-and-Conquer Approach for Software Verification" in Proc. Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26 - March 1, 2024, 2024.
doi: 10.18420/SW2024_52

J. Haltermann, M. -, C. Richter, und H. Wehrheim, "Parallel Program Analysis on Path Ranges" CoRR, vol. abs/2402.11938.
doi: 10.48550/ARXIV.2402.11938

J. Haltermann, M. -, C. Richter, und H. Wehrheim, "Parallel Program Analysis via Range Splitting" in Proc. Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, 2023.
doi: 10.1007/978-3-031-30826-0_11

D. Beyer, J. Haltermann, T. Lemberger, und H. Wehrheim, "Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components" in Proc. Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn, 2023.

C. Richter, J. Haltermann, M. -, F. Pauck, S. Schott, und H. Wehrheim, "Variable Misuse Detection: Software Developers versus Neural Bug Detectors" in Proc. Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn, 2023.

J. Haltermann, M. -, C. Richter, und H. Wehrheim, "Ranged Program Analysis via Instrumentation" in Proc. Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, 2023.
doi: 10.1007/978-3-031-47115-5_9

N. Thoben, J. Haltermann, und H. Wehrheim, "Timeout Prediction for Software Analyses" in Proc. Software Engineering and Formal Methods - 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings, 2023.
doi: 10.1007/978-3-031-47115-5_19

D. Beyer, J. Haltermann, T. Lemberger, und H. Wehrheim, "Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR" in Proc. 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, 2022.
doi: 10.1145/3510003.3510064

J. Haltermann und H. Wehrheim, "Machine Learning Based Invariant Generation: A Framework and Reproducibility Study" in Proc. 15th IEEE Conference on Software Testing, Verification and Validation, ICST 2022, Valencia, Spain, April 4-14, 2022, 2022.
doi: 10.1109/ICST53961.2022.00012

C. Richter, J. Haltermann, M. -, F. Pauck, S. Schott, und H. Wehrheim, "Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?" in Proc. 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022, 2022.
doi: 10.1145/3551349.3561156

J. Haltermann und H. Wehrheim, "CoVEGI: Cooperative Verification via Externally Generated Invariants" in Proc. Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell, 2022.
doi: 10.18420/SE2022-WS-011

J. Haltermann und H. Wehrheim, "Information Exchange Between Over- and Underapproximating Software Analyses" in Proc. Software Engineering and Formal Methods - 20th International Conference, SEFM 2022, Berlin, Germany, September 26-30, 2022, Proceedings, 2022.
doi: 10.1007/978-3-031-17108-6_3

J. Haltermann und H. Wehrheim, "CoVEGI: Cooperative Verification via Externally Generated Invariants" in Proc. Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, 2021.
doi: 10.1007/978-3-030-71500-7_6

J. Haltermann und H. Wehrheim, "Cooperative Verification via Collective Invariant Generation" CoRR, vol. abs/2008.04551.

K. Bemmann, J. Blömer, J. Bobolz, H. Bröcher, D. Diemert, F. Eidens, L. Eilers, J. Haltermann, J. Juhnke, B. Otour, L. Porzenheim, S. Pukrop, E. Schilling, M. Schlichtig, und M. Stienemeier, "Fully-Featured Anonymous Credentials with Reputation System" in Proc. Proceedings of the 13th International Conference on Availability, Reliability and Security, ARES 2018, Hamburg, Germany, August 27-30, 2018, 2018.
doi: 10.1145/3230833.3234517

P. Börding, J. Haltermann, M. -, und H. Wehrheim, "JMCTest: Automatically Testing Inter-Method Contracts in Java" in Proc. Testing Software and Systems - 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings, 2018.
doi: 10.1007/978-3-319-99927-2_4

K. Bemmann, J. Blömer, J. Bobolz, H. Bröcher, D. Diemert, F. Eidens, L. Eilers, J. Haltermann, J. Juhnke, B. Otour, L. Porzenheim, S. Pukrop, E. Schilling, M. Schlichtig, und M. Stienemeier, "Fully-Featured Anonymous Credentials with Reputation System" IACR Cryptol. ePrint Arch. p. 835.