Formal specification and analysis of accelerated heartbeat protocols. - Muhammad Atif 006; Mohammad Reza Mousavi 001 (SummerSim, 2010)

Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems. - Muhammad Atif 006; Mohammad Reza Mousavi 001; Ammar Osaiweran (SAC, 2012)

An Implementation Framework to Attain 6R-Based Sustainable Lean Implementation - A Case Study. - Yasir Maqbool; Muhammad Zeeshan Rafique; Amjad Hussain; Hassan Ali 007; Saleha Javed; Muhammad Saad Amjad; Mohammad Aamir Khan; Salman Mumtaz; Syed Mustafa Haider; Muhammad Atif 006 (IEEE Access, 2019)

Understanding Behaviour of Distributed Systems Using mCRL2, 1 - Muhammad Atif 006; Jan Friso Groote (Springer, 2023)

Modeling and Analysis of Cooperative Packet Recovery Protocol. - Muhammad Naeem 011; Muhammad Atif 006; Arshad Ali 002; Maryam Gulzar; Imran Riaz Hasrat (IEEE Access, 2024)