Faculty Img
  • Phone:

    +966-13-849-9752

  • Email:

    smuhammad@pmu.edu.sa

  • Office No:

    F-010

  • Shahabuddin Muhammad, Ph.D.

  • Job Title :

    Associate Professor

  • College :

    College of Computer Engineering and Science


  • Department :

    Computer Science


  • Associate Professor in College of Computer Engineering and Science at Prince Mohammad Bin Fahd University
  • Assistant Professor in College of Computer Engineering and Science at Prince Mohammad Bin Fahd University
  • Ph.D. in Computer Science from University of Central Florida, USA
  • M.S. in Computer Science from University of Central Florida, USA
  • B.E. in Electrical Engineering from NED University of Engg. And Technology, Pakistan

  • Ph.D. in Computer Science from University of Central Florida, USA

  • M.S. in Computer Science from University of Central Florida, USA

  • B.E. in Electrical Engineering from NED University of Engg. And Technology, Pakistan

Refereed Journal Papers:

  • Security Analysis of a Digital Twin Framework using Probabilistic Model Checking, E SHAIKH, AR AL-ALI, S MUHAMMAD, N MOHAMMAD, F ALOUL
    IEEE Access 11, 26358-26374
  • Inter-slice resource management for 5G radio access network using Markov decision process, T Mumtaz, S Muhammad, A Muhammad, I Ahmed
    Telecommunication Systems
  • Modeling operator performance in human-in-the-loop autonomous systems, S Muhammad
    IEEE Access 9, 102715 - 102731
  • Dual Connectivity-Based Mobility Management and Data Split Mechanism in 4G/5G Cellular Networks, T Mumtaz, S Muhammad, MI Aslam, N Mohammad, IEEE Access 8, 86495-86509, 2020.
  • Formal Analysis of Human-Assisted Smart City Emergency Services, M Nazeeruddin, M Shahabuddin, B Abul, K Majid, Ali, IEEE Access 7, 60376 – 60388, 2019.
  • Designing Human Assisted Wireless Sensor and Robot Networks Using Probabilistic Model Checking, M Shahabuddin, M Nazeeruddin, A Bashar, K Majid Ali, Journal of Intelligent & Robotic Systems 94 (3), 687-709, 2019.
  • Enumeration of exponent three IP loops, AK Majid, M Shahabuddin, M Nazeeruddin, A Asif, Quasigroups and Related Systems 25 (1), 73-86, 2017.

Refereed Conference Papers:

  • Verifying Multi-Modal Urban Mobility Under Uncertainty: Mode Selection Based on Dynamic Transport Parameters, S Muhammad, N Mohammad, International Conference on Intelligent Systems and Computational Strategies in Engineering and Technology (ICICET 2025).
  • Radio frequency channel states analysis in evolved cellular networks using probabilistic model checking, T Mumtaz, S Muhammad
    20th International Bhurban Conference on Applied Sciences and Technology 2024
  • A Probabilistic Model Checking (PMC) Approach to Solve Security Issues in Digital Twin (DT), E Shaikh, N Mohammad, A Al-Ali, S Muhammad
    International Conference on Intelligent Data Communication Technologies and Internet of Things (IDCIoT 2023)
  • Model Checking Based Unmanned Aerial Vehicle (UAV) Security Analysis, E Shaikh, N Mohammad, S Muhammad
    International Conference on Communications, Signal Processing and their Applications (ICCSPA '20) April 12-14th, 2020
  • Modeling and Analysis of MDP-based Security Risk Assessment System for Smart Grids, A Bashar, S Muhammad, N Mohammad, M Khan, 2020 Fourth International Conference on Inventive Systems and Control (ICISC 2020)
  • Probabilistic Modeling and Study of Cybersecurity Attacks in Industrial Control Systems of Plants, F Sibai, N Mohammad, S Muhammad, AINS 2020: IEEE Conference on Applications, Information and Network Security, 2020.
  • Model Checking Based Unmanned Aerial Vehicle (UAV) Security Analysis, E Shaikh, N Mohammad, S Muhammad, International Conference on Communications, Signal Processing and their applications, 2020.
  • Modeling and Analysis of MDP-based Security Risk Assessment System for Smart Grids, A Bashar, S Muhammad, N Mohammad, M Khan, Proc. of 4th IEEE ICISC Conference (IEEE ICISC 2020), 08-10 Jan., 2020.
  • Analysis of In-vehicle Security System of Smart Vehicles, N Mohammad, S Muhammad, E Shaikh, International Conference on Future Network Systems and Security, 198-211, 2019.
  • Modeling and Evaluation of Mobility Management in mmWave Cellular Networks, T Mumtaz, S Muhammad, N Mohammad, MI Aslam, I Ahmed, 21st IEEE International Multi Topic Conference (INMIC 2018), 2018.
  • 'Modeling and Evaluation of Pre-copy Live VM Migration using Probabilistic Model Checking, B Abul, M Nazeeruddin, M Shahabuddin, 12th International Conference on Signal Processing and Communication Systems, 2018.
  • Efficient Enumeration of Algebraic Structures Using Multicore Systems, K Majid, Ali, M Nazeeruddin, A Bashar, M Shahabuddin, 11th Malaysian Software Engineering Conference (MySEC2018), 2018.
  • Design and modeling of energy efficient WSN architecture for tactical applications, N Mohammad, S Muhammad, A Bashar, MA Khan, 2017 Military Communications and Information Systems Conference (MilCIS), 1-6, 2017.
  • A system architecture for faceted querying, A Agostini, S Muhammad, 2017 International Conference on Information Science and Communications, 2017.

  1. Microsoft, USA (2008 to 2009)
    Software Engineer, Worked on large scale distributed system for Microsoft Search Technology.
  2. Riverbed Technology, USA (2007 2008)
    Software Engineer, Worked on development and testing of security protocols in distributed system.
  3. Adaptec, USA (2001 2003)
    Software Engineer, Worked in Test Engineering Group for various projects using C/C++, Java, and JavaScript to test Adaptec RAID management utilities.
  4. Schwartz Electro Optics, USA (2000 2000)
    Software Engineer, Worked on Schwartz Tactical Analysis and After Action Review Software.
 

Algorithms, Theory of Computation, Discrete Structures and Combinatorial Analysis, Mathematical Reasoning and Algorithmic Thinking, Computer Organization, Computer Vision, Data Structures, CSII