Welcome to Government College University Lahore - Established 1864

Faculty Directory

GCU Faculty Profile

Back
Muhammad Ilyas Fakhir

Dr. Muhammad Ilyas Fakhir

Assistant Professor
Research Interests: My research areas include Petri Nets, multi-agent systems, Concurrent systems, self-adaptive systems, Image Processing and Graph Theory.

Biography

Currently I am working as Assistant Professor in the Department of Computer Science, Government College University Lahore. I graduated from Iqra University in 2003 and Joined Iqra University as a Lecturer in 2005. I joined GC University as a Lecturer in February 2008. I did my MSCS degree from University of Central Punjab in 2012 and then completed my PhD degree from the GC University Lahore in 2019. My research areas include Petri Nets, multi-agent systems, Concurrent systems, self-adaptive systems, Image Processing and Graph Theory. More than 25 MSCS students have completed their thesis under my supervision, one PhD student and 4 students of MSCS are still working. I have authored 20 research papers in peer-reviewed ISI indexed journals.

Education

  • PhD in Computer Science, GC University (Lahore) 2019
  • MS/MPhil in Computer Science, University Of Central Punjab (Lahore) 2012
  • Masters in Computer Science, Iqra University (Karachi) 2002
  • Masters in Mathematics, Govt. F.C. College (Lahore) 1998
  • BA/BSc(Hons) in Math A & B, Statictics, Govt. College (Sargodha) 1996

Teaching Areas

Advanced Analysis of Algorithms (Graduate level)
Graph Theory & Its Formal Aspects (Graduate level)
Advanced Theory of Computation (Graduate level)
Advanced Computer Architecture (Graduate level)
Graph Theory for Machine Learning (Graduate level)
Research Methodology (Graduate level)
Design & Analysis of Algorithms (Undergraduate level)
Compiler Construction (Undergraduate level)
Theory of Automata (Undergraduate level)
Digital Image Processing (Undergraduate level)
Computer Architecture (Undergraduate level)
Computer Networks (Undergraduate level)
Numerical Analysis (Undergraduate level)
Multivariate Calculus (Undergraduate level)
Graph Theory (Undergraduate level)

Experience

From To Designation Firm/Institution
May 2015 Continue Assistant Professor GC University, Lahore
Feb 2008 May 2015 Lecturer GC University, Lahore
Jul 2005 Feb 2008 Lecturer IQRA Millennium University, Lahore
Jan 2003 Jun 2005 Lecturer The Global College, Lahore

