Dr. Christopher Hahn

While being a member of this group or in collaboration with us.

• NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis
  Matthias Cosler, Christopher Hahn, Ayham Omar and Frederik Schmitt · TACAS 2024
• nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
  Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt and Caroline Trippel · CAV 2023
• Iterative Circuit Repair Against Formal Specifications
  Matthias Cosler, Frederik Schmitt, Christopher Hahn and Bernd Finkbeiner · ICLR 2023
• Temporal Causality in Reactive Systems
  Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger and Julian Siber · ATVA 2022
• Explaining Hyperproperty Violations
  Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger and Julian Siber · CAV 2022
• Neural Circuit Synthesis from Specification Patterns
  Frederik Schmitt, Christopher Hahn, Markus N. Rabe and Bernd Finkbeiner · NeurIPS 2021
• Visual Analysis of Hyperproperties for Understanding Model Checking Results
  Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner and Raimund Dachselt · VIS 2021
• Runtime Enforcement of Hyperproperties
  Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann and Yannick Schillo · ATVA 2021
• Deep Learning for Temporal Logics
  Frederik Schmitt, Christopher Hahn, Jens Kreber, Markus N. Rabe and Bernd Finkbeiner · AITP 2021
• Teaching Temporal Logics to Neural Networks
  Christopher Hahn, Frederik Schmitt, Jens Kreber, Markus N. Rabe and Bernd Finkbeiner · ICLR 2021
• The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective
  Norine Coenen, Bernd Finkbeiner, Christopher Hahn and Jana Hofmann · KR 2020
• Transformers Generalize to the Semantics of Logics
  Christopher Hahn, Frederik Schmitt, Jens Kreber, Markus N. Rabe and Bernd Finkbeiner · arxiv preprint
• Realizing Omega-regular Hyperproperties
  Bernd Finkbeiner, Christopher Hahn, Jana Hofmann and Leander Tentrup · CAV 2020
• Efficient monitoring of hyperproperties using prefix trees
  Bernd Finkbeiner, Christopher Hahn, Marvin Stenger and Leander Tentrup · STTT 2020
• Synthesis from Hyperproperties
  Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger and Leander Tentrup · Acta Informatica
• Algorithms for Monitoring Hyperproperties
  Christopher Hahn · RV 2019 @ FM'19
• Monitoring Hyperproperties
  Bernd Finkbeiner, Christopher Hahn, Marvin Stenger and Leander Tentrup · FMSD
• The Hierarchy of Hyperlogics
  Norine Coenen, Bernd Finkbeiner, Christopher Hahn and Jana Hofmann · LICS 2019
• Constraint-based Monitoring of Hyperproperties
  Christopher Hahn, Marvin Stenger and Leander Tentrup · TACAS 2019
• Model Checking Quantitative Hyperproperties
  Bernd Finkbeiner, Christopher Hahn and Hazem Torfah · CAV 2018
• Synthesizing Reactive Systems from Hyperproperties
  Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger and Leander Tentrup · CAV 2018
• RVHyper: A Runtime Verification Tool for Temporal Hyperproperties
  Bernd Finkbeiner, Christopher Hahn, Marvin Stenger and Leander Tentrup · TACAS 2018
• Monitoring Hyperproperties
  Bernd Finkbeiner, Christopher Hahn, Marvin Stenger and Leander Tentrup · RV 2017
• EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties
  Bernd Finkbeiner, Christopher Hahn and Marvin Stenger · CAV 2017
• Deciding Hyperproperties
  Bernd Finkbeiner and Christopher Hahn · CONCUR 2016

While being a member of this group or in collaboration with us.

• Satisfiability and Monitoring of Hyperproperties
  Christopher Hahn · UdS (Master Thesis)
• Deciding HyperLTL
  Christopher Hahn · UdS (Bachelor Thesis)

• Towards Synthesizing Smart Contracts: Reducing ATL* Synthesis to HyperLTL Synthesis
  Matthias Cosler · Bachelor Thesis
• Algorithms for Deciding HyperCTL*
  Tobias Hans · Master Thesis
• LTL Synthesis from Specification Patterns with Neural Networks
  Frederik Schmitt · Master Thesis
• Formal Specifications from Natural Language
  Julia Tillman · Research Immersion Lab
• Generating and Solving Temporal Logic Problems with Adversarial Transformers
  Jens Kreber · Master Thesis
• Predicting Timed Traces with Neural Networks
  Ayham Omar · Bachelor Thesis
• Repairing Circuits with Transformers
  Matthias Cosler · Master Thesis

• Neural-Symbolic Computing

  Advisor·Reactive Systems Group · Summer 2022
• Programmierung 1

  Teaching Assistant·Reactive Systems Group · Winter 2017/2018