Norine Coenen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2019–2022
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ATVA | Temporal Causality in Reactive Systems. | Norine Coenen, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Niklas Metzger, Julian Siber |
| 2022 | CAV | Explaining Hyperproperty Violations. | Norine Coenen, Raimund Dachselt, Bernd Finkbeiner, Hadar Frenkel, Christopher Hahn, Tom Horak, Niklas Metzger, Julian Siber |
| 2021 | ATVA | Runtime Enforcement of Hyperproperties. | Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Yannick Schillo |
| 2021 | CAV | Causality-Based Game Solving. | Christel Baier, Norine Coenen, Bernd Finkbeiner, Florian Funke, Simon Jantsch, Julian Siber |
| 2021 | CAV | A Temporal Logic for Asynchronous Hyperproperties. | Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, Csar Snchez |
| 2019 | CAV | Verifying Hyperliveness. | Norine Coenen, Bernd Finkbeiner, Csar Snchez, Leander Tentrup |
| 2019 | LICS | The Hierarchy of Hyperlogics. | Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann |