Norine Coenen

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 20

Top Topics

Visual Analysis

Reactive Systems

Top Venues

Publications

Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman
Smart Contract Synthesis Modulo Hyperproperties. CSF (2023)
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
Runtime Enforcement of Hyperproperties. CoRR (2022)
Norine Coenen, Bernd Finkbeiner, Jana Hofmann, Julia J. Tillman
Smart Contract Synthesis Modulo Hyperproperties. CoRR (2022)
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
Explaining Hyperproperty Violations. CAV (1) (2022)
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber
Explaining Hyperproperty Violations. CoRR (2022)
Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber
Temporal Causality in Reactive Systems. ATVA (2022)
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt
Visual Analysis of Hyperproperties for Understanding Model Checking Results. IEEE Trans. Vis. Comput. Graph. 28 (1) (2022)
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
Causality-Based Game Solving. CAV (1) (2021)
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo
Runtime Enforcement of Hyperproperties. ATVA (2021)
Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber
Causality-Based Game Solving. CoRR (2021)
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
A Temporal Logic for Asynchronous Hyperproperties. CoRR (2021)
Tom Horak, Norine Coenen, Niklas Metzger, Christopher Hahn, Tamara Flemisch, Julián Méndez, Dennis Dimov, Bernd Finkbeiner, Raimund Dachselt
Visual Analysis of Hyperproperties for Understanding Model Checking Results. CoRR (2021)
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, César Sánchez
A Temporal Logic for Asynchronous Hyperproperties. CAV (1) (2021)
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann
The Hierarchy of Hyperlogics. CoRR (2020)
Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup
Verifying Hyperliveness. CoRR (2020)
Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann
The Hierarchy of Hyperlogics. LICS (2019)
Norine Coenen, Bernd Finkbeiner, César Sánchez, Leander Tentrup
Verifying Hyperliveness. CAV (1) (2019)
Christian Lander, Marco Speicher, Denise Paradowski, Norine Coenen, Sebastian Biewer, Antonio Krüger
Collaborative Newspaper: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario. PerDis (2015)
Christian Lander, Marco Speicher, Denise Paradowski, Norine Coenen, Sebastian Biewer, Antonio Krüger
Collaborative Newspaper Demo: Exploring an adaptive Scrolling Algorithm in a Multi-user Reading Scenario. PerDis (2015)
Christian Lander, Norine Coenen, Sebastian Biewer, Antonio Krüger
Kollaboratives Text Lesen: Adaptive Text Scroll Geschwindigkeit. Mensch & Computer (2015)