Ayesha Sadiq

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 12

Top Topics

Component Based Architecture

Air Traffic Control

Formal Specification

Top Venues

Neural Comput. Appl.

Publications

Ayesha Sadiq, Sajid Gul Khawaja, Muhammad Usman Akram, Norah Saleh Alghamdi, Aimal Khan, Arsalan Shaukat
Machine Learning and Signal Processing Based Analysis of sEMG Signals for Daily Action Classification. IEEE Access 10 (2022)
Ayesha Sadiq, Muhammad Umar Javed, Rabiya Khalid, Ahmad Almogren, Muhammad Shafiq, Nadeem Javaid
Blockchain Based Data and Energy Trading in Internet of Electric Vehicles. IEEE Access 9 (2021)
Ayesha Sadiq, Yuan-Fang Li, Sea Ling
A survey on the use of access permission-based specifications for program verification. J. Syst. Softw. 159 (2020)
Asad Mansoor Khan, Ayesha Sadiq, Sajid Gul Khawaja, Muhammad Usman Akram, Ali Saeed Khan
Physical Action Categorization using Signal Analysis and Machine Learning. CoRR (2020)
Haichi Wang, Zan Wang, Jun Sun, Shuang Liu, Ayesha Sadiq, Yuan-Fang Li
Towards Generating Thread-Safe Classes Automatically. ASE (2020)
Ayesha Sadiq, Nadeem Javaid, Omaji Samuel, Adia Khalid, Noman Haider, Muhammad Imran
Efficient Data Trading and Storage in Internet of Vehicles using Consortium Blockchain. IWCMC (2020)
Ayesha Sadiq, Li Li, Yuan-Fang Li, Ijaz Ahmed, Sea Ling
Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs. ASE (2019)
Ayesha Sadiq, Yuan-Fang Li, Sea Ling, Li Li, Ijaz Ahmed
Sip4J: Statically inferring permission-based specifications for sequential Java programs. CoRR (2019)
Ijaz Ahmed, Ayesha Sadiq, Muhammad Atif, Mudasser Naseer, Muhammad Adnan
Voice morphing: An illusion or reality. ICACS (2018)
Syed Asad Hussain, Naeem Akhtar Khan, Ayesha Sadiq, Farooq Ahmad
Simulation, modeling and analysis of master node election algorithm based on signal strength for VANETs through Colored Petri nets. Neural Comput. Appl. 29 (11) (2018)
Farooq Ahmad, Ayesha Sadiq, Ana María Martínez Enríquez, Aslam Muhammad, Muhammad Waqas Anwar, Usama Ujaz Bajwa, Mudasser Naseer, Sher Afzal Khan
Component Based Architecture for the Control of Crossing Regions in Railway Networks. ICMLA (2017)
Ayesha Sadiq, Yuan-Fang Li, Sea Ling, Ijaz Ahmed
Extracting Permission-Based Specifications from a Sequential Java Program. ICECCS (2016)
Ayesha Sadiq, Farooq Ahmad, Sher Afzal Khan, José C. Valverde, Tabbasum Naz, Muhammad Waqas Anwar
Modeling and analysis of departure routine in air traffic control based on Petri nets. Neural Comput. Appl. 25 (5) (2014)