Hazem Torfah

According to our database1, Hazem Torfah authored at least 10 papers between 2014 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Canonical Representations of k-Safety Hyperproperties.
Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Synthesizing Approximate Implementations for Unrealizable Specifications.
Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018
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

2017
The Density of Linear-Time Properties.
Proceedings of the Automated Technology for Verification and Analysis, 2017

2016
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

2014
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


  Loading...