Verifying Hyperliveness N Coenen, B Finkbeiner, C Sánchez, L Tentrup Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 73 | 2019 |
The Hierarchy of Hyperlogics N Coenen, B Finkbeiner, C Hahn, J Hofmann 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019 | 62 | 2019 |
A Temporal Logic for Asynchronous Hyperproperties J Baumeister, N Coenen, B Bonakdarpour, B Finkbeiner, C Sánchez Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 42 | 2021 |
Collaborative Newspaper: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario C Lander, M Speicher, D Paradowski, N Coenen, S Biewer, A Krüger Proceedings of the 4th International Symposium on Pervasive Displays, 163-169, 2015 | 15 | 2015 |
Temporal Causality in Reactive Systems N Coenen, B Finkbeiner, H Frenkel, C Hahn, N Metzger, J Siber 20th International Symposium on Automated Technology for Verification and …, 2022 | 14 | 2022 |
Causality-Based Game Solving C Baier, N Coenen, B Finkbeiner, F Funke, S Jantsch, J Siber Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 14 | 2021 |
Explaining Hyperproperty Violations N Coenen, R Dachselt, B Finkbeiner, H Frenkel, C Hahn, T Horak, ... Computer Aided Verification: 34th International Conference, CAV 2022, Haifa …, 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 |
Runtime Enforcement of Hyperproperties N Coenen, B Finkbeiner, C Hahn, J Hofmann, Y Schillo Automated Technology for Verification and Analysis: 19th International …, 2021 | 8 | 2021 |
Smart Contract Synthesis Modulo Hyperproperties N Coenen, B Finkbeiner, J Hofmann, J Tillman 2023 IEEE 36th Computer Security Foundations Symposium (CSF), 276-291, 2023 | 7 | 2023 |
Collaborative Newspaper Demo: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario C Lander, M Speicher, D Paradowski, N Coenen, S Biewer, A Krüger Proceedings of the 4th International Symposium on Pervasive Displays, 271-272, 2015 | 2 | 2015 |
The Hierarchy of Hyperlogics: A Knowledge Reasoning Perspective N Coenen, B Finkbeiner, C Hahn, J Hofmann 17th International Conference on Principles of Knowledge Representation and …, 2020 | | 2020 |