| Deciding Hyperproperties B Finkbeiner, C Hahn 27th International Conference on Concurrency Theory (CONCUR 2016) 59, 13:1 …, 2016 | 81 | 2016 |
| Teaching Temporal Logics to Neural Networks C Hahn, F Schmitt, JU Kreber, MN Rabe, B Finkbeiner arXiv preprint arXiv:2003.04218, 2020 | 67 | 2020 |
| 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 | 62 | 2019 |
| Monitoring hyperproperties B Finkbeiner, C Hahn, M Stenger, L Tentrup Formal Methods in System Design 54 (3), 336-363, 2019 | 57 | 2019 |
| Model checking quantitative hyperproperties B Finkbeiner, C Hahn, H Torfah International Conference on Computer Aided Verification, 144-163, 2018 | 54 | 2018 |
| EAHyper: Satisfiability, implication, and equivalence checking of hyperproperties B Finkbeiner, C Hahn, M Stenger International Conference on Computer Aided Verification, 564-570, 2017 | 50 | 2017 |
| 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 | 49 | 2018 |
| 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 | 46 | 2023 |
| 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 | 43 | 2018 |
| Monitoring hyperproperties B Finkbeiner, C Hahn, M Stenger, L Tentrup International Conference on Runtime Verification, 190-207, 2017 | 41 | 2017 |
| Synthesis from hyperproperties B Finkbeiner, C Hahn, P Lukert, M Stenger, L Tentrup Acta informatica 57 (1), 137-163, 2020 | 36 | 2020 |
| Constraint-based monitoring of hyperproperties C Hahn, M Stenger, L Tentrup International Conference on Tools and Algorithms for the Construction and …, 2019 | 35 | 2019 |
| 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 | 32 | 2018 |
| Formal specifications from natural language C Hahn, F Schmitt, JJ Tillman, N Metzger, J Siber, B Finkbeiner arXiv preprint arXiv:2206.01962, 2022 | 26 | 2022 |
| Neural circuit synthesis from specification patterns F Schmitt, C Hahn, MN Rabe, B Finkbeiner Advances in Neural Information Processing Systems 34, 15408-15420, 2021 | 22 | 2021 |
| Realizing-regular Hyperproperties B Finkbeiner, C Hahn, J Hofmann, L Tentrup International Conference on Computer Aided Verification, 40-63, 2020 | 16 | 2020 |
| 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 | 14 | 2022 |
| 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 | 12 | 2023 |
| Explaining hyperproperty violations N Coenen, R Dachselt, B Finkbeiner, H Frenkel, C Hahn, T Horak, ... International Conference on Computer Aided Verification, 407-429, 2022 | 12 | 2022 |
| 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 | 12 | 2021 |
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information Security在 cispa.de 的电子邮件经过验证