Journal Papers

  • Awais Qasim, Hanaa Nafea, Attiya Hussain, Ilyas Fakhir (2025). "Blockchain-based Reputation Model for Vehicle Platooning with Common Global Goal." Multiagent and Grid Systems , Vol. 21 (1) , pp. 21-37. DOI: https://doi.org/10.1177/15741702251338060 | Impact Factor: 0.6
  • Ilyas Fakhir, Zeeshan Khalil, Awais Qasim, Umair Khalil (2025). "Effective diagnosis of brain tumor classification by using novel DCNN." Computer Science Journal of Moldova , Vol. 33 (3(99)) , pp. 302-321. DOI: https://doi.org/10.56415/csjm.v33.15 | Impact Factor: 0.3
  • Atif Ishaq, Hassan Saud, Asad Raza Kazmi, Ilyas Fakhir (2024). "Database Security Empowered with Independent Field Encryption." VAWKUM Transactions on Computer Sciences , Vol. 12 (1) , pp. 125-135. DOI: https://doi.org/10.21015/vtcs.v12i1.1775
  • Ilyas Fakhir, Amber Razzaq, Asad Raza Kazmi, Awais Qasim (2023). "Formal Modeling and Analysis of Air Traffic Control System Using Petri Nets." VAWKUM Transactions on Computer Sciences , Vol. 11 (2) , pp. 35-48. DOI: https://doi.org/10.21015/vtcs.v11i2.1587
  • Ilyas Fakhir, Awais Qasim, Saira Hussain, Shuja-ur-Rehman Baig, Muhammad Bilal, and Adeel Munawar (2023). "Prioritization of Exigency Services in Multi-Agent Transportation Systems." VFAST Transactions on Software Engineering , Vol. 11 (1) , pp. 12-24. DOI: https://doi.org/10.21015/vtse.v11i1.1353
  • Ilyas Fakhir, Asad Raza Kazmi, Awais Qasim, Atif Ishaq (2023). "SMACS: A Framework for Formal Verification of Complex Adaptive Systems." Open Computer Science , Vol. 13 (1) . DOI: https://doi.org/10.1515/comp-2022-0275 | Impact Factor: 1.2
  • Asad Raza Kazmi, Maryam Kanwal, Ilyas Fakhir, Awais Qasim, Atif Ishaq (2022). "Automated Verification of Star-Vote in the Applied Pi Calculus." VFAST Transactions on Software Engineering , Vol. 10 (4) , pp. 175-180. DOI: https://doi.org/10.21015/vtse.v10i4.1218
  • Ilyas Fakhir, Maham Tahir, Asad Raza Kazmi, Awais Qasim and Atif Ishaq (2021). "Formal Modeling and Verification of E-learning based adaptive system." Journal of Critical Reviews , Vol. 8 (1) , pp. 693-706.
  • Atif Ishaq Khan, Syed Asad Raza Kazmi, Ayesha Atta, Muhammad Faheem Mushtaq, Muhammad Idrees, Ilyas Fakhir, Muhammad Safyan, Awais Qasim (2021). "Intelligent Cloud Based Load Balancing System Empowered with Fuzzy Logic." CMC-Computers, Materials & Continua , Vol. 67 (1) , pp. 519-528. DOI: https://doi.org/10.32604/cmc.2021.013865 | Impact Factor: 1.6
  • Awais Qasim, Zeeshan Aziz, Syed Asad Raza Kazmi, Adnan Khalid, Ilyas Fakhir, Jawad Hassan (2020). "Intelligent agent for formal modelling of temporal multi-agent systems." International Journal on Smart Sensing and Intelligent Systems , Vol. 13 (1) , pp. 1-13. DOI: https://doi.org/10.21307/ijssis-2020-003 | Impact Factor: 0.9
  • Ilyas Fakhir, Asad Raza Kazmi (2018). "Formal Specification and Verification of Self-adaptive Concurrent Systems." IEEE Access , Vol. 6 (1) , pp. 34790-34803. DOI: https://doi.org/10.1109/ACCESS.2018.2849821 | Impact Factor: 3.9
  • Rafique, I., Gul, H., Rafique, S., Kazmi, S. A. R., Qasim, A., & Fakhir, I. (2017). "Optimized Application Level Checkpoint Based Load Sharing Model for Heterogeneous Mobile Grid Computing." Indian Journal of Science and Technology , Vol. 10 (28) , pp. 1-13. DOI: https://dx.doi.org/10.17485/ijst/2017/v10i28/103202
  • Ilyas Fakhir, Asad Raza Kazmi, Awais Qasim & Farooq Ahmad (2016). "A Learning-Based Autonomous System for Driving a Car using CLARION." International Journal of Computer Science and Information Security , Vol. 14 (12) , pp. 730-740.
  • Ilyas Fakhir, Asad Raza Kazmi, Awais Qasim, Imran Rafique (2016). "Concurrency in Intuitionistic Linear-Time µ-Calculus: A Case study of Manufacturing System." Indian Journal of Science and Technology , Vol. 9 (6) , pp. 1-7. DOI: https://dx.doi.org/10.17485/ijst/2016/v9i6/82655
  • Awais Qasim, Asad Raza Kazmi, Ilyas Fakhir (2015). "Critical analysis regarding Cognition of Intelligent Distribution Agent." Science International .
  • Awais Qasim, Asad Raza Kazmi, Ilyas Fakhir (2015). "Executable Semantics for the formal specification and verification of E-Agents." Indian Journal of Science and Technology , Vol. 8 (16) , pp. 1-8. DOI: https://dx.doi.org/10.17485/ijst/2015/v8i16/55160
  • Awais Qasim, Asad Raza Kazmi, Ilyas Fakhir (2015). "Formal Specification and Verification of Real-Time Multi-Agent System using Timed Arc Petri Nets." Advances in Electrical and Computer Engineering , Vol. 15 (3) , pp. 73-78. DOI: https://dx.doi.org/10.4316/AECE.2015.03010 | Impact Factor: 0.7
  • Ilyas Fakhir, Farooq Ahmad, Sher Afzal Khan and Yaser Daanial Khan (2014). "Petri Net based Modeling and Control of Elevator System." Neural Computing & Applications, Springer , Vol. 24 (5-8) , pp. 1601-1612. DOI: https://doi.org/10.1007/s00521-013-1391-1 | Impact Factor: 4.7
  • Farooq Ahmad, Ilyas Fakhir, Sher Afzal Khan (2012). "A Survey on Linear Algebraic Techniques for the Analysis of Petri Net based Models." Research Journal of Recent Sciences , Vol. 2 (5) , pp. 21-28.
  • Sher Afzal Khan, Farooq Ahmad and Ilyas Fakhir (2012). "Structural Analysis Methods for Petri Net based Control Systems: a Review." Journal of American Science , Vol. 8 (12) , pp. 834-843.

