Dr. Atif Aftab Ahmed Jilani

Faculty Member

Dr. Atif Aftab Ahmed Jilani

Assistant Professor (PhD)

(+9251 111 128 128) 3403
atif.jilani@nu.edu.pk

Education

P.hD (Computer Science), National University of Computer & Emerging Sciences, Islamabad, 2018

M.Sc (Software Engineering), Muhammad Ali Jinnah University, Islamabad, 2008

B.Sc (Computer Science), Muhammad Ali Jinnah University , Islamabad, 2006

Summary

Dr. Atif Aftab Ahmed Jilani is an Assistant Professor at the Department of Software Engineering, School of Computing, FAST-National University of Computer and Emerging Sciences, Islamabad, Pakistan. He holds a Ph.D. in Computer Science with specialization in automated test data generation and AI-driven software testing. His research focuses on the design, safety assessment, and reliability of cyber-physical systems, particularly UAVs and UAV swarms, as well as software engineering for AI/ML systems, applying AI and ML for solving software engineering problems like automated testing, quality engineering, and international standard compliance (DO-178C, IEC 62138, IEC 60880, IEC 62304). He has successfully secured and led multiple national and international grants, including the establishment of the UAV Dependability Lab and the Center for Industrial Automation and Reliability (CIARA), collaborating with defense, avionics, and healthcare sectors. Dr. Jilani has authored numerous publications in reputed journals and conferences, supervised MS and PhD research, and provided consultancy and training for leading organizations. He is the Treasurer IEEE Islamabad, Senior Member IEEE, and an ISTQB-certified professional tester (CTFL & CTAL).

Publications

Journal Papers

  1. Atif A. Jilani, M. Usman, Z. Halim, “Model Transformations in Model Driven Architecture”, Universal Journal of Computer Sciences and Engineering Technology (UniCSE), Vol. 1, No. 1, October 2010
  2. 2. Atif A. Jilani, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, and Muhammad Usman, “Advances in the Object Constraint Language for Software Engineering,” Advances in Computers,Vol 112, DOI 10.1016/bs.adcom.2017.12.003, Elsevier, 2018
  3. Atif A. Jilani, A. Nadeem, Z. I. Malik, M. Usman, Z. Halim, ” Comparative study on DFD to UML Diagrams Transformation”, World of Computer Science and Information Technology Journal (WCSIT), 2011
  4. Z. Halim, A. R. Baig and Hasan Mujtaba, “A Search-Based Approach to Generate MC/DC Test Data for OCL Constraints”. In International Symposium on Search Based Software Engineering,pp. 105-120. Springer, Cham, 2019
  5. H. Mehmood, Atif A. Jilani, Abdul Rauf, “A Lightweight Framework for Automated Model-to-Code Transformation”, 14th IEEE International Multitopic Conference (INMIC 2011), Karachi, Pakistan December 2011
  6. H. Mehmood, Atif A. Jilani, A. Rauf, “Code Swarm: A Code Generation Tool Based on Automatic Derivation of Transformation Rule Set”, IEEE Computer Applications & Industrial Electronics (ICCAIE) 2011, Malaysia, December 2011
  7. Atif A. Jilani, A. Nadeem, T. Kim, E. Cho, Formal Representations of the Data Flow Diagram: A Survey. IEEE Advanced Software Engineering & Its Applications (ASEA), Horizon Resort, Sanya, Hainan Island, China, 2008
  8. Atif A. Jilani, M. Z. Iqbal, M. U. Khan, “A Search based Test data Generation approach for model transformations”, Theory and Practice of Model Transformations, Springer International Publishing, Yorkshire, United Kingdom, LNCS, 2014