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 2020

Conference / Medium

CAV
Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part II

Article

International Journal on Software Tools for Technology Transfer

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