Christopher Hahn
Christopher Hahn
CISPA Helmholtz Center for Information Security
Verified email at react.uni-saarland.de - Homepage
Title
Cited by
Cited by
Year
Deciding Hyperproperties
B Finkbeiner, C Hahn
27th International Conference on Concurrency Theory (CONCUR 2016) 59, 13:1 …, 2016
442016
Monitoring hyperproperties
B Finkbeiner, C Hahn, M Stenger, L Tentrup
International Conference on Runtime Verification, 190-207, 2017
262017
EAHyper: satisfiability, implication, and equivalence checking of hyperproperties
B Finkbeiner, C Hahn, M Stenger
International Conference on Computer Aided Verification, 564-570, 2017
232017
Synthesizing reactive systems from hyperproperties
B Finkbeiner, C Hahn, P Lukert, M Stenger, L Tentrup
International Conference on Computer Aided Verification, 289-306, 2018
192018
Model checking quantitative hyperproperties
B Finkbeiner, C Hahn, H Torfah
International Conference on Computer Aided Verification, 144-163, 2018
182018
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties
B Finkbeiner, C Hahn, M Stenger, L Tentrup
International Conference on Tools and Algorithms for the Construction and …, 2018
172018
MGHyper: Checking Satisfiability of HyperLTL formulas beyond the ∃∀ Fragment
B Finkbeiner, C Hahn, T Hans
ATVA. Lecture Notes in Computer Science 11138, 521-527, 2018
14*2018
Constraint-based monitoring of hyperproperties
C Hahn, M Stenger, L Tentrup
International Conference on Tools and Algorithms for the Construction and …, 2019
132019
The hierarchy of hyperlogics
N Coenen, B Finkbeiner, C Hahn, J Hofmann
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
112019
Monitoring hyperproperties
B Finkbeiner, C Hahn, M Stenger, L Tentrup
Formal Methods in System Design 54 (3), 336-363, 2019
92019
Algorithms for monitoring hyperproperties
C Hahn
International Conference on Runtime Verification, 70-90, 2019
52019
Synthesis from hyperproperties
B Finkbeiner, C Hahn, P Lukert, M Stenger, L Tentrup
Acta Informatica 57 (1), 137-163, 2020
42020
Transformers Generalize to the Semantics of Logics
C Hahn, F Schmitt, JU Kreber, MN Rabe, B Finkbeiner
arXiv e-prints, arXiv: 2003.04218, 2020
3*2020
Realizing -regular Hyperproperties
B Finkbeiner, C Hahn, J Hofmann, L Tentrup
International Conference on Computer Aided Verification, 40-63, 2020
12020
Efficient monitoring of hyperproperties using prefix trees
B Finkbeiner, C Hahn, M Stenger, L Tentrup
International Journal on Software Tools for Technology Transfer, 1-12, 2020
12020
Realizing\documentclass [12pt]{minimal}\usepackage {amsmath}\usepackage {wasysym}\usepackage {amsfonts}\usepackage {amssymb}\usepackage {amsbsy}\usepackage {mathrsfs …
B Finkbeiner, C Hahn, J Hofmann, L Tentrup
Computer Aided Verification 12225, 40-63, 2020
2020
The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective
N Coenen, B Finkbeiner, C Hahn, J Hofmann
The system can't perform the operation now. Try again later.
Articles 1–17