Christopher Hahn

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 60

Top Topics

Top Venues

Publications

Petra Berenbrink, Felix Biermeier, Christopher Hahn
Undecided State Dynamics with Stubborn Agents. CoRR (2024)
Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. TACAS (3) (2024)
Christopher Hahn, Jonas Harbig, Peter Kling
Forming Large Patterns with Local Robots in the OBLOT Model. SAND (2024)
Seung Whan Chung, Youngsoo Choi, Pratanu Roy, Thomas Moore, Thomas Roy, Tiras Y. Lin, Du Y. Nguyen, Christopher Hahn, Eric B. Duoss, Sarah E. Baker
Train Small, Model Big: Scalable Physics Simulators via Reduced Order Modeling and Domain Decomposition. CoRR (2024)
Joel Niklaus, Lucia Zheng, Arya D. McCarthy, Christopher Hahn, Brian M. Rosen, Peter Henderson, Daniel E. Ho, Garrett Honke, Percy Liang, Christopher D. Manning
FLawN-T5: An Empirical Examination of Effective Instruction-Tuning Data Mixtures for Legal Reasoning. CoRR (2024)
Christopher Hahn, Jonas Harbig, Peter Kling
Forming Large Patterns with Local Robots in the OBLOT Model. CoRR (2024)
Matthias Cosler, Christopher Hahn, Ayham Omar, Frederik Schmitt
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. CoRR (2024)
Abhinav Lalwani, Lovish Chopra, Christopher Hahn, Caroline Trippel, Zhijing Jin, Mrinmaya Sachan
NL2FOL: Translating Natural Language to First-Order Logic for Logical Fallacy Detection. CoRR (2024)
Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning. CoRR (2023)
Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. CoRR (2023)
Haoze Wu, Christopher Hahn, Florian Lonsing, Makai Mann, Raghuram Ramanujan, Clark W. Barrett
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning. FMCAD (2023)
Talley Amir, James Aspnes, Petra Berenbrink, Felix Biermeier, Christopher Hahn, Dominik Kaaser, John Lazarsfeld
Fast Convergence of k-Opinion Undecided State Dynamics in the Population Protocol Model. PODC (2023)
Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models. CAV (2) (2023)
Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner
Iterative Circuit Repair Against Formal Specifications. ICLR (2023)
Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner
Iterative Circuit Repair Against Formal Specifications. CoRR (2023)
Talley Amir, James Aspnes, Petra Berenbrink, Felix Biermeier, Christopher Hahn, Dominik Kaaser, John Lazarsfeld
Fast Convergence of k-Opinion Undecided State Dynamics in the Population Protocol Model. CoRR (2023)
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
Runtime Enforcement of Hyperproperties. CoRR (2022)
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
Explaining Hyperproperty Violations. CAV (1) (2022)
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
Explaining Hyperproperty Violations. CoRR (2022)
Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber
Temporal Causality in Reactive Systems. ATVA (2022)
Petra Berenbrink, Felix Biermeier, Christopher Hahn, Dominik Kaaser
Loosely-Stabilizing Phase Clocks and The Adaptive Majority Problem. SAND (2022)
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt
Visual Analysis of Hyperproperties for Understanding Model Checking Results. IEEE Trans. Vis. Comput. Graph. 28 (1) (2022)
Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner
Attention Flows for General Transformers. CoRR (2022)
Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner
Formal Specifications from Natural Language. CoRR (2022)
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
Runtime Enforcement of Hyperproperties. ATVA (2021)
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner
Neural Circuit Synthesis from Specification Patterns. CoRR (2021)
Jens U. Kreber, Christopher Hahn
Generating Symbolic Reasoning Problems with Transformer GANs. CoRR (2021)
Petra Berenbrink, Tom Friedetzky, Christopher Hahn, Lukas Hintze, Dominik Kaaser, Peter Kling, Lars Nagel
Infinite Balanced Allocation via Finite Capacities. ICDCS (2021)
Petra Berenbrink, Felix Biermeier, Christopher Hahn, Dominik Kaaser
Self-Stabilizing Phase Clocks and the Adaptive Majority Problem. CoRR (2021)
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt
Visual Analysis of Hyperproperties for Understanding Model Checking Results. CoRR (2021)
Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner
Neural Circuit Synthesis from Specification Patterns. NeurIPS (2021)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Efficient Monitoring of Hyperproperties using Prefix Trees. CoRR (2021)
Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, Bernd Finkbeiner
Teaching Temporal Logics to Neural Networks. ICLR (2021)
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
Realizing Omega-regular Hyperproperties. CoRR (2021)
Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
Realizing ømega-regular Hyperproperties. CAV (2) (2020)
Bernd Finkbeiner, Christopher Hahn, Markus N. Rabe, Frederik Schmitt
Teaching Temporal Logics to Neural Networks. CoRR (2020)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Efficient monitoring of hyperproperties using prefix trees. Int. J. Softw. Tools Technol. Transf. 22 (6) (2020)
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann
The Hierarchy of Hyperlogics. CoRR (2020)
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Synthesis from hyperproperties. Acta Informatica 57 (1-2) (2020)
Christopher Hahn, Marvin Stenger, Leander Tentrup
Constraint-Based Monitoring of Hyperproperties. CoRR (2019)
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann
The Hierarchy of Hyperlogics. LICS (2019)
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
Model Checking Quantitative Hyperproperties. CoRR (2019)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. CoRR (2019)
Christopher Hahn
Algorithms for Monitoring Hyperproperties. RV (2019)
Bernd Finkbeiner, Christopher Hahn, Tobias Hans
Fragment. CoRR (2019)
Christopher Hahn, Marvin Stenger, Leander Tentrup
Constraint-Based Monitoring of Hyperproperties. TACAS (2) (2019)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Monitoring hyperproperties. Formal Methods Syst. Des. 54 (3) (2019)
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Synthesizing Reactive Systems from Hyperproperties. CoRR (2019)
Bernd Finkbeiner, Christopher Hahn, Tobias Hans
MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^*\forall ^* ∃ ∗ ∀ ∗ Fragment. ATVA (2018)
Bernd Finkbeiner, Christopher Hahn, Hazem Torfah
Model Checking Quantitative Hyperproperties. CAV (1) (2018)
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Synthesizing Reactive Systems from Hyperproperties. CAV (1) (2018)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Monitoring Hyperproperties. CoRR (2018)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. TACAS (2) (2018)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Monitoring Hyperproperties. RV (2017)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger
EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties. CAV (2) (2017)
Bernd Finkbeiner, Christopher Hahn
Deciding Hyperproperties. CONCUR (2016)
Bernd Finkbeiner, Christopher Hahn
Deciding Hyperproperties. CoRR (2016)
Christopher Hahn
Digitalisierung der IT-Industrie mit Cloud Plattformen - Implikationen für Entwickler und Anwender. HMD Prax. Wirtsch. 53 (5) (2016)
Christopher Hahn, Jan C. Huntgeburth, Till J. Winkler, Rüdiger Zarnekow
Business and IT Capabilities for Cloud Platform Success. ICIS (2016)
Christopher Hahn, Jan C. Huntgeburth, Rüdiger Zarnekow
Leverage Once, EARN Repeatedly - Capabilities for Creating and appropriating Value in Cloud Platform Ecosystems. ECIS (2016)
Christopher Hahn, Dennis Röher, Rüdiger Zarnekow
A value proposition oriented typology of electronic marketplaces for B2B SaaS applications. AMCIS (2015)
Stine Labes, Christopher Hahn, Rüdiger Zarnekow
The Value of Community Clouds for Collaboration in the Public Sector. AMCIS (2015)
Christopher Hahn, Stine Labes, Rüdiger Zarnekow
Classification Framework for Analyzing Business Models of E-Marketplaces. MKWI (2014)
Jan Recker, Jan Mendling, Christopher Hahn
How collaborative technology supports cognitive processes in collaborative process modeling: A capabilities-gains-outcome model (Extended Abstract). EMISA Forum 34 (1) (2014)
Jan Recker, Jan Mendling, Christopher Hahn
How collaborative technology supports cognitive processes in collaborative process modeling: A capabilities-gains-outcome model. Inf. Syst. 38 (8) (2013)
Christopher Hahn, Jonas Repschlaeger, Koray Erek, Rüdiger Zarnekow
An Exploratory Study on Cloud Strategies. AMCIS (2013)
Christopher Hahn, Fabian Friedrich, Till J. Winkler, Gerrit Tamm, Konstantin Petruch
How to Choose the Right BPM Tool: A Maturity-Centric Decision Framework with a Case Evaluation in the European Market. EMISA (2012)
Christopher Hahn, Jan Recker, Jan Mendling
An Exploratory Study of IT-Enabled Collaborative Process Modeling. Business Process Management Workshops (2010)