According to our database1, Hazem Torfah authored at least 7 papers between 2014 and 2018.
Legend:Book In proceedings Article PhD thesis Other
The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems.
Proceedings of the Proceedings 3rd Workshop on formal reasoning about Causation, 2018
Model Checking Quantitative Hyperproperties.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
The Density of Linear-Time Properties.
Proceedings of the Automated Technology for Verification and Analysis, 2017
A Stream-Based Specification Language for Network Monitoring.
Proceedings of the Runtime Verification - 16th International Conference, 2016
Synthesizing Skeletons for Reactive Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2016
Counting Models of Linear-Time Temporal Logic.
Proceedings of the Language and Automata Theory and Applications, 2014
The Complexity of Counting Models of Linear-time Temporal Logic.
Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014