Sledovat
Christopher Hahn
Christopher Hahn
X, the moonshot factory (Google X)
E-mailová adresa ověřena na: google.com - Domovská stránka
Název
Citace
Citace
Rok
Deciding Hyperproperties
B Finkbeiner, C Hahn
27th International Conference on Concurrency Theory (CONCUR 2016) 59, 13:1 …, 2016
842016
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
M Cosler, C Hahn, D Mendoza, F Schmitt, C Trippel
International Conference on Computer Aided Verification, 383-396, 2023
782023
Teaching Temporal Logics to Neural Networks
C Hahn, F Schmitt, JU Kreber, MN Rabe, B Finkbeiner
arXiv preprint arXiv:2003.04218, 2020
782020
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
662019
Monitoring hyperproperties
B Finkbeiner, C Hahn, M Stenger, L Tentrup
Formal Methods in System Design 54 (3), 336-363, 2019
652019
Model checking quantitative hyperproperties
B Finkbeiner, C Hahn, H Torfah
International Conference on Computer Aided Verification, 144-163, 2018
572018
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
512018
EAHyper: Satisfiability, implication, and equivalence checking of hyperproperties
B Finkbeiner, C Hahn, M Stenger
International Conference on Computer Aided Verification, 564-570, 2017
502017
Monitoring hyperproperties
B Finkbeiner, C Hahn, M Stenger, L Tentrup
International Conference on Runtime Verification, 190-207, 2017
432017
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
422018
Formal specifications from natural language
C Hahn, F Schmitt, JJ Tillman, N Metzger, J Siber, B Finkbeiner
arXiv preprint arXiv:2206.01962, 2022
392022
Constraint-based monitoring of hyperproperties
C Hahn, M Stenger, L Tentrup
International Conference on Tools and Algorithms for the Construction and …, 2019
382019
Synthesis from hyperproperties
B Finkbeiner, C Hahn, P Lukert, M Stenger, L Tentrup
Acta informatica 57 (1), 137-163, 2020
362020
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
332018
Neural circuit synthesis from specification patterns
F Schmitt, C Hahn, MN Rabe, B Finkbeiner
Advances in Neural Information Processing Systems 34, 15408-15420, 2021
272021
Towards improving verification productivity with circuit-aware translation of natural language to systemverilog assertions
C Sun, C Hahn, C Trippel
First International Workshop on Deep Learning-aided Verification, 2023
182023
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
182022
Realizing-regular Hyperproperties
B Finkbeiner, C Hahn, J Hofmann, L Tentrup
International Conference on Computer Aided Verification, 40-63, 2020
172020
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
152021
Iterative circuit repair against formal specifications
M Cosler, F Schmitt, C Hahn, B Finkbeiner
arXiv preprint arXiv:2303.01158, 2023
142023
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20