E-mail senden E-Mail Adresse kopieren
Doktorand:in

Christopher Hahn

E-Mail

Adresse

Campus E1 1
66123 Saarbrücken (Germany)

Gruppenmitglied in

Veröffentlichungen von Christopher Hahn

Jahr 2020

Konferenz / Medium

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

Artikel

International Journal on Software Tools for Technology Transfer

Jahr 2019

Konferenz / Medium

LICS
IEEE Symposium on Logic in Computer Science, LICS

Artikel

Formal Methods Syst. Des.

Jahr 2018

Konferenz / Medium

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

Konferenz / Medium

CAV
Computer Aided Verification

Konferenz / Medium

TACAS
Tools and Algorithms for the Construction and Analysis of Systems

Konferenz / Medium

CAV
Computer Aided Verification

Jahr 2017

Konferenz / Medium

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