Dr. Farooq Ahmad
Head of Department / Associate Professor, Computer Science
Area of Interest: Petri net theory & applications, Formal methods, Formal modeling & simulation
Tel # (Off): 111-001-007   (247)
HEC approved PhD Supervisor

Biography: Dr. Farooq Ahmad completed his Ph.D. degree in Computer Science from Harbin Institute of Technology, P. R. China in 2009. He joined the Department of Computer Science, COMSATS Lahore Campus in February 2015 as an Associate Professor. He has been teaching courses related to Formal Methods at the graduate and undergraduate levels.

Courses Taught: Formal Methods

Link for the Course Lectures: Formal Methods Lectures

Supervised Ph.D. Students:

  1. Dr. Naeem Akhtar Khan, title “Formal Modeling, Simulation and Verification of Wireless Mesh Networks using Colored Petri Nets”.
  2. Dr. Abdul Qayum, title, “Computer Vision Based Pattern Matching and Displacement Detection During Fabric Printing” (Completed)
  3. Dr. Natash Ali Mian, title, “Agent based modeling and Analysis of Self Adaptive Systems using Formal Methods”.
  4. Dr. Hafiz Khalid Mahmood, title “Structures of Discrete Graphs and Modular Arithmetic”.
  5. Muhammad Ajmal, title, “Recognizing Different Human Activities from Unconstrained Videos” (Continued)

Co-Supervised Ph.D. Students:

  1. Dr. Sher Afzal Khan, title “Formal Analysis of Safety Properties of Railway Interlocking System”.
  2. Dr. Yaser Daanial Khan, title “Pattern Recognition within Digital Images using Neuro-Cognitive, Probabilistic and Statistical Paradigms”.
  3. Dr. Muhammad Shoaib Farooq, title “A Framework for the Evaluation and Improvement of First Programming Language”.

 

Research Citations

Publications:

Book Chapters:
1. ZH Qaisar, Farooq Ahmad. (2015), " Analysis of VDM++ in Regression Test Suite, In , ", “Handbook of Research on Trends and Future Directions in Big Data and Web Intelligence”, published by: IGI Global, USA, pp: pp. 382-417,    
2. H Huang, Hongwei (David) Du, Farooq Ahmad. (2013), "Job Shop Scheduling with Petri Nets.", “Handbook of Combinatorial Optimization”, pp. , 2nd Edition, , , published by: Springer-Verlag, New York, pp: 1667-1711   
Journal Papers:
1. A Husen, MH Chaudary, F Ahmad, M Farooq-i-Azam, CH See, A Ghani. (2024), "Swarm intelligence-based packet scheduling for future intelligent networks ", PeerJ Computer Science , pp: e167, Vol: 9   
2. Ahmad, F., Chaudhry, M. T., Jamal, M. H., Sohail, M. A., Gavilanes, D., Vergara, M. M., & Ashraf, I. (2023), "Formal modeling and analysis of security schemes of RPL protocol using colored Petri nets.", PLOS ONE   
3. Husen, A., Chaudary, M. H., & Ahmad, F. (2022), "A Survey on Requirements of Future Intelligent Networks: Solutions and Future Research Directions", ACM Computing Surveys, Impact Factor: 14.32   
4. [Farooq Ahmad] COMSATS Univ Islamabad, Dept Computer Sci, Lahore Campus,Sherazi, H. H. R., Iqbal, R., Ahmad, F., Khan, Z. A., & Chaudary, M. H. (2019), "DDoS attack detection: A key enabler for sustainable communication in internet of vehicles ", Sustainable Computing: Informatics and Systems, Impact Factor: 1.80   
5. [Farooq Ahmad] COMSATS Univ Islamabad, Dept Computer Sci, Lahore Campus, Ajmal, M., Ahmad, F., Naseer M., Jamjoom M. (2019), "Recognizing Human Activities From Video using Weakly Supervised Contextual Features ", IEEE Access, Impact Factor: 4.098   
6. Jadoon, N. K., Anwar, W., Bajwa, U. I., & Ahmad, F. (2019), "Statistical machine translation of Indian languages: a survey ", Neural Computing and Applications, Impact Factor: 4.21   
7. Nagra, A. A., Han, F., Ling, Q. H., Abubaker, M., Ahmad, F., Mehta, S., & Apasiba, A. T. (2019), "Hybrid self-inertia weight adaptive particle swarm optimisation with local search using C4. 5 decision tree classifier for feature selection problems ", Connection Science, Impact Factor: 0.673   
8. Mian, N. A., & Farooq Ahmad (2018), "Agent based Architecture for Modeling and Analysis of Self Adaptive Systems using Formal Methods ", International Journal of Advanced Computer Science and Applications, Impact Factor: ISI   
9. Hussain, Syed Asad; Khan, NA; Sadiq, A.; Farooq Ahmad (2018), "Simulation, modeling and analysis of master node election algorithm based on signal strength for VANETs through Colored Petri nets ", Neural Computing and Applications, Impact Factor: 4.21   
10. Abid, A., Hussain, N., Abid, K., Farooq Ahmad., Farooq, M. S., Farooq, U. & Sabir, N (2016), "A survey on search results diversification techniques", Neural Computing and Applications, pp: 1207–1229, Vol: Volume 27, , Issue: Issue 5, Impact Factor: 1.71    (External URL)
11. Khan, N. A., Ahmad, F., Hussain, S. A., and Naseer, M. (2016), "Hierarchical Coloured Petri Net based Random Direction Mobility Model for Wireless Communications.", KSII Transactions on Internet and Information Systems, , pp: 3656-3671, Vol: 10, Issue: 8, Impact Factor: 0.365   
12. NA Khan and Farooq Ahmad. (2016), "Modeling and Simulation of Improved Random Direction Mobility Model for Wireless Networks using Colored Petri Nets.", Simulation: Transactions of the Society for Modeling and Simulation International, , pp: 323–336, Vol: 92(4), Issue: 4, Impact Factor: 0.721   
13. NA Khan, Farooq Ahmad & SA Khan. (2015), "SHER: A Colored Petri Net based Random Mobility Model for Wireless Communications, doi:10.1371/journal.pone.0133634, 2015.", PLoS ONE , pp: e0133634. , Vol: 10 (8), Impact Factor: 3.634   
14. MS Farooq, SA Khan, Farooq Ahmad, S Islam, A Abid (2014), "An evaluation framework and comparative analysis of the widely used first programming languages", PLOS ONE, pp: e88941, Vol: 9, Issue: 2, Impact Factor: 3.71   
15. Y.D. Khan, Farooq Ahmad, S.A. Khan, (2014), "Content-based image retrieval using extroverted semantics: a probabilistic approach", Neural Comput & Applic,, pp: 1735-1748,, Vol: 24, Issue: 7-8, Impact Factor: 1.76   
16. SA Khan, NA. Zafar and Farooq Ahmad, (2014), "Extending Petri nets to Reduce Control Strategies of Railway Interlocking System, .", Applied Mathematical Modeling, pp: 413-424, , Vol: 38 , Issue: (2), Impact Factor: 2.1   
17. NA Khan, Farooq Ahmad, SA Khan. (2014), "Formal and Executable Specification of Random Waypoint Mobility Model Using Timed Coloured Petri Nets for WMN", Abstract and Applied Analysis, pp: 9 , Vol: vol (2014) , Issue: Article ID 798927,   
18. YD Khan, SA Khan, Farooq Ahmad, S. Islam, (2014), "Iris Recognition Using Image Moments and k-means Algorithm", The Scientific World Journal, pp: 9 pages, Vol: Vol. (2014), Issue: Article ID 723595, Impact Factor: 1.73   
19. A. Sadiq, Farooq Ahmad, SA Khan, CVF Jose, T. Naz, MW Anwar. (2014), "Modeling and Analysis of Departure Routine in Air Traffic Control based on Petri Nets,", Neural Comput & Applic, Springer,, pp: 1099–1109, Vol: 25, Issue: 5   
20. Farooq Ahmad, I. Fakhir, S. A. Khan, Y. D. Khan, (2014), "Petri net-based modeling and control of the multi-elevator systems,", Neural Comput & Applic, , pp: 1601-1612, Vol: 24, Issue: 7, Impact Factor: 1.74   
21. MK Mahmood, Farooq Ahmad (2014), "Recursive elucidation of polynomial congruences using root-finding numerical techniques", Abstract and Applied Analysis, pp: 9 pages, Vol: Vol. 2014, Issue: Article ID 575064, Impact Factor: 1.274   
22. Y.D. Khan, Farooq Ahmad, S.A. Khan, (2014), "Situation recognition using image moments and recurrent neural networks,", Neural Comput & Applic,, pp: 1519-1529, Vol: 24, Issue: 7-8, Impact Factor: 1.76   
23. Farooq Ahmad and SA Khan, (2013), "Specification and verification of safety properties along a crossing region in a railway network control", Applied Mathematical Modeling,, pp: 5162–5170,, Vol: 37 , Issue: 7, Impact Factor: 1.706   
24. Farooq Ahmad and S. A. Khan, (2012), "Module-based architecture for periodic job-shop scheduling problem,", Computers & Mathematics with Applications, pp: 1-10, Vol: 64, Issue: 1, Impact Factor: 2.06   
25. Farooq Ahmad, H. J. Huang, and X. L. Wang. (2011), "Analysis of the Petri net model of parallel manufacturing processes with shared resources", Information Sciences, pp: 5249–5266,, Vol: 181, Impact Factor: 3.64   
26. Farooq Ahmad, H. J. Huang, and X. L. Wang. (2010), "Petri net modeling and deadlock analysis of parallel manufacturing processes with shared resources.", Journal of Systems and Software, , pp: 675-688, Vol: 83, Issue: 4, Impact Factor: 1.231   
Conference Papers:
1. NA Khan, Farooq Ahmad, SA Khan. (2014) " Coloured Petri Net Modeling and Analysis for Community based Wireless Mesh Networks, Accepted in IEEE SMC, San Diego USA, 2014.", 2014 IEEE International Conference on Systems, Man and Cybernetics (IEEE SMC), , pp: 1240-1245, Vol: 2015   
2. Farooq Ahmad, H. J. Huang, X. L. Wang, and W. Anwer. (2008) " A technique for generating the reduced reachability graph of Petri net models. ", IEEE Int. Conf. on Systems, Man, and Cybernetics (IEEE SMC 2008), pp: 3636-3641, Vol: 2008   

Qualification

PhD
Harbin Institute of Technology, China
Sep 2006 to Nov 2009
   

Experience

Associate Professor
COMSATS University Islamabad, Lahore Campus
Feb 2015 to Date
   
Associate Professor
University of Central Punjab, Lahore, Pakistan
Feb 2010 to Feb 2015
   
Disclaimer: Profiles are editable by employees who may share the data of publications, experience and education upto the extent they want to share. Also CIIT Lahore is not responsible for any display of data on personal profiles.