Shahabuddin Muhammad, Ph.D.

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.