| 2026 | SAC | Back to the Future: Refurbishing Critical Software Engineering to Enable Trustworthy Classification. | Tommaso Zoppi, Muhammad Atif, Fahad Ahmed KhoKhar, Andrea Bondavalli |
| 2025 | ICSA | System-Awareness: An Enabling Condition to Design and Deploy Anomaly Detectors. | Muhammad Atif, Tommaso Zoppi, Andrea Bondavalli |
| 2024 | FIT | AI-Based Speed Adaptive Fault Diagnosis in Induction Motors Using Vibration Signal. | Muhammad Atif, Faisal Khan, Shoaib Azmat, Amina Bibi |
| 2021 | SAC | Quantitative comparison of supervised algorithms and feature sets for traffic sign recognition. | Muhammad Atif, Tommaso Zoppi, Mohamad Gharib, Andrea Bondavalli |
| 2017 | IDEAS | Efficient Density-Based Blocking for Record Matching. | Chenxiao Dou, Ruoyu Wang, Daniel Sun, Muhammad Atif |
| 2015 | UCC | Evaluation of High Density GPUs as Sustainable Smart City Infrastructure. | Lei Shang, Ching Yeh Lin, Muhammad Atif, Allan Williams |
| 2012 | SAC | Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems. | Muhammad Atif, Mohammad Reza Mousavi, Ammar Osaiweran |
| 2011 | ICA3PP | Adaptive Resource Remapping through Live Migration of Virtual Machines. | Muhammad Atif, Peter E. Strazdins |
| 2009 | EuroSys | An evaluation of multiple communication interfaces for virtualized SMP clusters. | Muhammad Atif, Peter Strazdins |
| 2009 | NPC | Optimizing Live Migration of Virtual Machines in SMP Clusters for HPC Applications. | Muhammad Atif, Peter E. Strazdins |
| 2006 | CATA | An Efficient Algorithm for Globally Aligning DNA Sequences. | Muzammil A. Khan, Hafiz Farooq Ahmad, Arshad Ali, Hiroki Suguri, Faran Javed Chawla, Muhammad Atif, H. Ghulam Mujtaba |