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 | 14 | 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 |
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 | 11 | 2021 |
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 |
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 | | |