عمود1	عمود2
	Dr. Amir Ali Khwaja
Job Title:	Assistant Professor
Office Phone Number:	135899270
E-mail :	akhwaja@kfu.edu.sa
Department :	Information Systems
Office Number :	IS 2090
Qualification:	PhD
Professional Association:
Professional Certificates:
Research Area:	Software Requirements & Specifications, Executable Specifications, Real-time & Embedded Systems, SoC Validation
Research Projects:
Projects Under Supervision:	MS Project: Development of a Traveler Information System for Hajj Using a Real-Time Database System
Courses Taught at KFU:	IS 311: System Analysis & Design (I) IS 313: IT Project Management IS 626: Managing Information Systems Functions
Publication:	Book Chapters 1. A. A. Khwaja, “Modeling Big Data Analytics with a Real-time Executable Specification Language,” Accepted in the Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence, IGI Global. Journal Papers 2. A. A. Khwaja and J. E. Urban, “A Property Based Specification Formalism Classification,” The Journal of Systems and Software, Vol. 83, No. 11, November 2010, pp. 2344-2362. (Citations: 6) [Impact Factor: 1.245; 5-Year Impact Factor: 1.443] 3. A. A. Khwaja and J. E. Urban, “A Framework for the Evaluation of Real-Time Specification Techniques,” International Journal of Software Engineering and Knowledge Engineering, Vol. 16, No. 6, December 2006, pp. 987-1014. (Citations: 3) [Impact Factor: 0.30; 5-Year Impact Factor: 0.34] 4. A. A. Khwaja and J. E. Urban, “A Synthesis of Evaluation Criteria for Software Specification and Specification Techniques,” International Journal of Software Engineering and Knowledge Engineering, Vol. 12, No. 5, October 2002, pp. 581-599. (Citations: 11) [Impact Factor: 0.30; 5-Year Impact Factor: 0.34] 5. G. Choksi, A. A. Khwaja, et al. “Design Tools for Interconnect Continuum: A Packaging Perspective,” Intel Assembly & Test Technology Journal, Vol. 1, 1998, pp. 63-71. 6. A. A. Khwaja and J. E. Urban, “A Visual Syntax-Directed Editor for the Descartes Specification Language,” Software - Practice and Experience, Vol. 27, No. 6, June 1997, pp. 651-676. (Citations: 4) [Impact Factor: 1.148; 5-Year Impact Factor: 0.72] 7. Y. Tung, A. A. Khwaja, and J. E. Urban, “Multiple Views of an Executable Software Specification Language,” The Journal of Systems and Software, Vol. 21, No. 3, June 1993, pp. 305-319. (Citations: 8) [Impact Factor: 1.245; 5-Year Impact Factor: 1.443] Conference Papers 8. A. A. Khwaja and J. E. Urban, “Experience with an eCos RTOS Based Compiler for the RealSpec Real-Time Specification Language,” Proceedings of the International Conference on Embedded Systems and Applications (ESA’10), July 12-15, 2010, Las Vegas, Nevada, USA. 9. A. A. Khwaja and J. E. Urban, “Agile and Incremental Development Methods for Real-Time Software Systems,” Proceedings of the International Conference on Embedded Systems and Applications (ESA’10), July 12-15, 2010, Las Vegas, Nevada, USA. 10. A. A. Khwaja and J. E. Urban, “Intertwining Implementation with the RealSpec Executable Real-Time Specification Language,” Proceedings of the 22th International Conference on Software Engineering and Knowledge Engineering (SEKE 2010), July 1-3, 2010, San Francisco Bay, California, USA. 11. A. A. Khwaja and J. E. Urban, “Preciseness for Predictability with the RealSpec Real-Time Executable Specification Language,” Proceedings of the 2010 IEEE Aerospace Conference, March 6-13, 2010, Big Sky, Montana, USA, pp. 1-9. (Citations: 1) 12. A. A. Khwaja, “DIM: a Post-Silicon Engineering Impact Analysis Method for Derivative SoC Products,” Proceedings of the International Conference on Computer Design (CDES’09), July 13-16, 2009, Las Vegas, Nevada, USA, pp. 105-110. 13. A. A. Khwaja, “A Block Based Validation Methodology for Derivative SoC Products,” Proceedings of the International Conference on Computer Design (CDES’09), July 13-16, 2009, Las Vegas, Nevada, USA, pp. 93-99. 14. A. A. Khwaja and J. E. Urban, “RealSpec: an Executable Specification Language for Modeling Control Systems,” Proceedings of the 12th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing (ISORC 2009), March 17-20, 2009, Tokyo, Japan, pp. 219-227. (Citations: 4) 15. A. A. Khwaja and J. E. Urban, “Timing, Precedence, and Resource Constraints in the RealSpec Real-Time Specification Language,” Proceedings of the 2008 IASTED International Conference on Software Engineering and Applications, November 16-18, 2008, Orlando, Florida, USA, pp. 192-198. 16. A. A. Khwaja and J. E. Urban, “RealSpec: An Executable Specification Language for Modeling Resources,” Proceedings of the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE 2008), July 1-3, 2008, San Francisco Bay, California, USA, pp. 97-102. (Citations: 3) 17. A. A. Khwaja and J. E. Urban, “RealSpec: An Executable Specification Language for Prototyping Concurrent Systems,” Proceedings of the 19th IEEE/IFIP International Symposium on Rapid System Prototyping, June 2-5, 2008, Monterey, California, USA, pp. 3-9. (Citations: 3) 18. A. A. Khwaja and J. E. Urban, “The State of Executable Real-Time Specification Languages and the Need for Advancements,” Proceedings of the 11th IEEE International Symposium on Object/component/service-oriented Real-time Distributed Computing (ISORC 2008), May 5-7, 2008, Orlando, Florida, USA, pp. 577-583. (Citations: 1) 19. A. A. Khwaja and J. E. Urban, “Comparison of Real-Time Specification Techniques Using a Real-Time Features Based Framework,” Proceedings of the 2006 IASTED International Conference on Software Engineering and Applications, November 13-15, 2006, Dallas, Texas, USA, pp. 509-516. (Citations: 3) 20. A. A. Khwaja, “An MFC Based Multi-Threaded Test Environment for the Validation of an Embedded Automotive Microcontroller,” Proceedings of the 34th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS 2000), Santa Barbara, California, July 30 – August 3, 2000. (Citations: 2) 21. A. A. Khwaja, “Enhancing Extensibility of the Design Rule Checker of an EDA Tool by Object-Oriented Modeling,” Proceedings of the 21st Annual IEEE International Computer Software and Applications Conference (COMPSAC 97), Washington, D.C., August 13-15, 1997, pp. 104-108. (Citations: 4) 22. A. A. Khwaja and J. E. Urban, “Syntax-Directed Editing Environments: Issues and Features,” Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing (SAC 93), Indianapolis, Indiana, February 14-16, 1993, pp. 230-237. (Citations: 39) 23. A. A. Khwaja and J. E. Urban, “Adaptation and Modification of Nassi-Shneiderman Charts to Represent Descartes Specifications Visually,” Proceedings of the 3rd IEEE International Workshop on Rapid System Prototyping, Research Triangle Park, North Carolina, June 23-25, 1992, pp. 188-201. (Citations: 5) 24. A. Khwaja, R. Mannam, and J. E. Urban, “Study of a Generic Graphics Package for the Development of Various User Interfaces,” Proceedings of the ACM/SIGAPP 1992 Symposium on Applied Computing (SAC 92), Kansas City, Missouri, March 1-3, 1992, pp. 438-443. (Citations: 2)
Personal Homepage: