Department für Informatik  (» Postanschrift)

A02 03-338 (» Adresse und Lageplan )

+49 441 798-2066  (F&P

Kontakt

Ulhornsweg 84 - Raum A02 3-338

Jan Haltermann

Forschungsinteressen:

Softwareverifikation, speziell

  • Kooperative Softwareverifikation
  • Generierung von Invarianten
  • Machine Learning in Softwareverifikation

Veröffentlichungen

  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    D. Beyer, T. Lemberger, J. Haltermann, 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, pp. 536-548.
    @inproceedings{DBLP:conf/icse/00010HW22,
      author = {Dirk Beyer and Thomas Lemberger and Jan Haltermann 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 = {{IEEE}},
      year = {2022},
      url = {https://ieeexplore.ieee.org/document/9793863},
      timestamp = {Thu, 23 Jun 2022 13:11:29 +0200},
      biburl = {https://dblp.org/rec/conf/icse/00010HW22.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    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, pp. 12-23.
    @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 | Dokument aufrufen Dokument aufrufen
    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, pp. 41-42.
    @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 | Dokument aufrufen Dokument aufrufen
    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, pp. 108-129.
    @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 und 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, und 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 | Dokument aufrufen Dokument aufrufen
    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, p. 42:1-42:10.
    @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 = {Thu, 14 Oct 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/IEEEares/BemmannBBBDEEHJ18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
  • [inproceedings] bibtex | Dokument aufrufen Dokument aufrufen
    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, pp. 39-55.
    @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 = {Thu, 14 Oct 2021 01:00:00 +0200},
      biburl = {https://dblp.org/rec/conf/pts/BordingHJW18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
(Stand: 20.04.2022)