Marvin Stenger

1. Monitoring Hyperproperties
   2018/07/02 by Bernd Finkbeiner, Christopher Hahn, Finkbeiner, Bernd +5 · 4 citations
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
2. RVHyper: A Runtime Verification Tool for Temporal Hyperproperties
   2019/05/31 by Bernd Finkbeiner, Christopher Hahn, Finkbeiner, Bernd +5 · 2 citations
   Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Real-Time Systems Scheduling #Security and Verification in Computing
3. Constraint-Based Monitoring of Hyperproperties
   2019/05/31 by Christopher Hahn, Hahn, Christopher, Marvin Stenger +3 · 1 citation
   Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems