Norine Coenen
Identifiers
- name variant Norine Coenen 0.60 · backfill
Papers (6)
- Smart Contract Synthesis Modulo Hyperproperties cs.LO · 2022 · author #1
- Runtime Enforcement of Hyperproperties cs.LO · 2022 · author #1
- Visual Analysis of Hyperproperties for Understanding Model Checking Results cs.HC · 2021 · author #2
- Causality-Based Game Solving cs.LO · 2021 · author #2
- A Temporal Logic for Asynchronous Hyperproperties cs.LO · 2021 · author #2
- The Hierarchy of Hyperlogics cs.LO · 2020 · author #1
Mentions
- 2208.07180 #1 · arxiv_oai · confidence 0.70 Norine Coenen
- 2203.04146 #1 · arxiv_oai · confidence 0.70 Norine Coenen
- 2108.03698 #2 · arxiv_oai · confidence 0.70 Norine Coenen
- 2105.14247 #2 · arxiv_oai · confidence 0.70 Norine Coenen
- 2104.14025 #2 · arxiv_oai · confidence 0.70 Norine Coenen
- 2005.05934 #1 · arxiv_oai · confidence 0.70 Norine Coenen
Frequent Coauthors
- Bernd Finkbeiner 6 shared papers
- Christopher Hahn 3 shared papers
- Jana Hofmann 3 shared papers
- Borzoo Bonakdarpour 1 shared papers
- Cesar Sanchez 1 shared papers
- Christel Baier 1 shared papers
- Dennis Dimov 1 shared papers
- Florian Funke 1 shared papers
- Jan Baumeister 1 shared papers
- Juli\'an M\'endez 1 shared papers
- Julian Siber 1 shared papers
- Julia Tillman 1 shared papers
- Niklas Metzger 1 shared papers
- Raimund Dachselt 1 shared papers
- Simon Jantsch 1 shared papers
- Tamara Flemisch 1 shared papers
- Tom Horak 1 shared papers
- Yannick Schillo 1 shared papers