2021 · Eman Shaikh, Nazeeruddin Mohammad, et al. · International Conference on Communications, Signal Processing, and their Applications (ICCSPA) · 21

Modeling Operator Performance in Human-in-the-Loop Autonomous Systems

2021 · Shahabuddin Muhammad · IEEE Access · 17

PDF

Designing Human Assisted Wireless Sensor and Robot Networks Using Probabilistic Model Checking

2018 · Shahabuddin Muhammad, Nazeeruddin Mohammad, et al. · Journal of Intelligent & Robotic Systems · 14

Modeling and Analysis of MDP-based Security Risk Assessment System for Smart Grids

2020 · Abul Bashar, Shahabuddin Muhammad, et al. · International Conference on Inventive Systems and Control (ICISC) · 11

A logic-based verification framework for authentication protocols

2007 · Shahabuddin Muhammad, Zeeshan Furqan, et al. · International Journal of Internet Technology and Secured Transactions · 9

Formal Verification of 802.11i using Strand Space Formalism

2006 · Z. Furqan, S. Muhammad, et al. · International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies (ICN/ICONS/MCL) · 9

Modeling and Analyzing MAC Frame Aggregation Techniques in 802.11n Using Bi-dimensional Markovian Model

2012 · Nazeeruddin Mohammad, Shahabuddin Muhammad · Communications in computer and information science · 7

Wireless sensor network security: a secure sink node architecture

2005 · S. Muhammad, Z. Furqan, et al. · IEEE International Performance, Computing, and Communications Conference · 7

Formal Verification- and AI/ML-Assisted Radio Resource Allocation for Open RAN Compliant 5G/6G Networks

2025 · Tariq Mumtaz, Shahabuddin Muhammad, et al. · IEEE Access · 6

A Probabilistic Model Checking (PMC) Approach to Solve Security Issues in Digital Twin (DT)

2023 · Eman Shaikh, Nazeeruddin Mohammad, et al. · International Conference on Intelligent Data Communication Technologies and Internet of Things (IDCIoT) · 6

Probabilistic Modeling and Study of Cybersecurity Attacks in Industrial Control Systems of Plants

2020 · Fadi N. Sibai, Nazeeruddin Mohammad, et al. · IEEE Conference on Application, Information and Network Security (AINS) · 5

Designing Authentication Protocols: Trends and Issues

2006 · S. Muhammad, Z. Furqan, et al. · International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies (ICN/ICONS/MCL) · 5

Analysis of In-vehicle Security System of Smart Vehicles

2019 · Nazeeruddin Mohammad, Shahabuddin Muhammad, et al. · Communications in computer and information science · 4

Design and modeling of energy efficient WSN architecture for tactical applications

2017 · Nazeeruddin Mohammad, Shahabuddin Muhammad, et al. · Military Communications and Information Systems Conference · 4

Modeling and Evaluation of Mobility Management in mmWave Cellular Networks

2018 · Tariq Mumtaz, Shahabuddin Muhammad, et al. · IEEE International Multitopic Conference (INMIC) · 3

Reliable Communication Protocol for Applications in Multi-Robot Systems

2015 · Shahabuddin Muhammad, Mayez Al-Mouhamed, et al. · Arabian Journal for Science and Engineering · 3

Design and implementation of reliable auctioning algorithms for multi-robot systems

2013 · Nazeeruddin Mohammad, Shahabuddin Muhammad, et al. · International Conference on Advances in Computing, Communications and Informatics (ICACCI) · 3

A Multi-agent Approach Toward the Security Analysis of the 802.11i Handshake Protocol

2007 · Ratan Guha, Zeeshan Furqan, et al. · International Symposium on Wireless Pervasive Computing · 3

A mining-based approach for efficient enumeration of algebraic structures

2016 · Majid Ali Khan, Nazeeruddin Mohammad, et al. · International Journal of Data Science and Analytics · 2

PDF

Works count: 40

Citation count: 352

H-index: 10

I10-index: 10