Hazem Torfah
- Real-time Stream-based Monitoring
2017/11/10 by Peter Faymonville, Faymonville, Peter, Bernd Finkbeiner +5 · 2 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Real-Time Systems Scheduling #Software Reliability and Analysis Research
- Model Checking Quantitative Hyperproperties
2018/01/01 by Bernd Finkbeiner, Finkbeiner, Bernd, Hahn, Christopher +2 · 2 citations
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Security and Verification in Computing
- Statistical Verification of Quantitative Hyperproperties: Beyond Boolean Quantification
2026/08/04 by Amir M. Ahmadian, Hazem Torfah
Computer Science · #cs.LO