Jan Haltermann

According to our database1, Jan Haltermann authored at least 4 papers between 2018 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
CoVEGI: Cooperative Verification via Externally Generated Invariants.
Proceedings of the Fundamental Approaches to Software Engineering, 2021

2020
Cooperative Verification via Collective Invariant Generation.
CoRR, 2020

2018
Fully-Featured Anonymous Credentials with Reputation System.
IACR Cryptol. ePrint Arch., 2018

JMCTest: Automatically Testing Inter-Method Contracts in Java.
Proceedings of the Testing Software and Systems, 2018


  Loading...