Norine Coenen

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