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
562016
EAHyper: Satisfiability, implication, and equivalence checking of hyperproperties
B Finkbeiner, C Hahn, M Stenger
International Conference on Computer Aided Verification, 564-570, 2017
322017
Monitoring hyperproperties
B Finkbeiner, C Hahn, M Stenger, L Tentrup
International Conference on Runtime Verification, 190-207, 2017
312017
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
252019
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
242018
Model checking quantitative hyperproperties
B Finkbeiner, C Hahn, H Torfah
International Conference on Computer Aided Verification, 144-163, 2018
232018
Synthesizing reactive systems from hyperproperties
B Finkbeiner, C Hahn, P Lukert, M Stenger, L Tentrup
International Conference on Computer Aided Verification, 289-306, 2018
232018
Monitoring hyperproperties
B Finkbeiner, C Hahn, M Stenger, L Tentrup
Formal methods in system design 54 (3), 336-363, 2019
212019
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
19*2018
Constraint-based monitoring of hyperproperties
C Hahn, M Stenger, L Tentrup
arXiv preprint arXiv:1905.13517, 2019
172019
Synthesis from hyperproperties
B Finkbeiner, C Hahn, P Lukert, M Stenger, L Tentrup
Acta informatica 57 (1), 137-163, 2020
92020
Teaching Temporal Logics to Neural Networks
C Hahn, F Schmitt, JU Kreber, MN Rabe, B Finkbeiner
arXiv preprint arXiv:2003.04218, 2020
9*2020
Algorithms for monitoring hyperproperties
C Hahn
International Conference on Runtime Verification, 70-90, 2019
82019
Realizing -regular Hyperproperties
B Finkbeiner, C Hahn, J Hofmann, L Tentrup
International Conference on Computer Aided Verification, 40-63, 2020
62020
Efficient monitoring of hyperproperties using prefix trees
B Finkbeiner, C Hahn, M Stenger, L Tentrup
arXiv preprint arXiv:2101.07109, 2021
42021
Runtime Verification
B Finkbeiner, K Havelund, G Rosu, O Sokolsky, S Tripakis
22017
Neural Circuit Synthesis from Specification Patterns
F Schmitt, C Hahn, MN Rabe, B Finkbeiner
arXiv preprint arXiv:2107.11864, 2021
2021
The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective
N Coenen, B Finkbeiner, C Hahn, J Hofmann
2020
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
Realizing
S Lahiri, C Wang, B Finkbeiner, C Hahn, J Hofmann, L Tentrup
Computer Aided Verification32nd International Conference, CAV 2020, Los …, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20