Amir A. Khwaja

According to our database, Amir A. Khwaja authored at least 20 papers between 1992 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A Survey on Blockchain Technology: Evolution, Architecture and Security.

Muhammad Nasir Mumtaz Bhutta, Amir A. Khwaja, Adnan Nadeem, Hafiz Farooq Ahmad, Muhammad Khurram Khan, Moataz Hanif, Houbing Song, Mohsen A. Rashwan, Yue Cao

IEEE Access, 2021

2020

A security feature framework for programming languages to minimize application layer vulnerabilities.

Amir A. Khwaja, Muniba Murtaza, Hafiz F. Ahmed

Secur. Priv., 2020

2019

A Synthesis of Big Data Definition and Characteristics.

Monerah Al-Mekhlal, Amir A. Khwaja

Proceedings of the 2019 IEEE International Conference on Computational Science and Engineering, 2019

2010

A property based specification formalism classification.

Amir A. Khwaja, Joseph E. Urban

J. Syst. Softw., 2010

Intertwining Implementation with the RealSpec Executable Real-Time Specification Language.

Amir A. Khwaja, Joseph E. Urban

Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010

Agile and Incremental Development Methods for Real-Time Software Systems.

Amir A. Khwaja, Joseph E. Urban

Proceedings of the 2010 International Conference on Embedded Systems & Applications, 2010

Experience with an eCos RTOS Based Compiler for the RealSpec Real-Time Specification Language.

Amir A. Khwaja, Joseph E. Urban

Proceedings of the 2010 International Conference on Embedded Systems & Applications, 2010

2009

RealSpec: An Executable Specification Language for Modeling Control Systems.

Amir A. Khwaja, Joseph E. Urban

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

2008

RealSpec: an Executable Specification Language for Modeling Resources.

Amir A. Khwaja, Joseph E. Urban

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

RealSpec: An Executable Specification Language for Prototyping Concurrent Systems.

Amir A. Khwaja, Joseph E. Urban

Proceedings of the 19th IEEE/IFIP International Symposium on Rapid System Prototyping: RSP 2009, 2008

The State of Executable Real-Time Specification Languages and the Need for Advancements.

Amir A. Khwaja, Joseph E. Urban

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

2006

A Framework for the Evaluation of Real-time Specification Techniques.

Amir A. Khwaja, Joseph E. Urban

Int. J. Softw. Eng. Knowl. Eng., 2006

2002

A Synthesis of Evaluation Criteria for Software Specifications and Specification Techniques.

Amir A. Khwaja, Joseph E. Urban

Int. J. Softw. Eng. Knowl. Eng., 2002

2000

An MFC Based Multi-Threaded Test Environment for the Validation of an Embedded Automotive Microcontroller.

Amir A. Khwaja

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

1997

A Visual Syntax-Directed Editor for the Descartes Specification Language.

Amir A. Khwaja, Joseph E. Urban

Softw. Pract. Exp., 1997

Enhancing extensibility of the design rule checker of an EDA tool by object-oriented modeling.

Amir A. Khwaja

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1993

Multiple views of an executable software specification language.

Yukuh Tung, Amir A. Khwaja, Joseph E. Urban

J. Syst. Softw., 1993

Syntax-Directed Editing Environments: Issues and Features.

Amir A. Khwaja, Joseph E. Urban

Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing: States of the Art and Practice, 1993

1992

Study of a generic graphics package for the development of various user interfaces.

Amir A. Khwaja, Raghu Mannam, Joseph E. Urban

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied Computing: Technological Challenges of the 1990's, 1992

Adaptation and modification of Nassi-Shneiderman charts to represent Descartes specifications visually.

Amir A. Khwaja, Joseph E. Urban

Proceedings of the Third International Workshop on Rapid System Prototyping, 1992