Books (Complete)

  • Fakhir, I. Ahmad, F. Afzal, S. (Eds.) (2012). Petri Net based Multi-Elevator System with Multi-Agent Environment: Uses of Petri Nets for Elevator Systems "LAP Lambert Academic Publishing" , ISBN: 9783848489442

Thesis/Research Supervisions

  • Mr. Hasnain Ashraf (2025), MS/MPhil. Thesis: "Intrusion Detection in Vehicle Controller Area Network Using Graph Based Technique" (Completed)
  • Ms. Sehrish Dilshad (2025), MS/MPhil. Thesis: "Petri Net based Modeling and Analysis between Subevents in Real-Time Human Activity Recognition" (Completed)
  • Mr. Muhammad Zeeshan Khalil (2024), MS/MPhil. Thesis: "Automating Brain Tumor Detection from MRI using CNN and Transfer Learning Models" (Completed)
  • Mr. Arslan Kashif (2023), MS/MPhil. Thesis: "Systematic Cloud Data Management Based on Hierarchical IOT Privacy using Block Chain Technology" (Completed)
  • Mr. Saad Bhutta (2023), MS/MPhil. Thesis: "Human Activity & Cyber Risk Assessment in Nuclear Plants Using Petri Nets" (In Progress)
  • Mr. Waseem Anwar (2023), MS/MPhil. Thesis: "Scheduling and Deployment Process for Component-based Applications using Formal Approach" (Completed)
  • Ms. Minahil Afzal (2023), MS/MPhil. Thesis: "Modeling and Verification of Cyber attacks Using Extended Petri Net" (Completed)
  • Ms. Amber Razzaq (2022), MS/MPhil. Thesis: "Formal Modeling and Analysis of Air Traffic Control System Using Petri Nets" (Completed)
  • Ms. Farva (2022), MS/MPhil. Thesis: "Petri Net Based Modeling and Verification of Emergency Evacuation System" (Completed)
  • Ms. Hina Imran (2022), MS/MPhil. Thesis: "Graph-Based Image Segmentation Enhancement" (Completed)
  • Ms. Kainat Arshad (2022), MS/MPhil. Thesis: "Formal Verification Approaches for Elasticity Controller in Cloud Computing" (Completed)
  • Ms. Mashal Sameen Hassan (2022), MS/MPhil. Thesis: "Formal Approach for Human Sentiment Analysis" (Completed)
  • Ms. Mehar U Nisa (2022), MS/MPhil. Thesis: "Agent Based Modeling and Verification of Supply Chain Management System" (Completed)
  • Mr. Kaleem Ullah (2021), MS/MPhil. Thesis: "Modeling and Analysis of Real Time Complex Events through Petri Nets" (Completed)
  • Ms. Adeen Sajid (2021), MS/MPhil. Thesis: "A Formal Approach for Depression Segregation Detection over Social Network" (Completed)
  • Ms. Nimra Naz (2021), MS/MPhil. Thesis: "Real-time Self-adaptive Model for Multi-elevator Control System" (Completed)
  • Mr. Mubeen Shujaat (2020), MS/MPhil. Thesis: "Formal Verification & Modeling Approach for Communication Protocol" (Completed)
  • Mr. Muhammad Nabeel Mehtab (2020), MS/MPhil. Thesis: "Formal Specification and Verification of Embedded Software Testing Framework using Petri Net" (Completed)
  • Mr. Mukarram Shuja (2020), MS/MPhil. Thesis: "Verification of Autonomous Vehicle Control using Formal Techniques" (Completed)
  • Ms. Wanher Liaqat (2020), MS/MPhil. Thesis: "Automatic Procedure Following Evaluation in Wellbeing Care System" (Completed)
  • Mr. Ali Hassan (2019), MS/MPhil. Thesis: "Formal Modeling And Verification Of Medical Resources Allocation In Healthcare System" (Completed)
  • Ms. Anam Irfan (2018), MS/MPhil. Thesis: "Formal Analysis of Resource Management Using Petri Net" (Completed)
  • Ms. Hejab Fatima (2018), MS/MPhil. Thesis: "Modelling and Analysis of Workflow Networks using Petri Nets" (Completed)
  • Ms. Maham Tahir (2018), MS/MPhil. Thesis: "Modeling And Analysis Of E-Learning Based Adaptive System Using Coloured Petri nets (CPN)" (Completed)
  • Ms. Aneeba Masood (2017), MS/MPhil. Thesis: "Modeling and Analysis Of WSN for Disaster Information and Monitoring using Stochastic Petri Nets (SPN)" (Completed)