Kollaboratives Text Lesen: Adaptive Text Scroll Geschwindigkeit. - Christian Lander; Norine Coenen; Sebastian Biewer; Antonio Krüger (MuC, 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 (PerDis, 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 (PerDis, 2015)

Verifying Hyperliveness. - Norine Coenen; Bernd Finkbeiner; César Sánchez 001; Leander Tentrup (CAV (1), 2019)

The Hierarchy of Hyperlogics. - Norine Coenen; Bernd Finkbeiner; Christopher Hahn; Jana Hofmann (LICS, 2019)

Runtime Enforcement of Hyperproperties. - Norine Coenen; Bernd Finkbeiner; Christopher Hahn; Jana Hofmann; Yannick Schillo (ATVA, 2021)

Causality-Based Game Solving. - Christel Baier; Norine Coenen; Bernd Finkbeiner; Florian Funke 002; Simon Jantsch; Julian Siber (CAV (1), 2021)

A Temporal Logic for Asynchronous Hyperproperties. - Jan Baumeister; Norine Coenen; Borzoo Bonakdarpour; Bernd Finkbeiner; César Sánchez 001 (CAV (1), 2021)

Temporal Causality in Reactive Systems. - Norine Coenen; Bernd Finkbeiner; Hadar Frenkel; Christopher Hahn; Niklas Metzger 001; Julian Siber (ATVA, 2022)

Explaining Hyperproperty Violations. - Norine Coenen; Raimund Dachselt; Bernd Finkbeiner; Hadar Frenkel; Christopher Hahn; Tom Horak; Niklas Metzger 001; Julian Siber (CAV (1), 2022)

Visual Analysis of Hyperproperties for Understanding Model Checking Results. - Tom Horak; Norine Coenen; Niklas Metzger 001; Christopher Hahn; Tamara Flemisch; Julián Méndez 001; Dennis Dimov; Bernd Finkbeiner; Raimund Dachselt (IEEE Trans. Vis. Comput. Graph., 2022)

Smart Contract Synthesis Modulo Hyperproperties. - Norine Coenen; Bernd Finkbeiner; Jana Hofmann; Julia J. Tillman (CSF, 2023)