According to our database1, Mouhammad Sakr authored at least 8 papers between 2015 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015