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

2020 | Preprint | LibreCat-ID: 17825
Haltermann JF, Wehrheim H. Cooperative Verification via Collective Invariant Generation. arXiv:200804551. 2020.

2019 | Mastersthesis | LibreCat-ID: 12885
Haltermann JF. Analyzing Data Usage in Array Programs.; 2019.
LibreCat | Files available

2018 | Conference Paper | LibreCat-ID: 3265 | OA
Bemmann K, Blömer J, Bobolz J, 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. doi:10.1145/3230833.3234517
LibreCat | Files available | DOI | Download (ext.)

2018 | Conference Paper | LibreCat-ID: 3414
Börding P, Haltermann JF, Jakobs M-C, Wehrheim H. JMCTest: Automatically Testing Inter-Method Contracts in Java. In: Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS 2018). Vol 11146. Lecture Notes in Computer Science. Springer; 2018:39--55.
LibreCat | Files available

Filters and Search Terms




Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed