-
Assistant Professor in College of Information Technology 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:
-
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:
-
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.
-
Microsoft, USA (2008 to 2009)
Software Engineer, Worked on large scale distributed system for Microsoft Search Technology.
-
Riverbed Technology, USA (2007 2008)
Software Engineer, Worked on development and testing of security protocols in distributed system.
-
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.
-
Schwartz Electro Optics, USA (2000 2000)
Software Engineer, Worked on Schwartz Tactical Analysis and After Action Review Software.
Algorithm, Computer Organization, CSII
