@inproceedingsRichter_Haltermann_Jakobs_Pauck_Schott_Wehrheim_2023, title=Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?, DOI=10.1145/3551349.3561156, booktitle=37th IEEE/ACM International Conference on Automated Software Engineering, publisher=ACM, author=Richter, Cedric and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Pauck, Felix and Schott, Stefan and Wehrheim, Heike, year=2023 
LibreCat: /record/35426
DOI: 10.1145/3551349.3561156

@articleHaltermann_Wehrheim_2020, title=Cooperative Verification via Collective Invariant Generation, journal=arXiv:2008.04551, author=Haltermann, Jan Frederik and Wehrheim, Heike, year=2020 
LibreCat: /record/17825

@bookHaltermann_2019, title=Analyzing Data Usage in Array Programs, author=Haltermann, Jan Frederik, year=2019 
LibreCat: /record/12885

@inproceedingsBemmann_Blömer_Bobolz_Bröcher_Diemert_Eidens_Eilers_Haltermann_Juhnke_Otour_et al., place=New York, NY, USA, title=Fully-Featured Anonymous Credentials with Reputation System, DOI=10.1145/3230833.3234517, booktitle=Proceedings of the 13th International Conference on Availability, Reliability and Security - ARES ’18, publisher=ACM, author=Bemmann, Kai and Blömer, Johannes and Bobolz, Jan and Bröcher, Henrik and Diemert, Denis Pascal and Eidens, Fabian and Eilers, Lukas and Haltermann, Jan Frederik and Juhnke, Jakob and Otour, Burhan and et al. 
LibreCat: /record/3265
DOI: 10.1145/3230833.3234517

@inproceedingsBörding_Haltermann_Jakobs_Wehrheim_2018, series=Lecture Notes in Computer Science, title=JMCTest: Automatically Testing Inter-Method Contracts in Java, volume=11146, booktitle=Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), publisher=Springer, author=Börding, Paul and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Wehrheim, Heike, year=2018, pages=39--55, collection=Lecture Notes in Computer Science 
LibreCat: /record/3414