AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Hazem Torfah

Hazem Torfah

Chalmers University of Technology - Göteborg / Sweden
Others
AD Scientific Index ID: 5961834
Chalmers tekniska högskola
person_outline Hazem Torfah's MOST POPULAR ARTICLES
1-) StreamLAB: stream-based monitoring of cyber-physical systems International Conference on Computer Aided Verification, 421-431, 2019
2-) A stream-based specification language for network monitoring International Conference on Runtime Verification, 152-168, 2016
3-) Model checking quantitative hyperproperties International Conference on Computer Aided Verification, 144-163, 2018
4-) Real-time stream-based monitoring arXiv preprint arXiv:1711.03829, 2017
5-) Probabilistic Hyperproperties of Markov Decision Processes International Symposium on Automated Technology for Verification and Analysis, 2020