Follow
Dr. Ayesha Sadiq
Dr. Ayesha Sadiq
Monash University, Caulfield School of Information Technology, Victoria
Verified email at monash.edu
Title
Cited by
Cited by
Year
Modeling and analysis of departure routine in air traffic control based on Petri nets
A Sadiq, F Ahmad, SA Khan, JC Valverde, T Naz, MW Anwar
Neural Computing and Applications 25 (5), 1099-1109, 2014
172014
A survey on automatic mapping of ontology to relational database schema
A Humaira, N Tabbasum, S Ayesha
Research Journal of Recent Sciences 4 (4), 66-70, 2015
132015
A survey on the use of access permission-based specifications for program verification
A Sadiq, YF Li, S Ling
Journal of Systems and Software 159, 110450, 2020
92020
Simulation, modeling and analysis of master node election algorithm based on signal strength for VANETs through Colored Petri nets
SA Hussain, NA Khan, A Sadiq, F Ahmad
Neural Computing and Applications 29, 1243-1259, 2018
92018
Component based architecture for the control of crossing regions in railway networks
F Ahmad, A Sadiq, AM Martinez-Enriquez, A Muhammad, MW Anwar, ...
2017 16th IEEE International Conference on Machine Learning and Applications …, 2017
92017
Extracting Permission-based Specifications from a Sequential Java Program
A Sadiq, YF Li, S Ling, I Ahmed
2016 21st International Conference on Engineering of Complex Computer …, 2016
52016
Towards Generating Thread-Safe Classes Automatically
H Wang, Z Wang, J Sun, S Liu, A Sadiq, YF Li
https://conf.researchr.org/details/ase-2020/ase-2020-papers/70/Towards …, 2020
42020
Sip4j: Statically inferring access permission contracts for parallelising sequential java programs
A Sadiq, L Li, YF Li, I Ahmed, S Ling
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
42019
Automatic inference of symbolic permissions for sequential java programs
A Sadiq, YF Li, L Li, S Ling, I Ahmed
arXiv preprint arXiv:1902.05311, 2020
32020
Voice morphing: An illusion or reality
I Ahmed, A Sadiq, M Atif, M Naseer, M Adnan
2018 International Conference on Advancements in Computational Sciences …, 2018
22018
A SIPAP CLASSIFICATION STUDY PITUITARY MACROADENOMA GRADING USING MAGNETIC RESONANCE IMAGING
ZG Khan, A Sadiq, M Mansoor, SA Khan, A Akbar, MA Narejo
NeuroQuantology 21 (5), 1783, 2023
2023
Petri Net based Game Design and Development
MWA Farooq Ahmed, Ayesha Sadiq, Sher Afzal Khan
Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in …, 2018
2018
Approaches for Loss-less Mapping from Relational Database to OWL Ontologies
S Maham, N Tabbasum, S Ayesha
Research Journal of Recent Sciences …, 0
The system can't perform the operation now. Try again later.
Articles 1–13