Muhammad Zohaib Nawaz

According to our database, Muhammad Zohaib Nawaz authored at least 7 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

MalSPM: Metamorphic malware behavior analysis and classification using sequential pattern mining.

M. Saqib Nawaz, Philippe Fournier-Viger, Muhammad Zohaib Nawaz, Guoting Chen, Youxi Wu

Comput. Secur., 2022

Metaheuristic Algorithms for Proof Searching in HOL4.

M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2021

An evolutionary/heuristic-based proof searching framework for interactive theorem prover.

M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun

Appl. Soft Comput., 2021

Proof searching and prediction in HOL4 with evolutionary/heuristic and deep learning techniques.

M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun

Appl. Intell., 2021

Metamorphic Malware Behavior Analysis Using Sequential Pattern Mining.

M. Saqib Nawaz, Philippe Fournier-Viger, Muhammad Zohaib Nawaz, Guoting Chen, Youxi Wu

Proceedings of the Machine Learning and Principles and Practice of Knowledge Discovery in Databases, 2021

2020

Proof searching in HOL4 with genetic algorithm.

Muhammad Zohaib Nawaz, Osman Hasan, M. Saqib Nawaz, Philippe Fournier-Viger, Meng Sun

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

2017

Symptom based automated detection of citrus diseases using color histogram and textural descriptors.

Hussam Ali, Muhammad Ikram Ullah Lali, Muhammad Zohaib Nawaz, Muhammad Sharif, B. A. Saleem

Comput. Electron. Agric., 2017