Christopher Hahn

Orcid: 0000-0002-1243-4880

According to our database¹, Christopher Hahn authored at least 44 papers between 2010 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of three.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Train Small, Model Big: Scalable Physics Simulators via Reduced Order Modeling and Domain Decomposition.

[BibT_eX]

[DOI]

CoRR, 2024

NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis.

[BibT_eX]

[DOI]

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

2023

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

[BibT_eX]

[DOI]

Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing, 2023

Iterative Circuit Repair Against Formal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Lightweight Online Learning for Sets of Related Problems in Automated Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2023

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

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Visual Analysis of Hyperproperties for Understanding Model Checking Results.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2022

Formal Specifications from Natural Language.

[BibT_eX]

[DOI]

CoRR, 2022

Attention Flows for General Transformers.

[BibT_eX]

[DOI]

CoRR, 2022

Loosely-Stabilizing Phase Clocks and The Adaptive Majority Problem.

[BibT_eX]

[DOI]

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

Explaining Hyperproperty Violations.

[BibT_eX]

[DOI]

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

Temporal Causality in Reactive Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

Logical and deep learning methods for temporal reasoning.

[BibT_eX]

[DOI]

Christopher Hahn

PhD thesis, 2021

Generating Symbolic Reasoning Problems with Transformer GANs.

[BibT_eX]

[DOI]

Jens U. Kreber

Christopher Hahn

CoRR, 2021

Self-Stabilizing Phase Clocks and the Adaptive Majority Problem.

[BibT_eX]

[DOI]

CoRR, 2021

Neural Circuit Synthesis from Specification Patterns.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Infinite Balanced Allocation via Finite Capacities.

[BibT_eX]

[DOI]

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

Runtime Enforcement of Hyperproperties.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Efficient monitoring of hyperproperties using prefix trees.

[BibT_eX]

[DOI]

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

Teaching Temporal Logics to Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2020

Synthesis from hyperproperties.

[BibT_eX]

[DOI]

Acta Informatica, 2020

Realizing ømega-regular Hyperproperties.

[BibT_eX]

[DOI]

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

2019

Monitoring hyperproperties.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the ∃<sup>*</sup>∀<sup>*</sup> Fragment.

[BibT_eX]

[DOI]

Bernd Finkbeiner

Christopher Hahn

Tobias Hans

CoRR, 2019

Constraint-Based Monitoring of Hyperproperties.

[BibT_eX]

[DOI]

Christopher Hahn

Marvin Stenger

Leander Tentrup

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

Algorithms for Monitoring Hyperproperties.

[BibT_eX]

[DOI]

Christopher Hahn

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

The Hierarchy of Hyperlogics.

[BibT_eX]

[DOI]

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

2018

RVHyper: A Runtime Verification Tool for Temporal Hyperproperties.

[BibT_eX]

[DOI]

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

Model Checking Quantitative Hyperproperties.

[BibT_eX]

[DOI]

Bernd Finkbeiner

Christopher Hahn

Hazem Torfah

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

Synthesizing Reactive Systems from Hyperproperties.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Christopher Hahn

HMD Prax. Wirtsch., 2016

Business and IT Capabilities for Cloud Platform Success.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Information Systems, 2016

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

[BibT_eX]

[DOI]

Christopher Hahn

Jan C. Huntgeburth

Rüdiger Zarnekow

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

Deciding Hyperproperties.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Jan Recker

Jan Mendling

Christopher Hahn

Inf. Syst., 2013

An Exploratory Study on Cloud Strategies.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the EMISA 2012, 2012

2010

An Exploratory Study of IT-Enabled Collaborative Process Modeling.

[BibT_eX]

[DOI]

Christopher Hahn

Jan Recker

Jan Mendling

Proceedings of the Business Process Management Workshops, 2010

Christopher Hahn

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...