Statistics
Publications
4
Citations
126
H-Index
4
Active since
2016
Affiliations
Saarland University(Current)
Christopher Hahn is an author at Saarland University specializing in temporal logic, computer science, and formal methods.
Publications per year
2016–2019
4
4
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger et al. · Formal Methods in System Design · 2019 · 47 citations · Full text
Synthesis from hyperproperties
Bernd Finkbeiner, Christopher Hahn, Philip Lukert et al. · Acta Informatica · 2019 · 24 citations · Full text
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger et al. · Figshare · 2018 · 17 citations
1–4 of 4