According to our database1, Muhammad Usman authored at least 8 papers between 2019 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Int. J. Softw. Tools Technol. Transf., 2020
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
A study of the learnability of relational properties: model counting meets machine learning (MCML).
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning).
Proceedings of the Model Checking Software - 26th International Symposium, 2019