| Formal specifications from natural language C Hahn, F Schmitt, JJ Tillman, N Metzger, J Siber, B Finkbeiner arXiv preprint arXiv:2206.01962, 2022 | 24 | 2022 |
| Second-order hyperproperties R Beutner, B Finkbeiner, H Frenkel, N Metzger International Conference on Computer Aided Verification, 309-332, 2023 | 13 | 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 | 12 | 2022 |
| Efficient trace encodings of bounded synthesis for asynchronous distributed systems J Hecking-Harbusch, NO Metzger International Symposium on Automated Technology for Verification and …, 2019 | 12 | 2019 |
| Explaining hyperproperty violations N Coenen, R Dachselt, B Finkbeiner, H Frenkel, C Hahn, T Horak, ... International Conference on Computer Aided Verification, 407-429, 2022 | 10 | 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 | 10 | 2021 |
| Live synthesis B Finkbeiner, F Klein, N Metzger Innovations in Systems and Software Engineering 18 (3), 443-454, 2022 | 5 | 2022 |
| Information flow guided synthesis B Finkbeiner, N Metzger, Y Moses International Conference on Computer Aided Verification, 505-525, 2022 | 3 | 2022 |
| Monitoring second-order hyperproperties R Beutner, B Finkbeiner, H Frenkel, N Metzger arXiv preprint arXiv:2404.09652, 2024 | 2 | 2024 |
| Attention flows for general transformers N Metzger, C Hahn, J Siber, F Schmitt, B Finkbeiner arXiv preprint arXiv:2205.15389, 2022 | 1 | 2022 |
| Information Flow Guided Synthesis with Unbounded Communication B Finkbeiner, N Metzger, Y Moses International Conference on Computer Aided Verification, 64-86, 2024 | | 2024 |
| Synthesis of Temporal Causality B Finkbeiner, H Frenkel, N Metzger, J Siber International Conference on Computer Aided Verification, 87-111, 2024 | | 2024 |
| Information Flow Guided Synthesis (Full Version) B Finkbeiner, N Metzger, Y Moses arXiv preprint arXiv:2205.12085, 2022 | | 2022 |
| Complete Bounded Model Checking for Hyperproperties F Bies, N Coenen, N Metzger, B Finkbeiner | | 2022 |
| Conservative Hybrid Automata from Development Artifacts N Metzger, S Schmitt, M Schwenger arXiv preprint arXiv:2111.05613, 2021 | | 2021 |
| Explaining Hyperproperty Violations H Frenkel, C Hahn, T Horak, N Metzger, J Siber | | |
