UAN:111-000-010
GC University, Lahore
info@gcu.edu.pk

GCU Faculty

Back
Dr. Muhammad Ilyas Fakhir

Dr. Muhammad Ilyas Fakhir

Assistant Professor
Department: Computer Science
Email: fakhir@gcu.edu.pk
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
2019  PhD in Computer Science, GC University Lahore
2012  MS/MPhil in Computer Science, University Of Central Punjab Lahore
2002  Masters in Computer Science, Iqra University Karachi
1998  Masters in Mathematics, Govt. F.C. College Lahore
1996  BA/BSc(Hons) in Math A & B, Statictics, Govt. College Sargodha

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, 21 (1), 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, , .
Atif Ishaq, Hassan Saud, Asad Raza Kazmi, Ilyas Fakhir (2024). "Database Security Empowered with Independent Field Encryption." VAWKUM Transactions on Computer Sciences, 12 (1), 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, 11 (2), 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, 11 (1), 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, 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, 10 (4), 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, 8 (1), 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, 67 (1), 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, 13 (1), 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, 6 (1), 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, 10 (28), 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, 14 (12), 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, 9 (6), 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, 8 (16), 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, 15 (3), 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, 24 (5-8), 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, 2 (5), 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, 8 (12), 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". 9783848489442.

Thesis/Research Supervisions

Ms. Sehrish Dilshad (2025), MS/MPhil. Thesis: "Petri Net based Modeling and Analysis between Subevents in Real-Time Human Activity Recognition" (Completed)
Mr. Hasnain Ashraf (2025), MS/MPhil. Thesis: "Intrusion Detection in Vehicle Controller Area Network Using Graph Based Technique" (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. 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)
Mr. Saad Bhutta (2023), MS/MPhil. Thesis: "Human Activity & Cyber Risk Assessment in Nuclear Plants Using Petri Nets" (In Progress)
Ms. Mashal Sameen Hassan (2022), MS/MPhil. Thesis: "Formal Approach for Human Sentiment Analysis" (Completed)
Ms. Hina Imran (2022), MS/MPhil. Thesis: "Graph-Based Image Segmentation Enhancement" (Completed)
Ms. Amber Razzaq (2022), MS/MPhil. Thesis: "Formal Modeling and Analysis of Air Traffic Control System Using Petri Nets" (Completed)
Ms. Mehar U Nisa (2022), MS/MPhil. Thesis: "Agent Based Modeling and Verification of Supply Chain Management System" (Completed)
Ms. Farva (2022), MS/MPhil. Thesis: "Petri Net Based Modeling and Verification of Emergency Evacuation System" (Completed)
Ms. Kainat Arshad (2022), MS/MPhil. Thesis: "Formal Verification Approaches for Elasticity Controller in Cloud Computing" (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. Kaleem Ullah (2021), MS/MPhil. Thesis: "Modeling and Analysis of Real Time Complex Events through Petri Nets" (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)
Ms. Wanher Liaqat (2020), MS/MPhil. Thesis: "Automatic Procedure Following Evaluation in Wellbeing Care System" (Completed)
Mr. Mukarram Shuja (2020), MS/MPhil. Thesis: "Verification of Autonomous Vehicle Control using Formal Techniques" (Completed)
Mr. Ali Hassan (2019), MS/MPhil. Thesis: "Formal Modeling And Verification Of Medical Resources Allocation In Healthcare System" (Completed)
Ms. Hejab Fatima (2018), MS/MPhil. Thesis: "Modelling and Analysis of Workflow Networks using Petri Nets" (Completed)
Ms. Anam Irfan (2018), MS/MPhil. Thesis: "Formal Analysis of Resource Management Using Petri Net" (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)