About

Dr. Sidra Sultana is working as Assistant Professor in the School of Electrical Engineering and Computer Science. Dr. Sidra Sultana has a PhD in Software Modeling And Verification In Real Time Systems . Dr. Sidra Sultana has published 15 research articles & conference papers having a citation count of 15 , carried out 3 projects and filed 4 intellectual property.

Research Tags

Automation in Real time systems DevOps Dynamic Ontology Formal Methods Nutrient Insight Recommender System Software Modelling Software Quality Assurance Software Testing Software Verification

Research Projects

2

Industry Projects

1

Amount Granted

48.3 M

Publications

15

Citations

15

Intellectual Property

4
Publication Types
Project Types
Publications by Year
Projects by Year

Education

PhD Software Modeling And Verification In Real Time Systems 2013- 2018
NUST, Islamabad , Pakistan
MS Aspect Oriented Programming 2010- 2013
NUST, Islamabad , Pakistan
BE Software Engineering 2010- 2010
Fatima Jinnah Women University , Pakistan

Experience

Assistant Professor 2019- Present
School of Electrical Engineering and Computer Science , NUST
HoD Computing 2015- 2019
Abasyn University Islamabad Campus , Park Road, Chak Shahzad ,
Software Engineer 2011- 2012
Yuztech , Gulshan a abad, Rawalpindi ,
Software Engineer 2010- 2010
DiscreteLogix , STP ,

Awards

Memberships

2
Research Projects
1
Industrial Projects
3
National Projects
0
International Projects
48.3M
Total Funding (PKR)
CAREON - Continuous AI-Remote E-Health Operations Network 2025
Project Status: Approved_inprocess Rs: 1.4 M Approval Date: 2025-09-24 Completion Date: N/A
Funding Agency: Prince Muhammad bin Fahad University, Saudi Arabia
Zero-G Mysteries: Biomechanics of Astronauts in Microgravity using joint based mechanical loading simulations (IRP-24-01/PH-1) 2024
Project Status: Completed Rs: 1.0 M Approval Date: 2024-06-04 Completion Date: 2026-08-04
Funding Agency: NUST
Digitization of Inhouse processes and automation of examination system of FPSC 2026
Project Status: Approved_inprocess Rs: 45.9 M Approval Date: 2026-04-08 Completion Date: N/A
Funding Agency: FPSC
6
Research Articles
7
Conference Proceedings
0
Books
2
Book Chapters
4
Editorial Activities
Evaluating the impact of persona‐driven game‐based learning on children’s understanding of personal boundaries 2026
DU
Durraj Nadeem Khan Khosa (Fatima Jinnah Women University)
AN
Anjuman Shaheen (Falmouth University)
SU
Sumera Gulzar (Fatima Jinnah Women University)
Journal: Aposta-Revista de Ciencias Sociales, Volume 24(112), Article Number 912
Impact Factor: N/A Citations: 0 Quartile: 4
SDG 4
Computational Conversion via Translation Rules for Transforming C++ Code Into UPPAAL’s Automata 2017
Journal: IEEE Access, Volume 5, Pages 14455-14467
Impact Factor: 3.557 Citations: 6 Quartile: 1
Kahoot: A game-based web tool to assess motivation, engagement fun, and learning outcomes among engineers 2023
RI
Rimsha Fiayaz
SA
Saima Anwar Lashari (Saudi Electronic University)
TA
Tashfa Afzal
Journal: Computer Applications in Engineering Education, Pages 1-24
Impact Factor: 2.9 Citations: 9 Quartile: 2
SDG 4
A comparison of the effects of individual and team participation in gamified lessons on assessment performance 2024
FA
Fahad Ansari
SA
Sana Anwar Lashari (Universiti Utara Malaysia)
Journal: Jilin Daxue Xuebao (Gongxueban)/Journal of Jilin University (Engineering and Technology Edition), Volume 43, Issue 08, Pages 87-106
Impact Factor: N/A Citations: 0 Quartile: N/A
SDG 4
From Verification to Implementation: UPPAAL to C++ 2016
Journal: American Journal of Engineering Research, Volume 5(7), Pages 269-274
Impact Factor: - Citations: 0 Quartile: N/A
The Proposed Blended-MDA for Software Modeling in Architecture Phase 2016
FA
Fahim Arif (-)
IQ
Iqra Javaid (-)
Journal: American Journal of Engineering Research (AJER), Volume-5, Issue-7, Pages 275-279
Impact Factor: - Citations: 0 Quartile: N/A
GLOFNet- A Multimodal Dataset for GLOF Monitoring and Prediction
MU
Muhammad Anser Sohaib
ZU
Zuha Fatima
MU
Muhammad Talha
Conference: 2025 5th International Conference on Digital Futures and Transformative Technologies (ICoDT2)
Citations: N/A
SDG 4
An IoT-Based AQI Monitoring System with Integrated Sensor Calibration and Transformer-Based Forecasting
AH
Ahsan Tahir
MU
Muhammad Abdul Rehman Al-Dakhil
Conference: 2026 7th International Conference on Advancements in Computational Sciences (ICACS)
Citations: N/A
SDG 9
Quizly: Transforming Quiz Experiences with Multi Modal Inputs for Differently Abled Users
Conference: Ethical and Social Impacts of Information and Communication Technology
Citations: N/A
SDG 3 SDG 4
Leukemia Cancer Classification using Micro Gene Array Dataset
Conference: 21st International Conference on Frontiers of Information Technology (FIT'24)
Citations: N/A
Lightweight Virtual Machine Mapping for Data Centers
AA
Aaqif Afzaal Abbasi (Foundation University Islamabad, Pakistan)
MO
Mohammed A. A. Al-qaness (Wuhan University )
AM
Ammar Hawbani (University of Science and Technology of China)
SA
Sameen Javed (Quality Assurance Department Keeptuckin Inc.)
SU
Sunghwan Kim (School of Electrical Engineering, University of Ulsan, Ulsan, Korea)
Conference: 2019 IEEE International Conferences on Ubiquitous Computing & Communications (IUCC) and Data Science and Computational Intelligence (DSCI) and Smart Computing, Networking and Services (SmartCNS)
Citations: N/A
Modeling and Verification of Car Parking System
HA
HADIQA ALAMDAR BUKHARI (-)
Conference: ICSEA 2019 : The Fourteenth International Conference on Software Engineering Advances
Citations: N/A
Separation of Concerns and Code Enhancement: Aspect Oriented Programming Vs Customization Approach Followed in Open Source Softwares
FA
Fahim Arif (-)
Conference: 8th International Conference on Software Engineering Advances held from 27 Oct to 01 Nov 2013 in Italy
Citations: N/A
Real-time modeling and verification of SONAR systems 2025
HA
Hajrah ibrahim Virk
HA
Hamza Ahmad
Book: Advances in Underwater Communication and Networking (Chapter 23, Pages 311-329)
Citations: N/A
SDG 14
Ethical Considerations in Human-Centered AI Design for Assistive Technologies 2026
SA
Sana Anwar Lashari (Shandong Xiehe University)
A
Asad Waqar Malik (Mississippi State University)
Book: Ethical AI Applications for Software Engineering and Development (Chapter 2, Pages 37-65)
Citations: N/A
SDG 11
2020
Reviewed Papers for Journals
Impact Factor:
2019
Edited Journal Issue / Proceeding / Book
Impact Factor:
2019
Reviewed Papers for Journals
Impact Factor:
2019
Reviewed Papers for Journals
Impact Factor:
4
Copyrights
0
Patents
0
Industrial Designs
0
Trademarks
Criclions 2023
Status: Filed Approval Date: 08-Jun-2023
User Interface of Criclion 2023
Status: Filed Approval Date: 08-Jun-2023
Intelligent Grepbing 2023
Status: Filed Approval Date: 08-Jun-2023
User Interface of Intelligent Grepbing 2023
Status: Filed Approval Date: 08-Jun-2023
No training records found for this faculty member
0
Total Supervisions
0
PhD Supervisions
0
MS Supervisions
Loading...

Loading PhD supervisions...

Loading...

Loading MS supervisions...