Send email Copy Email Address
Placeholder
PhD Student

Christopher Hahn

Email

Address

Campus E 1.1
66123 Saarbrücken (Germany)

Member of Groups

Publications by Christopher Hahn

Year 2019

Conference / Medium

IEEE Symposium on Logic in Computer Science, LICS

Article

Formal Methods Syst. Des.

Year 2018

Conference / Medium

ATVA
Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Conference / Medium

CAV
Computer Aided Verification

Conference / Medium

TACAS
Tools and Algorithms for the Construction and Analysis of Systems

Conference / Medium

CAV
Computer Aided Verification

Year 2017

Conference / Medium

CAV
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Conference / Medium

CAV
Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Year 2016

Conference / Medium

CONCUR
27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada

Article

CoRR