Christopher Hahn

CoRR, 2024

NL2FOL: Translating Natural Language to First-Order Logic for Logical Fallacy Detection.

[BibT_eX]

[DOI]

CoRR, 2024

FLawN-T5: An Empirical Examination of Effective Instruction-Tuning Data Mixtures for Legal Reasoning.

[BibT_eX]

[DOI]

Christopher D. Manning

CoRR, 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

Forming Large Patterns with Local Robots in the OBLOT Model.

[BibT_eX]

[DOI]

Jonas Harbig

Peter Kling

Proceedings of the 3rd Symposium on Algorithmic Foundations of Dynamic Networks, 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]

PhD thesis, 2021

Generating Symbolic Reasoning Problems with Transformer GANs.

[BibT_eX]

[DOI]

Jens U. Kreber

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]

Tobias Hans

CoRR, 2019

Constraint-Based Monitoring of Hyperproperties.

[BibT_eX]

[DOI]

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]

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]

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]

Tobias Hans

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

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

[BibT_eX]

[DOI]

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]

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]

Jan C. Huntgeburth

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

Deciding Hyperproperties.

[BibT_eX]

[DOI]

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

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]

Dennis Röher

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

EMISA Forum, 2014

Classification Framework for Analyzing Business Models of E-Marketplaces.

[BibT_eX]

Stine Labes

Proceedings of the Multikonferenz Wirtschaftsinformatik, 2014

2013

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

[BibT_eX]

[DOI]

Jan Recker

Jan Mendling

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]