关注
Norine Coenen
Norine Coenen
CISPA Helmholtz Center for Information Security
在 react.uni-saarland.de 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Verifying Hyperliveness
N Coenen, B Finkbeiner, C Sánchez, L Tentrup
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
732019
The Hierarchy of Hyperlogics
N Coenen, B Finkbeiner, C Hahn, J Hofmann
34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019
622019
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
422021
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
152015
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
142022
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
142021
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
122022
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
122021
Runtime Enforcement of Hyperproperties
N Coenen, B Finkbeiner, C Hahn, J Hofmann, Y Schillo
Automated Technology for Verification and Analysis: 19th International …, 2021
82021
Smart Contract Synthesis Modulo Hyperproperties
N Coenen, B Finkbeiner, J Hofmann, J Tillman
2023 IEEE 36th Computer Security Foundations Symposium (CSF), 276-291, 2023
72023
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
22015
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
系统目前无法执行此操作,请稍后再试。
文章 1–12