Articles with public access mandates - Christopher HahnLearn more
Available somewhere: 21
Teaching Temporal Logics to Neural Networks
C Hahn, F Schmitt, JU Kreber, MN Rabe, B Finkbeiner
arXiv preprint arXiv:2003.04218, 2020
Mandates: European Commission
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
Mandates: German Research Foundation, European Commission
Monitoring hyperproperties
B Finkbeiner, C Hahn, M Stenger, L Tentrup
Formal Methods in System Design 54 (3), 336-363, 2019
Mandates: German Research Foundation, European Commission
Model checking quantitative hyperproperties
B Finkbeiner, C Hahn, H Torfah
International Conference on Computer Aided Verification, 144-163, 2018
Mandates: German Research Foundation, European Commission
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
Mandates: German Research Foundation, European Commission
EAHyper: Satisfiability, implication, and equivalence checking of hyperproperties
B Finkbeiner, C Hahn, M Stenger
International Conference on Computer Aided Verification, 564-570, 2017
Mandates: German Research Foundation
Synthesizing reactive systems from hyperproperties
B Finkbeiner, C Hahn, P Lukert, M Stenger, L Tentrup
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
Mandates: European Commission
Monitoring hyperproperties
B Finkbeiner, C Hahn, M Stenger, L Tentrup
International Conference on Runtime Verification, 190-207, 2017
Mandates: German Research Foundation
Synthesis from hyperproperties
B Finkbeiner, C Hahn, P Lukert, M Stenger, L Tentrup
Acta informatica 57 (1), 137-163, 2020
Mandates: German Research Foundation, European Commission
Constraint-based monitoring of hyperproperties
C Hahn, M Stenger, L Tentrup
International Conference on Tools and Algorithms for the Construction and …, 2019
Mandates: German Research Foundation, European Commission
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
Mandates: German Research Foundation, European Commission
Neural circuit synthesis from specification patterns
F Schmitt, C Hahn, MN Rabe, B Finkbeiner
Advances in Neural Information Processing Systems 34, 15408-15420, 2021
Mandates: European Commission
Realizing-regular Hyperproperties
B Finkbeiner, C Hahn, J Hofmann, L Tentrup
International Conference on Computer Aided Verification, 40-63, 2020
Mandates: European Commission
Temporal causality in reactive systems
N Coenen, B Finkbeiner, H Frenkel, C Hahn, N Metzger, J Siber
International Symposium on Automated Technology for Verification and …, 2022
Mandates: German Research Foundation, Federal Ministry of Education and Research, Germany
Visual analysis of hyperproperties for understanding model checking results
T Horak, N Coenen, N Metzger, C Hahn, T Flemisch, J Méndez, D Dimov, ...
IEEE Transactions on Visualization and Computer Graphics 28 (1), 357-367, 2021
Mandates: German Research Foundation, European Commission, Federal Ministry of …
Efficient monitoring of hyperproperties using prefix trees
B Finkbeiner, C Hahn, M Stenger, L Tentrup
International Journal on Software Tools for Technology Transfer 22 (6), 729-740, 2020
Mandates: German Research Foundation, European Commission
Explaining hyperproperty violations
N Coenen, R Dachselt, B Finkbeiner, H Frenkel, C Hahn, T Horak, ...
International Conference on Computer Aided Verification, 407-429, 2022
Mandates: German Research Foundation, European Commission, Federal Ministry of …
Algorithms for monitoring hyperproperties
C Hahn
Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019
Mandates: German Research Foundation, European Commission
Runtime enforcement of hyperproperties
N Coenen, B Finkbeiner, C Hahn, J Hofmann, Y Schillo
International Symposium on Automated Technology for Verification and …, 2021
Mandates: German Research Foundation, European Commission
Autoimmune conditions in the World Trade Center general responder cohort: A nested case‐control and standardized incidence ratio analysis
HS Sacks, M Smirnoff, D Carson, ML Cooney, MZ Shapiro, CJ Hahn, ...
American journal of industrial medicine 65 (2), 117-131, 2022
Mandates: US National Institutes of Health
Publication and funding information is determined automatically by a computer program