Norine Coenen

Affiliations:
  • CISPA Helmholtz Center for Information Security, Saarbrücken, Germany
  • Saarland University, Saarbrücken, Germany


According to our database1, Norine Coenen authored at least 12 papers between 2015 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Visual Analysis of Hyperproperties for Understanding Model Checking Results.
IEEE Trans. Vis. Comput. Graph., 2022

Smart Contract Synthesis Modulo Hyperproperties.
CoRR, 2022

Explaining Hyperproperty Violations.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Temporal Causality in Reactive Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2022

2021
A Temporal Logic for Asynchronous Hyperproperties.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Causality-Based Game Solving.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Runtime Enforcement of Hyperproperties.
Proceedings of the Automated Technology for Verification and Analysis, 2021

2019
The Hierarchy of Hyperlogics.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Verifying Hyperliveness.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2015
Collaborative Newspaper Demo: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario.
Proceedings of the 4th International Symposium on Pervasive Displays, 2015

Collaborative Newspaper: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario.
Proceedings of the 4th International Symposium on Pervasive Displays, 2015

Kollaboratives Text Lesen: Adaptive Text Scroll Geschwindigkeit.
Proceedings of the Mensch und Computer 2015, 2015


  Loading...