Amir A. Khwaja

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 3

Top Topics

Lambda Calculus

Security Issues

Top Venues

Publications

Muhammad Nasir Mumtaz Bhutta, Amir A. Khwaja, Adnan Nadeem, Hafiz Farooq Ahmad, Muhammad Khurram Khan, Moataz Hanif, Houbing Song, Mohsen A. Rashwan, Yue Cao
A Survey on Blockchain Technology: Evolution, Architecture and Security. IEEE Access 9 (2021)
Amir A. Khwaja, Muniba Murtaza, Hafiz F. Ahmed
A security feature framework for programming languages to minimize application layer vulnerabilities. Secur. Priv. 3 (1) (2020)
Monerah Al-Mekhlal, Amir A. Khwaja
A Synthesis of Big Data Definition and Characteristics. CSE/EUC (2019)
Amir A. Khwaja, Joseph E. Urban
Intertwining Implementation with the RealSpec Executable Real-Time Specification Language. SEKE (2010)
Amir A. Khwaja, Joseph E. Urban
Agile and Incremental Development Methods for Real-Time Software Systems. ESA (2010)
Amir A. Khwaja, Joseph E. Urban
Experience with an eCos RTOS Based Compiler for the RealSpec Real-Time Specification Language. ESA (2010)
Amir A. Khwaja, Joseph E. Urban
A property based specification formalism classification. J. Syst. Softw. 83 (11) (2010)
Amir A. Khwaja, Joseph E. Urban
RealSpec: An Executable Specification Language for Modeling Control Systems. ISORC (2009)
Amir A. Khwaja, Joseph E. Urban
RealSpec: an Executable Specification Language for Modeling Resources. SEKE (2008)
Amir A. Khwaja, Joseph E. Urban
The State of Executable Real-Time Specification Languages and the Need for Advancements. ISORC (2008)
Amir A. Khwaja, Joseph E. Urban
RealSpec: An Executable Specification Language for Prototyping Concurrent Systems. IEEE International Workshop on Rapid System Prototyping (2008)
Amir A. Khwaja, Joseph E. Urban
A Framework for the Evaluation of Real-time Specification Techniques. Int. J. Softw. Eng. Knowl. Eng. 16 (6) (2006)
Amir A. Khwaja, Joseph E. Urban
A Synthesis of Evaluation Criteria for Software Specifications and Specification Techniques. Int. J. Softw. Eng. Knowl. Eng. 12 (5) (2002)
Amir A. Khwaja
An MFC Based Multi-Threaded Test Environment for the Validation of an Embedded Automotive Microcontroller. TOOLS (34) (2000)
Amir A. Khwaja
Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling. COMPSAC (1997)
Amir A. Khwaja, Joseph E. Urban
A Visual Syntax-Directed Editor for the Descartes Specification Language. Softw. Pract. Exp. 27 (6) (1997)
Yukuh Tung, Amir A. Khwaja, Joseph E. Urban
Multiple views of an executable software specification language. J. Syst. Softw. 21 (3) (1993)
Amir A. Khwaja, Joseph E. Urban
Syntax-Directed Editing Environments: Issues and Features. SAC (1993)
Amir A. Khwaja, Raghu Mannam, Joseph E. Urban
Study of a generic graphics package for the development of various user interfaces. SAC (1992)
Amir A. Khwaja, Joseph E. Urban
Adaptation and modification of Nassi-Shneiderman charts to represent Descartes specifications visually. RSP (1992)