Department of Computing Science  (» Postal address)

A02 03-338 (» Adress and map )

+49 441 798-2066  (F&P

Contact

Ulhornsweg 84 - Room A02 3-338

Jan Haltermann

Research interests:

Software verfication, in particular currently

  • Cooperative Software verification
  • Invariant generation
  • Machine Learning in Software verification

Publications

  • [inproceedings] bibtex | Go to document Go to document
    D. Beyer, J. Haltermann, T. Lemberger, and 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.
    @inproceedings{DBLP:conf/se/0001H0W23,
      author = {Dirk Beyer and Jan Haltermann and Thomas Lemberger and Heike Wehrheim},
      editor = {Gregor Engels and Regina Hebig and Matthias Tichy},
      title = {Component-based {CEGAR} - Building Software Verifiers from Off-the-Shelf Components},
      booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn},
      series = {{LNI}},
      volume = {{P-332}},
      pages = {37--38},
      publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
      year = {2023},
      url = {https://dl.gi.de/20.500.12116/40128},
      timestamp = {Wed, 18 Jan 2023 17:44:00 +0100},
      biburl = {https://dblp.org/rec/conf/se/0001H0W23.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Go to document Go to document
    C. Richter, J. Haltermann, M. -, F. Pauck, S. Schott, and 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.
    @inproceedings{DBLP:conf/se/RichterHJPSW23,
      author = {Cedric Richter and Jan Haltermann and Marie{-}Christine Jakobs and Felix Pauck and Stefan Schott and Heike Wehrheim},
      editor = {Gregor Engels and Regina Hebig and Matthias Tichy},
      title = {Variable Misuse Detection: Software Developers versus Neural Bug Detectors},
      booktitle = {Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn},
      series = {{LNI}},
      volume = {{P-332}},
      pages = {103--104},
      publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
      year = {2023},
      url = {https://dl.gi.de/20.500.12116/40105},
      timestamp = {Wed, 18 Jan 2023 00:00:00 +0100},
      biburl = {https://dblp.org/rec/conf/se/RichterHJPSW23.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Go to document Go to document
    D. Beyer, J. Haltermann, T. Lemberger, and 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.
    @inproceedings{DBLP:conf/icse/00010HW22,
      author = {Dirk Beyer and Jan Haltermann and Thomas Lemberger and Heike Wehrheim},
      title = {Decomposing Software Verification into Off-the-Shelf Components: An Application to {CEGAR}},
      booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering, {ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
      pages = {536--548},
      publisher = {{ACM}},
      year = {2022},
      url = {https://doi.org/10.1145/3510003.3510064},
      doi = {10.1145/3510003.3510064},
      timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
      biburl = {https://dblp.org/rec/conf/icse/00010HW22.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Go to document Go to document
    J. Haltermann and 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.
    @inproceedings{DBLP:conf/icst/HaltermannW22,
      author = {Jan Haltermann and Heike Wehrheim},
      title = {Machine Learning Based Invariant Generation: {A} Framework and Reproducibility Study},
      booktitle = {15th {IEEE} Conference on Software Testing, Verification and Validation, {ICST} 2022, Valencia, Spain, April 4-14, 2022},
      pages = {12--23},
      publisher = {{IEEE}},
      year = {2022},
      url = {https://doi.org/10.1109/ICST53961.2022.00012},
      doi = {10.1109/ICST53961.2022.00012},
      timestamp = {Mon, 13 Jun 2022 16:53:36 +0200},
      biburl = {https://dblp.org/rec/conf/icst/HaltermannW22.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Go to document Go to document
    C. Richter, J. Haltermann, M. -, F. Pauck, S. Schott, and 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.
    @inproceedings{DBLP:conf/kbse/RichterHJPSW22,
      author = {Cedric Richter and Jan Haltermann and Marie{-}Christine Jakobs and Felix Pauck and Stefan Schott and Heike Wehrheim},
      title = {Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?},
      booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2022, Rochester, MI, USA, October 10-14, 2022},
      pages = {9:1--9:12},
      publisher = {{ACM}},
      year = {2022},
      url = {https://doi.org/10.1145/3551349.3561156},
      doi = {10.1145/3551349.3561156},
      timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
      biburl = {https://dblp.org/rec/conf/kbse/RichterHJPSW22.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Go to document Go to document
    J. Haltermann and 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.
    @inproceedings{DBLP:conf/se/HaltermannW22,
      author = {Jan Haltermann and Heike Wehrheim},
      editor = {Lars Grunske and Janet Siegmund and Andreas Vogelsang},
      title = {CoVEGI: Cooperative Verification via Externally Generated Invariants},
      booktitle = {Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell},
      series = {{LNI}},
      volume = {{P-320}},
      pages = {41--42},
      publisher = {Gesellschaft f{\"{u}}r Informatik e.V.},
      year = {2022},
      url = {https://doi.org/10.18420/se2022-ws-011},
      doi = {10.18420/se2022-ws-011},
      timestamp = {Fri, 21 Jan 2022 16:00:25 +0100},
      biburl = {https://dblp.org/rec/conf/se/HaltermannW22.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Go to document Go to document
    J. Haltermann and 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.
    @inproceedings{DBLP:conf/sefm/HaltermannW22,
      author = {Jan Haltermann and Heike Wehrheim},
      editor = {Bernd{-}Holger Schlingloff and Ming Chai},
      title = {Information Exchange Between Over- and Underapproximating Software Analyses},
      booktitle = {Software Engineering and Formal Methods - 20th International Conference, {SEFM} 2022, Berlin, Germany, September 26-30, 2022, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {13550},
      pages = {37--54},
      publisher = {Springer},
      year = {2022},
      url = {https://doi.org/10.1007/978-3-031-17108-6\_3},
      doi = {10.1007/978-3-031-17108-6\_3},
      timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/sefm/HaltermannW22.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Go to document Go to document
    J. Haltermann and 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.
    @inproceedings{DBLP:conf/fase/HaltermannW21,
      author = {Jan Haltermann and Heike Wehrheim},
      editor = {Esther Guerra and Mari{\"{e}}lle Stoelinga},
      title = {CoVEGI: Cooperative Verification via Externally Generated Invariants},
      booktitle = {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},
      series = {Lecture Notes in Computer Science},
      volume = {12649},
      pages = {108--129},
      publisher = {Springer},
      year = {2021},
      url = {https://doi.org/10.1007/978-3-030-71500-7\_6},
      doi = {10.1007/978-3-030-71500-7\_6},
      timestamp = {Fri, 14 May 2021 08:34:15 +0200},
      biburl = {https://dblp.org/rec/conf/fase/HaltermannW21.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • J. Haltermann and H. Wehrheim, "Cooperative Verification via Collective Invariant Generation" CoRR, vol. abs/2008.04551, 2020.
    @article{DBLP:journals/corr/abs-2008-04551,
      author = {Jan Haltermann and Heike Wehrheim},
      title = {Cooperative Verification via Collective Invariant Generation},
      journal = {CoRR},
      volume = {abs/2008.04551},
      year = {2020},
      url = {https://arxiv.org/abs/2008.04551},
      eprinttype = {arXiv},
      eprint = {2008.04551},
      timestamp = {Fri, 14 Aug 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/corr/abs-2008-04551.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • 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, and M. Stienemeier, "Fully-Featured Anonymous Credentials with Reputation System" IACR Cryptol. ePrint Arch. p. 835, 2018.
    @article{DBLP:journals/iacr/BemmannBBBDEEHJ18,
      author = {Kai Bemmann and Johannes Bl{\"{o}}mer and Jan Bobolz and Henrik Br{\"{o}}cher and Denis Diemert and Fabian Eidens and Lukas Eilers and Jan Haltermann and Jakob Juhnke and Burhan Otour and Laurens Porzenheim and Simon Pukrop and Erik Schilling and Michael Schlichtig and Marcel Stienemeier},
      title = {Fully-Featured Anonymous Credentials with Reputation System},
      journal = {{IACR} Cryptol. ePrint Arch.},
      pages = {835},
      year = {2018},
      url = {https://eprint.iacr.org/2018/835},
      timestamp = {Mon, 11 May 2020 01:00:00 +0200},
      biburl = {https://dblp.org/rec/journals/iacr/BemmannBBBDEEHJ18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Go to document Go to document
    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, and 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.
    @inproceedings{DBLP:conf/IEEEares/BemmannBBBDEEHJ18,
      author = {Kai Bemmann and Johannes Bl{\"{o}}mer and Jan Bobolz and Henrik Br{\"{o}}cher and Denis Diemert and Fabian Eidens and Lukas Eilers and Jan Haltermann and Jakob Juhnke and Burhan Otour and Laurens Porzenheim and Simon Pukrop and Erik Schilling and Michael Schlichtig and Marcel Stienemeier},
      editor = {Sebastian Doerr and Mathias Fischer and Sebastian Schrittwieser and Dominik Herrmann},
      title = {Fully-Featured Anonymous Credentials with Reputation System},
      booktitle = {Proceedings of the 13th International Conference on Availability, Reliability and Security, {ARES} 2018, Hamburg, Germany, August 27-30, 2018},
      pages = {42:1--42:10},
      publisher = {{ACM}},
      year = {2018},
      url = {https://doi.org/10.1145/3230833.3234517},
      doi = {10.1145/3230833.3234517},
      timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/IEEEares/BemmannBBBDEEHJ18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Go to document Go to document
    P. Börding, J. Haltermann, M. -, and 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.
    @inproceedings{DBLP:conf/pts/BordingHJW18,
      author = {Paul B{\"{o}}rding and Jan Haltermann and Marie{-}Christine Jakobs and Heike Wehrheim},
      editor = {Inmaculada Medina{-}Bulo and Mercedes G. Merayo and Robert M. Hierons},
      title = {JMCTest: Automatically Testing Inter-Method Contracts in Java},
      booktitle = {Testing Software and Systems - 30th {IFIP} {WG} 6.1 International Conference, {ICTSS} 2018, C{\'{a}}diz, Spain, October 1-3, 2018, Proceedings},
      series = {Lecture Notes in Computer Science},
      volume = {11146},
      pages = {39--55},
      publisher = {Springer},
      year = {2018},
      url = {https://doi.org/10.1007/978-3-319-99927-2\_4},
      doi = {10.1007/978-3-319-99927-2\_4},
      timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/pts/BordingHJW18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
(Changed: 19 Dec 2022)