| Second-order hyperproperties R Beutner, B Finkbeiner, H Frenkel, N Metzger International Conference on Computer Aided Verification, 309-332, 2023 | 21 | 2023 |
| Inferring symbolic automata D Fisman, H Frenkel, S Zilles Logical Methods in Computer Science 19, 2023 | 17 | 2023 |
| 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 | 17 | 2022 |
| Assume, guarantee or repair H Frenkel, O Grumberg, C Pasareanu, S Sheinvald Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020 | 14 | 2020 |
| Explaining hyperproperty violations N Coenen, R Dachselt, B Finkbeiner, H Frenkel, C Hahn, T Horak, ... International Conference on Computer Aided Verification, 407-429, 2022 | 13 | 2022 |
| Realizable and context-free hyperlanguages H Frenkel, S Sheinvald arXiv preprint arXiv:2209.10306, 2022 | 8 | 2022 |
| An automata-theoretic approach to model-checking systems and specifications over infinite data domains H Frenkel, O Grumberg, S Sheinvald Journal of Automated Reasoning 63, 1077-1101, 2019 | 6 | 2019 |
| Monitoring second-order hyperproperties R Beutner, B Finkbeiner, H Frenkel, N Metzger arXiv preprint arXiv:2404.09652, 2024 | 5 | 2024 |
| Checking and sketching causes on temporal sequences R Beutner, B Finkbeiner, H Frenkel, J Siber International Symposium on Automated Technology for Verification and …, 2023 | 5 | 2023 |
| Automata-based software model checking of hyperproperties B Finkbeiner, H Frenkel, J Hofmann, J Lohse NASA Formal Methods Symposium, 361-379, 2023 | 5 | 2023 |
| An automata-theoretic approach to modeling systems and specifications over infinite data H Frenkel, O Grumberg, S Sheinvald NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field …, 2017 | 4 | 2017 |
| Automata over Infinite Data Domains: Learnability and Applications in Program Verification and Repair. H Frenkel, O Grumberg, S Sheinvald Technion-Israel Institute of Technology, Israel, 2021 | 3 | 2021 |
| The Complexity of Second-order HyperLTL H Frenkel, M Zimmermann arXiv e-prints, arXiv: 2311.15675, 2023 | 2 | 2023 |
| Assume, guarantee or repair: a regular framework for non regular properties H Frenkel, O Grumberg, CS Păsăreanu, S Sheinvald International Journal on Software Tools for Technology Transfer 24 (5), 667-689, 2022 | 2* | 2022 |
| Synthesis of temporal causality B Finkbeiner, H Frenkel, N Metzger, J Siber International Conference on Computer Aided Verification, 87-111, 2024 | 1 | 2024 |
| Automated Program Repair Using Formal Verification Techniques H Frenkel, O Grumberg, BC Rothenberg, S Sheinvald Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022 | 1 | 2022 |
| On the complexity of symbolic finite-state automata D Fisman, H Frenkel, S Zilles arXiv preprint arXiv:2011.05389, 2020 | 1 | 2020 |
| Explaining Hyperproperty Violations H Frenkel, C Hahn, T Horak, N Metzger, J Siber | | |
| Learn Your Program H Frenkel, O Grumberg, S Sheinvald | | |
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerified email at cispa.de
