| Computational conversion via translation rules for transforming C++ code into UPPAAL’s automata S Sultana, F Arif IEEE Access 5, 14455-14467, 2017 | 7 | 2017 |
| The proposed blended-MDA for software modeling in architecture phase S Sultana, F Arif, I Javaid American Journal of Engineering Research (AJER), e-ISSN, 2320-0847, 2016 | 5 | 2016 |
| From verification to implementation: UPPAAL to C++ S Sultana, F Arif American Journal of Engineering Research (AJER), e-ISSN, 2320-0847, 2016 | 4 | 2016 |
| Lightweight virtual machine mapping for data centers AA Abbasi, S Sultana, MAA Al-Qaness, A Hawbani, S Javed, S Kim 2019 IEEE International Conferences on Ubiquitous Computing & Communications …, 2019 | 1 | 2019 |
| Modeling and Verification of Car Parking System HA Bukhari, S Sultana ICSEA 2019, 235, 2019 | | 2019 |
| Automation of software modeling and verification S Sultana MCS, 2018 | | 2018 |
| Embedding watermarks in multiple tables in numeric dataset by bit pattern generation sub-watermarks S Sultana 2013 2nd National Conference on Information Assurance (NCIA), 83-88, 2013 | | 2013 |
| Separation of Concerns and Code Enhancement: Aspect-oriented Programming Versus Customization Approach Followed in Open Source Software S Sultana, F Arif | | |
