We stand with Ukraine  

Muhammad Atif

Orcid: 0000-0002-1755-2018

Affiliations:
  • Lahore Garrison University, Pakistan
  • University of Lahore, Department of Computer Science and Information Technology, Pakistan (2014-2024)
  • COMSATS Institute of Information Technology, Lahore, Pakistan
  • Eindhoven University of Technology, Department of of Computer Science, Netherlands (PhD 2011)


According to our database1, Muhammad Atif authored at least 5 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Modeling and Analysis of Cooperative Packet Recovery Protocol.
[BibTeX]
[DOI]
Muhammad Naeem
,
Muhammad Atif
,
Arshad Ali
,
Maryam Gulzar
,
Imran Riaz Hasrat
IEEE Access, 2024

2023
Understanding Behaviour of Distributed Systems Using mCRL2, 1
[BibTeX]
[DOI]
Muhammad Atif
,
Jan Friso Groote
458, Springer, ISBN: 978-3-031-23007-3, 2023

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

2012
Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems.
[BibTeX]
[DOI]
Muhammad Atif
,
Mohammad Reza Mousavi
,
Ammar Osaiweran
Proceedings of the ACM Symposium on Applied Computing, 2012

2010
Formal specification and analysis of accelerated heartbeat protocols.
[BibTeX]
[DOI]
Muhammad Atif
,
Mohammad Reza Mousavi
Proceedings of the SummerSim '10, 2010


  Loading...