Department für Informatik  (» Postanschrift)

A02 03-338 (» Adresse und Lageplan )

+49 441 798-2066  (F&P

Sekretariat

Marion Bramkamp

Uhlhornsweg 84 — Raum A3 2-208

+49 441 798-2426

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
    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 = {Wed, 07 Apr 2021 01:00:00 +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},
      archivePrefix = {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., vol. 2018, 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.},
      volume = {2018},
      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, 17 Jan 2019 22:19:51 +0100},
      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 = {Tue, 14 May 2019 10:00:53 +0200},
      biburl = {https://dblp.org/rec/conf/pts/BordingHJW18.bib},
      bibsource = {dblp computer science bibliography, https://dblp.org} }
(Stand: 23.09.2021)