Christopher Hahn

According to our database, Christopher Hahn authored at least 41 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.

Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel

CoRR, 2023

Iterative Circuit Repair Against Formal Specifications.

Matthias Cosler, Frederik Schmitt, Christopher Hahn, Bernd Finkbeiner

CoRR, 2023

Fast Convergence of k-Opinion Undecided State Dynamics in the Population Protocol Model.

Talley Amir, James Aspnes, Petra Berenbrink, Felix Biermeier, Christopher Hahn, Dominik Kaaser, John Lazarsfeld

CoRR, 2023

2022

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, Raimund Dachselt

IEEE Trans. Vis. Comput. Graph., 2022

Formal Specifications from Natural Language.

Christopher Hahn, Frederik Schmitt, Julia J. Tillman, Niklas Metzger, Julian Siber, Bernd Finkbeiner

CoRR, 2022

Attention Flows for General Transformers.

Niklas Metzger, Christopher Hahn, Julian Siber, Frederik Schmitt, Bernd Finkbeiner

CoRR, 2022

Loosely-Stabilizing Phase Clocks and The Adaptive Majority Problem.

Petra Berenbrink, Felix Biermeier, Christopher Hahn, Dominik Kaaser

Proceedings of the 1st Symposium on Algorithmic Foundations of Dynamic Networks, 2022

Explaining Hyperproperty Violations.

Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Temporal Causality in Reactive Systems.

Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Logical and deep learning methods for temporal reasoning.

Christopher Hahn

PhD thesis, 2021

Generating Symbolic Reasoning Problems with Transformer GANs.

Jens U. Kreber, Christopher Hahn

CoRR, 2021

Self-Stabilizing Phase Clocks and the Adaptive Majority Problem.

Petra Berenbrink, Felix Biermeier, Christopher Hahn, Dominik Kaaser

CoRR, 2021

Neural Circuit Synthesis from Specification Patterns.

Frederik Schmitt, Christopher Hahn, Markus N. Rabe, Bernd Finkbeiner

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Teaching Temporal Logics to Neural Networks.

Christopher Hahn, Frederik Schmitt, Jens U. Kreber, Markus Norman Rabe, Bernd Finkbeiner

Proceedings of the 9th International Conference on Learning Representations, 2021

Infinite Balanced Allocation via Finite Capacities.

Petra Berenbrink, Tom Friedetzky, Christopher Hahn, Lukas Hintze, Dominik Kaaser, Peter Kling, Lars Nagel

Proceedings of the 41st IEEE International Conference on Distributed Computing Systems, 2021

Runtime Enforcement of Hyperproperties.

Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Efficient monitoring of hyperproperties using prefix trees.

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup

Int. J. Softw. Tools Technol. Transf., 2020

Teaching Temporal Logics to Neural Networks.

Bernd Finkbeiner, Christopher Hahn, Markus N. Rabe, Frederik Schmitt

CoRR, 2020

Synthesis from hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup

Acta Informatica, 2020

Realizing ømega-regular Hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Monitoring hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup

Formal Methods Syst. Des., 2019

MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the ∃^*∀^* Fragment.

Bernd Finkbeiner, Christopher Hahn, Tobias Hans

CoRR, 2019

Constraint-Based Monitoring of Hyperproperties.

Christopher Hahn, Marvin Stenger, Leander Tentrup

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Algorithms for Monitoring Hyperproperties.

Christopher Hahn

Proceedings of the Runtime Verification - 19th International Conference, 2019

The Hierarchy of Hyperlogics.

Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

2018

RVHyper: A Runtime Verification Tool for Temporal Hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Model Checking Quantitative Hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Hazem Torfah

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Synthesizing Reactive Systems from Hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^*\forall ^* ∃ ∗ ∀ ∗ Fragment.

Bernd Finkbeiner, Christopher Hahn, Tobias Hans

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Digitalisierung der IT-Industrie mit Cloud Plattformen - Implikationen für Entwickler und Anwender.

Christopher Hahn

HMD Prax. Wirtsch., 2016

Business and IT Capabilities for Cloud Platform Success.

Christopher Hahn, Jan C. Huntgeburth, Till J. Winkler, Rüdiger Zarnekow

Proceedings of the International Conference on Information Systems, 2016

Leverage Once, EARN Repeatedly - Capabilities for Creating and appropriating Value in Cloud Platform Ecosystems.

Christopher Hahn, Jan C. Huntgeburth, Rüdiger Zarnekow

Proceedings of the 24th European Conference on Information Systems, 2016

Deciding Hyperproperties.

Bernd Finkbeiner, Christopher Hahn

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

The Value of Community Clouds for Collaboration in the Public Sector.

Stine Labes, Christopher Hahn, Rüdiger Zarnekow

Proceedings of the 21st Americas Conference on Information Systems, 2015

A value proposition oriented typology of electronic marketplaces for B2B SaaS applications.

Christopher Hahn, Dennis Röher, Rüdiger Zarnekow

Proceedings of the 21st Americas Conference on Information Systems, 2015

2014

How collaborative technology supports cognitive processes in collaborative process modeling: A capabilities-gains-outcome model (Extended Abstract).

Jan Recker, Jan Mendling, Christopher Hahn

EMISA Forum, 2014

2013

How collaborative technology supports cognitive processes in collaborative process modeling: A capabilities-gains-outcome model.

Jan Recker, Jan Mendling, Christopher Hahn

Inf. Syst., 2013

An Exploratory Study on Cloud Strategies.

Christopher Hahn, Jonas Repschlaeger, Koray Erek, Rüdiger Zarnekow

Proceedings of the 19th Americas Conference on Information Systems, 2013

2012

How to Choose the Right BPM Tool: A Maturity-Centric Decision Framework with a Case Evaluation in the European Market.

Christopher Hahn, Fabian Friedrich, Till J. Winkler, Gerrit Tamm, Konstantin Petruch

Proceedings of the EMISA 2012, 2012

2010

An Exploratory Study of IT-Enabled Collaborative Process Modeling.

Christopher Hahn, Jan Recker, Jan Mendling

Proceedings of the Business Process Management Workshops, 2010