Norine Coenen

According to our database, Norine Coenen authored at least 12 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Smart Contract Synthesis Modulo Hyperproperties.

Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2022

Visual Analysis of Hyperproperties for Understanding Model Checking Results.

Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt

IEEE Trans. Vis. Comput. Graph., 2022

Explaining Hyperproperty Violations.

Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Temporal Causality in Reactive Systems.

Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

A Temporal Logic for Asynchronous Hyperproperties.

Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Causality-Based Game Solving.

Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Runtime Enforcement of Hyperproperties.

Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo

Proceedings of the Automated Technology for Verification and Analysis, 2021

2019

The Hierarchy of Hyperlogics.

Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann

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

Verifying Hyperliveness.

Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup

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.

Christian Lander, Marco Speicher, Denise Paradowski, Norine Coenen, Sebastian Biewer, Antonio Krüger

Proceedings of the 4th International Symposium on Pervasive Displays, 2015

Collaborative Newspaper: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario.

Christian Lander, Marco Speicher, Denise Paradowski, Norine Coenen, Sebastian Biewer, Antonio Krüger

Proceedings of the 4th International Symposium on Pervasive Displays, 2015

Kollaboratives Text Lesen: Adaptive Text Scroll Geschwindigkeit.

Christian Lander, Norine Coenen, Sebastian Biewer, Antonio Krüger

Proceedings of the Mensch und Computer 2015, 2015