Modeling and analysis of departure routine in air traffic control based on Petri nets. - Ayesha Sadiq; Farooq Ahmad; Sher Afzal Khan; José C. Valverde; Tabbasum Naz; Muhammad Waqas Anwar (Neural Comput. Appl., 2014)

Extracting Permission-Based Specifications from a Sequential Java Program. - Ayesha Sadiq; Yuan-Fang Li; Sea Ling; Ijaz Ahmed (ICECCS, 2016)

Component Based Architecture for the Control of Crossing Regions in Railway Networks. - Farooq Ahmad; Ayesha Sadiq; Ana María Martínez Enríquez; Aslam Muhammad 001; Muhammad Waqas Anwar; Usama Ujaz Bajwa; Mudasser Naseer; Sher Afzal Khan (ICMLA, 2017)

Voice morphing: An illusion or reality. - Ijaz Ahmed; Ayesha Sadiq; Muhammad Atif; Mudasser Naseer; Muhammad Adnan (ICACS, 2018)

Simulation, modeling and analysis of master node election algorithm based on signal strength for VANETs through Colored Petri nets. - Syed Asad Hussain; Naeem Akhtar Khan; Ayesha Sadiq; Farooq Ahmad (Neural Comput. Appl., 2018)

Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs. - Ayesha Sadiq; Li Li 029; Yuan-Fang Li; Ijaz Ahmed; Sea Ling (ASE, 2019)

Sip4J: Statically inferring permission-based specifications for sequential Java programs. - Ayesha Sadiq; Yuan-Fang Li; Sea Ling; Li Li 029; Ijaz Ahmed (CoRR, 2019)

Automatic Inference of Symbolic Permissions for Single-threaded Java Programs. - Ayesha Sadiq (2019)

Efficient Data Trading and Storage in Internet of Vehicles using Consortium Blockchain. - Ayesha Sadiq; Nadeem Javaid; Omaji Samuel; Adia Khalid; Noman Haider; Muhammad Imran 001 (IWCMC, 2020)

Towards Generating Thread-Safe Classes Automatically. - Haichi Wang; Zan Wang; Jun Sun 001; Shuang Liu 007; Ayesha Sadiq; Yuan-Fang Li (ASE, 2020)

Physical Action Categorization using Signal Analysis and Machine Learning. - Asad Mansoor Khan; Ayesha Sadiq; Sajid Gul Khawaja; Muhammad Usman Akram; Ali Saeed Khan (CoRR, 2020)

A survey on the use of access permission-based specifications for program verification. - Ayesha Sadiq; Yuan-Fang Li; Sea Ling (J. Syst. Softw., 2020)

Blockchain Based Data and Energy Trading in Internet of Electric Vehicles. - Ayesha Sadiq; Muhammad Umar Javed; Rabiya Khalid; Ahmad Almogren; Muhammad Shafiq 002; Nadeem Javaid (IEEE Access, 2021)

Machine Learning and Signal Processing Based Analysis of sEMG Signals for Daily Action Classification. - Ayesha Sadiq; Sajid Gul Khawaja; Muhammad Usman Akram; Norah Saleh Alghamdi; Aimal Khan; Arsalan Shaukat (IEEE Access, 2022)