Sajjad Ali

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 22

Top Topics

Formal Verification

Renewable Energy

Top Venues

Publications

Muhammad Aslam Jarwar, Sajjad Ali, Inayatullah, Sayed Chhattan Shah
Taking IoT Security to the Next Level: Hyperledger Fabric Private Blockchain Enabled IoT Middleware. GLOBECOM (Workshops) (2023)
Ahmed Alzahrani, Ghulam Hafeez, Gul Rukh, Sadia Murawwat, Faiza Iftikhar, Sajjad Ali, Syed Irtaza Haider, Muhammad Iftikhar Khan, Azher M. Abed
Demand Response for Optimal Power Usage Scheduling Considering Time and Power Flexibility of Load in Smart Grid. IEEE Access 11 (2023)
Ahmed Alzahrani, Mujeeb Ur Rahman, Ghulam Hafeez, Gul Rukh, Sajjad Ali, Sadia Murawwat, Faiza Iftikhar, Syed Irtaza Haider, Muhammad Iftikhar Khan, Azher M. Abed
A Strategy for Multi-Objective Energy Optimization in Smart Grid Considering Renewable Energy and Batteries Energy Storage System. IEEE Access 11 (2023)
Sajjad Ali, Aman Ullah, Shabir Ahmad, Kamsing Nonlaopon, Ali Akgül
Analysis of Kink Behaviour of KdV-mKdV Equation under Caputo Fractional Operator with Non-Singular Kernel. Symmetry 14 (11) (2022)
Sajjad Ali, Ateeq Ur Rehman, Zahid Wadud, Imran Khan, Sadia Murawwat, Ghulam Hafeez, Fahad R. Albogamy, Sheraz A. Khan, Omaji Samuel
Demand Response Program for Efficient Demand-Side Management in Smart Grid Considering Renewable Energy Sources. IEEE Access 10 (2022)
Haji Gul, Sajjad Ali, Kamal Shah, Shakoor Muhammad, Thanin Sitthiwirattham, Saowaluck Chasreechai
Application of Asymptotic Homotopy Perturbation Method to Fractional Order Partial Differential Equation. Symmetry 13 (11) (2021)
Ilyoung Chong, Sajjad Ali
Schema Ontology Model to Support Semantic Interoperability in Healthcare Applications: Use Case of Depressive Disorder. ICUFN (2021)
Muhammad Aslam Jarwar, Sajjad Ali, Ilyoung Chong
Microservices based Linked Data Quality Model for Buildings Energy Management Services. CoRR (2019)
Sajjad Ali, Muhammad Aslam Jarwar, Ilyoung Chong
Microservices based Framework to Support Interoperable IoT Applications for Enhanced Data Analytics. CoRR (2019)
Sajjad Ali
Formal verification of SysML diagram using case studies of real-time system. Innov. Syst. Softw. Eng. 14 (4) (2018)
Sajjad Ali, Muhammad Golam Kibria, Muhammad Aslam Jarwar, Hoon-Ki Lee, Ilyoung Chong
A Model of Socially Connected Web Objects for IoT Applications. Wirel. Commun. Mob. Comput. 2018 (2018)
Sajjad Ali, Muhammad Aslam Jarwar, Ilyoung Chong
Design Methodology of Microservices to Support Predictive Analytics for IoT Applications. Sensors 18 (12) (2018)
Muhammad Aslam Jarwar, Muhammad Golam Kibria, Sajjad Ali, Ilyoung Chong
Microservices in Web Objects Enabled IoT Environment for Enhancing Reusability. Sensors 18 (2) (2018)
Ilyoung Chong, Sajjad Ali, Sanghong Lee
Intelligence provisioning model to support web objects enabled ubiquitous self-directed learning. ICOIN (2018)
Muhammad Aslam Jarwar, Sajjad Ali, Ilyoung Chong
Exploring Web Objects enabled Data-Driven Microservices for E-Health Service Provision in IoT Environment. ICTC (2018)
Ishtiaq Wahid, Ataul Aziz Ikram, Masood Ahmad, Sajjad Ali, Arshad Ali
State of the Art Routing Protocols in VANETs: A Review. ANT/SEIT (2018)
Muhammad Golam Kibria, Sajjad Ali, Muhammad Aslam Jarwar, Sunil Kumar, Ilyoung Chong
Logistic Model to Support Service Modularity for the Promotion of Reusability in a Web Objects-Enabled IoT Environment. Sensors 17 (10) (2017)
Sajjad Ali, Muhammad Golam Kibria, Muhammad Aslam Jarwar, Sunil Kumar, Ilyoung Chong
Microservices model in WoO based IoT platform for depressive disorder assistance. ICTC (2017)
Muhammad Aslam Jarwar, Sajjad Ali, Muhammad Golam Kibria, Sunil Kumar, Ilyoung Chong
Exploiting interoperable microservices in web objects enabled Internet of Things. ICUFN (2017)
Muhammad Golam Kibria, Sajjad Ali, Muhammad Aslam Jarwar, Ilyoung Chong
A framework to support data interoperability in web objects based IoT environments. ICTC (2017)
Sajjad Ali, Muhammad Golam Kibria, Ilyoung Chong
WoO enabled IoT service provisioning based on learning user preferences and situation. ICOIN (2017)
Muhammad Golam Kibria, Muhammad Aslam Jarwar, Sajjad Ali, Sunil Kumar, Ilyoung Chong
Web objects based energy efficiency for smart home IoT service provisioning. ICUFN (2017)
Sajjad Ali, Muhammad Abdul Basit Ur Rahim, Fahim Arif
Formal Verification of Time Constrains SysML Internal Block Diagram Using PRISM. ICCSA (Short Papers/poster papers/PhD student showcase works) (2015)
Sajjad Ali, Muhammad Abdul Basit Ur Rahim, Fahim Arif
Formal verification of internal block diagram of SysML for modeling real-time system. SNPD (2015)
Khalid M. Khan, Nida Ambreen, Muhammad Taha, Sobia A. Halim, Zaheer-ul-Haq, Shagufta Naureen, Saima Rasheed, Shahnaz Perveen, Sajjad Ali, Mohammad Iqbal Choudhary
Structure-based design, synthesis and biological evaluation of β-glucuronidase inhibitors. J. Comput. Aided Mol. Des. 28 (5) (2014)
Ansar Ul-Haq, Mian Bilal Ayub, Junaid Iqbal, Nagina Zarin, Sajjad Ali, Imran Khan
Performance of double threshold energy detection in cooperative-cognitive networks over Nakagami fading channels. ICDIM (2013)
Richard Cooper, Sajjad Ali, Chenlan Bi
Extracting Information from Short Messages. NLDB (2005)
Richard Cooper, Sajjad Ali
Extracting Database Information from E-mail Messages. BNCOD (2003)