Marvin Stenger

Identifiers

• name variant Marvin Stenger 0.60 · backfill

Papers (5)

1. Efficient Monitoring of Hyperproperties using Prefix Trees cs.LO · 2021 · author #3
2. RVHyper: A Runtime Verification Tool for Temporal Hyperproperties cs.LO · 2019 · author #3
3. Constraint-Based Monitoring of Hyperproperties cs.LO · 2019 · author #2
4. Synthesizing Reactive Systems from Hyperproperties cs.LO · 2019 · author #4
5. Monitoring Hyperproperties cs.LO · 2018 · author #3

Mentions

• 2101.07109 #3 · arxiv_oai · confidence 0.70 Marvin Stenger
• 1906.00798 #3 · arxiv_oai · confidence 0.70 Marvin Stenger
• 1905.13517 #2 · arxiv_oai · confidence 0.70 Marvin Stenger
• 1905.13511 #4 · arxiv_oai · confidence 0.70 Marvin Stenger
• 1807.00758 #3 · arxiv_oai · confidence 0.70 Marvin Stenger

Frequent Coauthors

• Christopher Hahn 5 shared papers
• Leander Tentrup 5 shared papers
• Bernd Finkbeiner 4 shared papers
• Philip Lukert 1 shared papers