Follow
Norine Coenen
Norine Coenen
CISPA Helmholtz Center for Information Security
Verified email at react.uni-saarland.de - Homepage
Title
Cited by
Cited by
Year
Verifying Hyperliveness
N Coenen, B Finkbeiner, C Sánchez, L Tentrup
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
632019
The Hierarchy of Hyperlogics
N Coenen, B Finkbeiner, C Hahn, J Hofmann
34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019
582019
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
352021
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
92022
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
92021
Runtime Enforcement of Hyperproperties
N Coenen, B Finkbeiner, C Hahn, J Hofmann, Y Schillo
Automated Technology for Verification and Analysis: 19th International …, 2021
72021
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
72021
Smart Contract Synthesis Modulo Hyperproperties
N Coenen, B Finkbeiner, J Hofmann, J Tillman
2023 IEEE 36th Computer Security Foundations Symposium (CSF), 276-291, 2023
62023
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
52022
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
The system can't perform the operation now. Try again later.
Articles 1–12