Amir A. Khwaja

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