Ayesha Sadiq

Orcid: 0000-0002-1790-8205

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Machine Learning and Signal Processing Based Analysis of sEMG Signals for Daily Action Classification.
IEEE Access, 2022

2021
Blockchain Based Data and Energy Trading in Internet of Electric Vehicles.
IEEE Access, 2021

2020
A survey on the use of access permission-based specifications for program verification.
J. Syst. Softw., 2020

Physical Action Categorization using Signal Analysis and Machine Learning.
CoRR, 2020

Towards Generating Thread-Safe Classes Automatically.
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.
Proceedings of the 16th International Wireless Communications and Mobile Computing Conference, 2020

2019
Automatic Inference of Symbolic Permissions for Single-threaded Java Programs.
PhD thesis, 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
Simulation, modeling and analysis of master node election algorithm based on signal strength for VANETs through Colored Petri nets.
Neural Comput. Appl., 2018

Voice morphing: An illusion or reality.
Proceedings of the International Conference on Advancements in Computational Sciences, 2018

2017
Component Based Architecture for the Control of Crossing Regions in Railway Networks.
Proceedings of the 16th IEEE International Conference on Machine Learning and Applications, 2017

2016
Extracting Permission-Based Specifications from a Sequential Java Program.
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.
Neural Comput. Appl., 2014


  Loading...