A Survey on Blockchain Technology: Evolution, Architecture and Security YC M. N. Bhutta, A. A. Khwaja, A. Nadeem, H. F. Ahmad, M. K. Khan, M. Hanif ... IEEE Access, 61048-61073, 2021 | 502 | 2021 |
Syntax-directed editing environments: Issues and features AA Khwaja, JE Urban Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of …, 1993 | 59 | 1993 |
A Synthesis of Big Data Definition and Characteristics M Al-Mekhlal, AA Khwaja 2019 IEEE International Conference on Computational Science and Engineering …, 2019 | 53 | 2019 |
A synthesis of evaluation criteria for software specifications and specification techniques AA Khwaja, JE Urban International Journal of Software Engineering and Knowledge Engineering 12 …, 2002 | 33 | 2002 |
A Web-Based Program Outcome Assessment Tool AA Khwaja 21st Saudi Computer Society National Computer Conference (SCS-NCC’2018), 2018 | 11 | 2018 |
A property based specification formalism classification AA Khwaja, JE Urban Journal of Systems and Software 83 (11), 2344-2362, 2010 | 11 | 2010 |
Multiple views of an executable software specification language Y Tung, AA Khwaja, JE Urban Journal of Systems and Software 21 (3), 305-319, 1993 | 10 | 1993 |
WiMesh: Leveraging Mesh Networking For Disaster Communication in Resource-Constrained Settings U Ashraf, A Khwaja, J Qadir, S Avallone, C Yuen Wireless Networks, 2021 | 9 | 2021 |
Realspec: An executable specification language for modeling control systems AA Khwaja, JE Urban 2009 IEEE International Symposium on Object/Component/Service-Oriented Real …, 2009 | 9 | 2009 |
Adaptation and modification of Nassi-Shneiderman charts to represent Descartes specifications visually AA Khwaja, JE Urban [1992 Proceedings] The Third International Workshop on Rapid System …, 1992 | 9 | 1992 |
Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling AA Khwaja Proceedings Twenty-First Annual International Computer Software and …, 1997 | 7 | 1997 |
A Security Feature Framework for Programming Languages to Minimize Application Layer Vulnerabilities AA Khwaja, M Murtaza, HF Ahmed Security and Privacy 3 (1), 2020 | 6 | 2020 |
A framework for the evaluation of real-time specification techniques AA Khwaja, JE Urban International Journal of Software Engineering and Knowledge Engineering 16 …, 2006 | 5 | 2006 |
Comparison of Real-Time Specification Techniques Using a Real-Time Features Based Framework AA Khwaja, JE Urban Proceedings of the 10th IASTED International Conference on Software …, 2006 | 5 | 2006 |
A Visual Syntax‐directed Editor for the Descartes Specification Language AA Khwaja, JE Urban Software: Practice and Experience 27 (6), 651-676, 1997 | 5 | 1997 |
A visual syntax-directed editor for the Descartes specification language AA Khwaja Arizona State University, 1993 | 5 | 1993 |
Timing precedence and resource constraints in the realspec real-time specification language AA Khwaja, JE Urban Proceedings of the 2008 IASTED International Conference on Software …, 2008 | 4 | 2008 |
RealSpec: an Executable Specification Language for Modeling Resources. AA Khwaja, JE Urban International Conference on Software Engineering and Knowledge Engineering …, 2008 | 4 | 2008 |
RealSpec: An executable specification language for prototyping concurrent systems AA Khwaja, JE Urban 2008 The 19th IEEE/IFIP International Symposium on Rapid System Prototyping, 3-9, 2008 | 4 | 2008 |
A real-time DBMS system for the immigration processing of large Hajj crowd AA Khwaja International Journal of Modern Education and Computer Science 9 (9), 32, 2017 | 3 | 2017 |