Tentrup, Leander

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. The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
   2022/06/01 by Jacobs, Swen, Perez, Guillermo A., Abraham, Remco +22 · 3 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
4. Understanding and Extending Incremental Determinization for 2QBF
   2019/05/31 by Markus N. Rabe, Rabe, Markus N., Leander Tentrup +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Machine Learning and Algorithms #Programming Languages (cs.PL)
5. 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
6. Efficient Monitoring of Hyperproperties using Prefix Trees
   2021/01/18 by Finkbeiner, Bernd, Hahn, Christopher, Stenger, Marvin +1 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)