Ijaz Ahmed
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Bibliography
2024
Experts and intelligent systems for smart homes' Transformation to Sustainable Smart Cities: A comprehensive review.
Expert Syst. Appl., March, 2024
2023
A review on effective alarm management systems for industrial process control: Barriers and opportunities.
Int. J. Crit. Infrastructure Prot., July, 2023
Distributed State and Unknown Input Estimation Under Denial-of-Service Attacks: A Dynamic Event-Triggered Approach.
IEEE Trans. Circuits Syst. II Express Briefs, June, 2023
A Novel Event-Triggered Consensus Approach for Generic Linear Multi-Agents Under Heterogeneous Sector-Restricted Input Nonlinearities.
IEEE Trans. Netw. Sci. Eng., 2023
Advanced Statistical and Meta-Heuristic Based Optimization Fault Diagnosis Techniques in Complex Industrial Processes: A Comparative Analysis.
IEEE Access, 2023
Neuro-Fuzzy and Networks-Based Data Driven Model for Multi-Charging Scenarios of Plug-in-Electric Vehicles.
IEEE Access, 2023
A Dynamic Optimal Scheduling Strategy for Multi-Charging Scenarios of Plug-in-Electric Vehicles Over a Smart Grid.
IEEE Access, 2023
IEEE Access, 2023
2022
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, 2022
A novel incremental cost consensus approach for distributed economic dispatch over directed communication topologies in a smart grid.
Soft Comput., 2022
Event-Triggered Distributed Exponential H∞ Observers Design for Discrete-Time Nonlinear Systems over Wireless Sensor Networks.
Proceedings of the 13th Asian Control Conference, 2022
Event-triggered Leaderless Robust Consensus Control of Nonlinear Multi-agents under Disturbances.
Proceedings of the 13th Asian Control Conference, 2022
A Consensus-based Approach for Economic Dispatch considering Multiple Fueling Strategy of Electricity Production Sector over a Smart Grid.
Proceedings of the 13th Asian Control Conference, 2022
2020
Proceedings of the Computers Helping People with Special Needs, 2020
2019
Sip4J: Statically inferring permission-based specifications for sequential Java programs.
CoRR, 2019
Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
2018
Proceedings of the International Conference on Advancements in Computational Sciences, 2018
Proceedings of the International Conference on Advancements in Computational Sciences, 2018
2016
Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016
2014
Sci. Comput. Program., 2014
2012
On the formal verification of specifications based on typestates with access permissions
PhD thesis, 2012
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012
2011
Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool.
Proceedings of the Formal Methods for Industrial Critical Systems, 2011
2008
A Frame Work for Software Engineers to Support Collaboration.
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008