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
K. Bemmann et al., “Fully-Featured Anonymous Credentials with Reputation System,” in Proceedings of the 13th International Conference on Availability, Reliability and Security - ARES ’18, Hamburg, Germany.
LibreCat | Files available | DOI | Download (ext.)

2018 | Conference Paper | LibreCat-ID: 3414
P. Börding, J. F. Haltermann, M.-C. Jakobs, and H. Wehrheim, “JMCTest: Automatically Testing Inter-Method Contracts in Java,” in Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018), Cádiz, Spain, 2018, vol. 11146, pp. 39--55.
LibreCat | Files available

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

2020 | Preprint | LibreCat-ID: 17825
J. F. Haltermann and H. 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: IEEE

Export / Embed