Norine Coenen

Identifiers

• name variant Norine Coenen 0.60 · backfill

Papers (6)

1. Smart Contract Synthesis Modulo Hyperproperties cs.LO · 2022 · author #1
2. Runtime Enforcement of Hyperproperties cs.LO · 2022 · author #1
3. Visual Analysis of Hyperproperties for Understanding Model Checking Results cs.HC · 2021 · author #2
4. Causality-Based Game Solving cs.LO · 2021 · author #2
5. A Temporal Logic for Asynchronous Hyperproperties cs.LO · 2021 · author #2
6. 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