Ijaz Ahmed

51 papers A* 1B 1C 1Journal 37Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
Enhancing Electric Grid Flexibility for the Integration of Variable Renewable Energy: Challenges, Innovations, and Future Directions.
IEEE Access
Mohammed Saber Eltohamy, Muhayya Saad Muhayya Aldawsari, Amir Raouf Adly Sadek, Hossam Youssef Abdel-Hamid Hegazy, Ijaz Ahmed, Theyab R. Alsenani, Yunsu Kim, Mohamed Mostafa Ramadan Ahmed
2026 J jnl
Resilient leader-following consensus control approach for generic linear multi-agent systems under input saturation and DoS cyberattacks.
Commun. Nonlinear Sci. Numer. Simul.
Sami Ullah, Fatima Tahir, Muhammad Rehan, Ijaz Ahmed, Muhammad Waqas Khalid
2026 J jnl
Robust consensus control of multi-agents under stochastic communication attacks and input saturation: An application to UGV-based vehicular network.
Veh. Commun.
Paghunda Roheela Ali, Waqas Ahmed, Muhammad Rehan, Ijaz Ahmed, Muhammad Waqas Khalid
2026 J jnl
Variable Threshold-Oriented Event-Triggered Cluster Consensus for Groups of Multiagent Systems.
IEEE Trans. Cybern.
Mahrukh, Muhammad Rehan, Abdul Basit, Ijaz Ahmed, Choon Ki Ahn, Mohammed Chadli
2025 J jnl
A Bidirectional interactive electric vehicles PV grid connected framework for vehicle-to-grid and grid-to-vehicle stability enhancement using hybrid control strategies.
Comput. Electr. Eng.
Ijaz Ahmed, Muhammad Adnan, Waqas Hassan
2025 J jnl
A Peer-to-Peer Cooperative Set-Membership Protocol for Estimation Over WSNs.
IEEE Commun. Lett.
Javeria Mumtaz, Abdul Basit, Muhammad Tufail, Muhammad Rehan, Ijaz Ahmed, Muhammad Waqas Khalid
2025 J jnl
A novel energy-based control approach for leader-follower bipartite consensus of heterogeneous multi-agents over antagonistic network interactions.
J. Frankl. Inst.
Noman Liaqat, Qaisar Abbas Naqvi, Qurratulain Minhas, Muhammad Rehan, Ijaz Ahmed, Muhammad Khalid
2025 J jnl
AI-enabled frequency synchronization control considering FDI attack using metaheuristic algorithm.
Neural Comput. Appl.
Hasnain Ahmad, Muhammad Majid Gulzar, Ghulam Mustafa, Abdul Qayyum Khan, Salman Habib, Ijaz Ahmed
2025 J jnl
Adoption of modern digital innovations: a systematic review of social impacts in online community forums.
Soc. Netw. Anal. Min.
Hasnain Ahmad, Muhammad Majid Gulzar, Ijaz Ahmed, Muhammad Khalid
2025 J jnl
Ai-enabled framework for anomaly detection in power distribution networks under false data injection attacks.
Artif. Intell. Rev.
Hasnain Ahmad, Ghulam Mustafa, Muhammad Majid Gulzar, Ijaz Ahmed, Muhammad Waqas Khalid
2025 J jnl
Consensus-Based Event-Triggered Distributed Optimization for a Network of Agents With Cubic Objective Functions.
IEEE Trans. Netw. Sci. Eng.
Zarar Ahmed Malik, Muhammad Rehan, Waqas Ahmed, Ijaz Ahmed, Choon Ki Ahn
2025 J jnl
Distributed computing in multi-agent systems: a survey of decentralized machine learning approaches.
Computing
Ijaz Ahmed, Miswar Akhtar Syed, Muhammad Maaruf, Muhammad Khalid
2025 J jnl
Fully-Distributed Resilient Consensus of Multi-Agent Systems With State and Input Sector Nonlinearities Under Stochastic Denial-of-Service Attacks.
IEEE Trans Autom. Sci. Eng.
Musawir Hussain, Fatima Tahir, Muhammad Rehan, Choon Ki Ahn, Ijaz Ahmed, Muhammad Waqas Khalid
2025 J jnl
Modeling the future: Mathematical insights for smart grid 3.0.
Comput. Electr. Eng.
Muhammad Adnan, Muhammad Sajid Iqbal, Sadia Jabeen Siddiqi, Ijaz Ahmed, Anwar Shah, Inam Ullah, Muhammad Tariq
2025 J jnl
Optimal Power Flow: A Review of State-of-the-Art Techniques and Future Perspectives.
IEEE Access
Ahmed Babiker, Sulaiman S. Ahmad, Ijaz Ahmed, Muhammad Waqas Khalid, Mohammad A. Abido, Fahad Saleh Al-Ismail
2025 J jnl
Robust regulation of blood glucose for Type-1 diabetes using insulin infusion limiter-based feedback control via artificial Pancreas.
Math. Comput. Simul.
Sajida Manzoor, Muhammad Rehan, Ijaz Ahmed
2024 — conf
A Resilient Consensus-Based Energy 5.0 Framework for Micro-Grids Under Ramp-Rate Constraints and Stochastic FDI Attacks.
ICIT
Ijaz Ahmed, Abdul Basit, Muhammad Rehan, Amjad Ali, Muhammad Maaruf, Muhammad Khalid
2024 J jnl
AI-based anomaly identification techniques for vehicles communication protocol systems: Comprehensive investigation, research opportunities and challenges.
Internet Things
Hasnain Ahmad, Muhammad Majid Gulzar, Saddam Aziz, Salman Habib, Ijaz Ahmed
2024 J jnl
Adaptive Neural Network-Based Resilient Output Feedback Control of Cyber-Physical Systems Under Multi-Channel Stochastic False Data Injection.
IEEE Access
Muhammad Mamoon, Muhammad Rehan, Ghulam Mustafa, Naeem Iqbal, Ijaz Ahmed, Muhammad Waqas Khalid
2024 J jnl
Cooperative Non-Orthogonal Multiple Access-Based Visible Light Communication Strategy for Power-Constrained Inter-Satellite Links.
IEEE Access
Arsalan Alam, Amena Ejaz Aziz, Abdul Basit, Ijaz Ahmed, Ali Arshad Nasir, Muhammad Waqas Khalid
2024 — conf
Detection of Cracks in the Industrial System Using Adaptive Principal Component Analysis and Wavelet Denoising.
ICIT
Faizan E. Mustafa, Ijaz Ahmed, Muhammad Maaruf, Muhammad Waqas Khalid
2024 — conf
Distributed Economic Dispatch with Valve-Point Effect via LPV-based Modified Incremental Cost Consensus Approach.
ICIT
Muhammad Moin, Muhammad Rehan, Ijaz Ahmed, Amjad Ali, Muhammad Khalid
2024 J jnl
Event-Based Secure Filtering Under Two-Channel Stochastic Attacks and Switching Topologies Over Wireless Sensor Networks.
IEEE Trans. Netw. Sci. Eng.
Abdul Basit, Muhammad Tufail, Muhammad Rehan, Waqas Ahmed, Ayman Radwan, Ijaz Ahmed
2024 J jnl
Experts and intelligent systems for smart homes' Transformation to Sustainable Smart Cities: A comprehensive review.
Expert Syst. Appl.
Noor ul Huda, Ijaz Ahmed, Muhammad Adnan, Mansoor Ali, Faisal Naeem
2024 J jnl
Exploring the convergence of Metaverse, Blockchain, Artificial Intelligence, and digital twin for pioneering the digitization in the envision smart grid 3.0.
Comput. Electr. Eng.
Muhammad Adnan, Ijaz Ahmed, Sajid Iqbal, Muhammad Rayyan Fazal, Sadia Jabeen Siddiqi, Muhammad Tariq
2024 J jnl
Load flow balancing in super smart grids: A review of technical challenges, possible solutions and future trends from European prospective.
Comput. Electr. Eng.
Muhammad Adnan, Ijaz Ahmed, Sajid Iqbal
2023 J jnl
A Dynamic Optimal Scheduling Strategy for Multi-Charging Scenarios of Plug-in-Electric Vehicles Over a Smart Grid.
IEEE Access
Ijaz Ahmed, Muhammad Rehan, Abdul Basit, Muhammad Tufail, Keum-Shik Hong
2023 J jnl
A Novel Event-Triggered Consensus Approach for Generic Linear Multi-Agents Under Heterogeneous Sector-Restricted Input Nonlinearities.
IEEE Trans. Netw. Sci. Eng.
Ijaz Ahmed, Muhammad Rehan, Naeem Iqbal, Choon Ki Ahn
2023 J jnl
A review on effective alarm management systems for industrial process control: Barriers and opportunities.
Int. J. Crit. Infrastructure Prot.
Faizan E. Mustafa, Ijaz Ahmed, Abdul Basit, Um-E.-Habiba Alvi, Saddam Hussain Malik, Atif Mahmood, Paghunda Roheela Ali
2023 J jnl
Advanced Statistical and Meta-Heuristic Based Optimization Fault Diagnosis Techniques in Complex Industrial Processes: A Comparative Analysis.
IEEE Access
Faizan E. Mustafa, Abdul Qayyum Khan, Abdus Samee, Ijaz Ahmed, Muhammad Abid, Mohammad M. Alqahtani, Muhammad Waqas Khalid
2023 J jnl
An Orthogonal Learning Bird Swarm Algorithm for Optimal Power Flow Problems.
IEEE Access
Manzoor Ahmad, Nadeem Javaid, Iftikhar Azim Niaz, Ijaz Ahmed, Muhammad Adnan Hashmi
2023 J jnl
Distributed State and Unknown Input Estimation Under Denial-of-Service Attacks: A Dynamic Event-Triggered Approach.
IEEE Trans. Circuits Syst. II Express Briefs
Abdul Basit, Muhammad Tufail, Muhammad Rehan, Muhammad Riaz, Ijaz Ahmed
2023 J jnl
Neuro-Fuzzy and Networks-Based Data Driven Model for Multi-Charging Scenarios of Plug-in-Electric Vehicles.
IEEE Access
Ijaz Ahmed, Muhammad Rehan, Abdul Basit, Muhammad Tufail, Keum-Shik Hong
2023 J jnl
Transmission Network Planning in Super Smart Grids: A Survey.
IEEE Access
Muhammad Adnan, Yazeed Ghadi, Ijaz Ahmed, Mansoor Ali
2022 — conf
A Consensus-based Approach for Economic Dispatch considering Multiple Fueling Strategy of Electricity Production Sector over a Smart Grid.
ASCC
Ijaz Ahmed, Muhammad Rehan, Keum-Shik Hong, Abdul Basit
2022 J jnl
A Novel Exponential Approach for Dynamic Event-Triggered Leaderless Consensus of Nonlinear Multi-Agent Systems Over Directed Graphs.
IEEE Trans. Circuits Syst. II Express Briefs
Ijaz Ahmed, Muhammad Rehan, Naeem Iqbal
2022 J jnl
A novel incremental cost consensus approach for distributed economic dispatch over directed communication topologies in a smart grid.
Soft Comput.
Um-E.-Habiba Alvi, Waqas Ahmed, Muhammad Rehan, Shakeel Ahmed, Rizwan Ahmad, Ijaz Ahmed
2022 — conf
Event-Triggered Distributed Exponential H∞ Observers Design for Discrete-Time Nonlinear Systems over Wireless Sensor Networks.
ASCC
Abdul Basit, Muhammad Tufail, Keum-Shik Hong, Muhammad Rehan, Ijaz Ahmed
2022 — conf
Event-triggered Leaderless Robust Consensus Control of Nonlinear Multi-agents under Disturbances.
ASCC
Ijaz Ahmed, Muhammad Rehan, Keum-Shik Hong, Abdul Basit
2022 J jnl
Localized Text-Free User Interfaces.
IEEE Access
Qazi Mudassar Ilyas, Muneer Ahmad, Noor Zaman, Majed A. Alshamari, Ijaz Ahmed
2020 — conf
Tecla Sound: Combining Single Switch and Speech Access.
ICCHP (2)
Hemanshu Bhargav, Ijaz Ahmed, Margot Whitfield, Raaga Shankar, Mauricio Meza, Deborah I. Fels
2019 A* conf
Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs.
ASE
Ayesha Sadiq, Li Li, Yuan-Fang Li, Ijaz Ahmed, Sea Ling
2019 J jnl
Sip4J: Statically inferring permission-based specifications for sequential Java programs.
CoRR
Ayesha Sadiq, Yuan-Fang Li, Sea Ling, Li Li, Ijaz Ahmed
2018 — conf
Checking JML-encoded finite state machine properties.
ICACS
Ijaz Ahmed, Néstor Cataño
2018 — conf
Voice morphing: An illusion or reality.
ICACS
Ijaz Ahmed, Ayesha Sadiq, Muhammad Atif, Mudasser Naseer, Muhammad Adnan
2016 B conf
Extracting Permission-Based Specifications from a Sequential Java Program.
ICECCS
Ayesha Sadiq, Yuan-Fang Li, Sea Ling, Ijaz Ahmed
2014 J jnl
A case study on the lightweight verification of a multi-threaded task server.
Sci. Comput. Program.
Néstor Cataño, Ijaz Ahmed, Radu I. Siminiceanu, Jonathan Aldrich
2012 J jnl
Automated Verification of Specifications with Typestates and Access Permissions.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Radu I. Siminiceanu, Ijaz Ahmed, Néstor Cataño
2012 — —
On the formal verification of specifications based on typestates with access permissions
Ijaz Ahmed
2011 C conf
Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool.
FMICS
Néstor Cataño, Ijaz Ahmed
2008 — conf
A Frame Work for Software Engineers to Support Collaboration.
Software Engineering Research and Practice
Samina Jadoon, Kashif Hesham Khan, Ijaz Ahmed