Ayesha Sadiq

According to our database, Ayesha Sadiq authored at least 14 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

2021

Blockchain Based Data and Energy Trading in Internet of Electric Vehicles.

Ayesha Sadiq, Muhammad Umar Javed, Rabiya Khalid, Ahmad Almogren, Muhammad Shafiq, Nadeem Javaid

IEEE Access, 2021

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

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

Towards Generating Thread-Safe Classes Automatically.

Haichi Wang, Zan Wang, Jun Sun, Shuang Liu, Ayesha Sadiq, Yuan-Fang Li

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Efficient Data Trading and Storage in Internet of Vehicles using Consortium Blockchain.

Ayesha Sadiq, Nadeem Javaid, Omaji Samuel, Adia Khalid, Noman Haider, Muhammad Imran

Proceedings of the 16th International Wireless Communications and Mobile Computing Conference, 2020

2019

Automatic Inference of Symbolic Permissions for Single-threaded Java Programs.

Ayesha Sadiq

PhD thesis, 2019

Sip4J: Statically inferring permission-based specifications for sequential Java programs.

Ayesha Sadiq, Yuan-Fang Li, Sea Ling, Li Li, Ijaz Ahmed

CoRR, 2019

Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs.

Ayesha Sadiq, Li Li, Yuan-Fang Li, Ijaz Ahmed, Sea Ling

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

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

Voice morphing: An illusion or reality.

Ijaz Ahmed, Ayesha Sadiq, Muhammad Atif, Mudasser Naseer, Muhammad Adnan

Proceedings of the International Conference on Advancements in Computational Sciences, 2018

2017

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, Muhammad Waqas Anwar, Usama Ujaz Bajwa, Mudasser Naseer, Sher Afzal Khan

Proceedings of the 16th IEEE International Conference on Machine Learning and Applications, 2017

2016

Extracting Permission-Based Specifications from a Sequential Java Program.

Ayesha Sadiq, Yuan-Fang Li, Sea Ling, Ijaz Ahmed

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016

2014

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