Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

4 Publications

2018 | Conference Paper | LibreCat-ID: 3265 | OA
Bemmann, Kai, Johannes Blömer, Jan Bobolz, Henrik Bröcher, Denis Pascal Diemert, Fabian Eidens, Lukas Eilers, et al. “Fully-Featured Anonymous Credentials with Reputation System.” In Proceedings of the 13th International Conference on Availability, Reliability and Security - ARES ’18. New York, NY, USA: ACM, n.d.
LibreCat | Files available | DOI | Download (ext.)

2018 | Conference Paper | LibreCat-ID: 3414
Börding, Paul, Jan Frederik Haltermann, Marie-Christine Jakobs, and Heike Wehrheim. “JMCTest: Automatically Testing Inter-Method Contracts in Java.” In Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), 11146:39--55. Lecture Notes in Computer Science. Springer, 2018.
LibreCat | Files available

2019 | Mastersthesis | LibreCat-ID: 12885
Haltermann, Jan Frederik. Analyzing Data Usage in Array Programs, 2019.
LibreCat | Files available

2020 | Preprint | LibreCat-ID: 17825
Haltermann, Jan Frederik, and Heike Wehrheim. “Cooperative Verification via Collective Invariant Generation.” ArXiv:2008.04551, 2020.

Filters and Search Terms



Filter Publications

Display / Sort

Sorted by: Publication Type , Publishing Year
Citation Style: Chicago

Export / Embed