| Petri net-based modeling and control of the multi-elevator systems F Ahmad, I Fakhir, SA Khan, YD Khan Neural Computing and Applications 24, 1601-1612, 2014 | 20 | 2014 |
| Formal specification and verification of real-time multiagent systems using timed-arc petri nets A Qasim, SAR Kazmi, I Fakhir Advances in Electrical and Computer Engineering 15 (3), 73-78, 2015 | 17 | 2015 |
| Executable semantics for the formal specification and verification of E-agents A Qasim, SAR Kazmi, I Fakhir Indian Journal of Science and Technology, 2015 | 10 | 2015 |
| Formal specification and verification of self-adaptive concurrent systems MI Fakhir, SAR Kazmi IEEE Access 6, 34790-34803, 2018 | 9 | 2018 |
| Intelligent agent for formal modelling of temporal multi-agent systems A Qasim, Z Aziz, SAR Kazmi, A Khalid, I Fakhir, J Hassan International Journal on Smart Sensing and Intelligent Systems 13 (1), 1-13, 2020 | 3 | 2020 |
| Concurrency in Intuitionistic Linear-Time μ-Calculus: A Case study of Manufacturing System I Fakhir, SAR Kazmi, A Qasim, I Rafique Indian Journal of Science and Technology, 2016 | 3 | 2016 |
| Structural analysis methods for Petri net based control systems: A review SA Khan, F Ahmad, I Fakhi Journal of American Science 8 (12), 834-843, 2012 | 3 | 2012 |
| A Learning-based autonomous system for driving a car using CLARION I Fakhir, AR Kazmi, A Qasim, F Ahmad International Journal of Computer Science and Information Security 14 (12), 730, 2016 | 2 | 2016 |
| A Survey on Linear Algebraic Approaches for the Analysis of Petri Net based Models F Ahmad, SA Khan, I Fakhir, YD Khan Research Journal of Recent Sciences …, 2013 | 2 | 2013 |
| Smacs: A framework for formal verification of complex adaptive systems I Fakhir, AR Kazmi, A Qasim, A Ishaq Open Computer Science 13 (1), 20220275, 2023 | 1 | 2023 |
| Formal Modeling and Analysis of Air Traffic Control System Using Petri Nets MI Fakhir, A Razzaq, AR Kazmi, A Qasim VAWKUM Transactions on Computer Sciences 11 (2), 35-48, 2023 | | 2023 |
| Prioritization of Exigency Services in Multi-Agent Transportation Systems MI Fakhir, A Qasim, S Hussain, M Bilal, A Munawar VFAST Transactions on Software Engineering 11 (1), 12-24, 2023 | | 2023 |
| Automated Verification of Star-Vote in the Applied Pi Calculus AR Kazm, M Kanwal, MI Fakhir, A Qasim, A Ishaq VFAST Transactions on Software Engineering 10 (4), 175-180, 2022 | | 2022 |
| FORMAL MODELING AND VERIFICATION OF E-LEARNING BASED ADAPTIVE SYSTEM AQAI Ilyas Fakhir, Maham Tahir, Asad Raza Kazmi Journal of Critical Reviews 8 (1), 693-706, 2021 | | 2021 |
| Petri Nets Based Formal Modeling and Verification of Concurrent Systems MI Fakhir Government College University, Lahore, 2019 | | 2019 |
| Optimized Application Level Checkpoint Based Load Sharing Model for Heterogeneous Mobile Grid Computing I Rafique, H Gul, S Rafique, SAR Kazmi, A Qasim, I Fakhir Indian Journal of Science and Technology, 2017 | | 2017 |
| Petri Net based Multi-Elevator System with Multi-Agent Environment: Uses of Petri Nets for Elevator Systems MI Fakhir, F Ahmad, S Afzal LAP Lambert Academic Publishing, 2012 | | 2012 |
| CRITICAL ANALYSIS REGARDING COGNITION OF INTELLIGENT DISTRIBUTION AGENT A Qasim, SAR Kazmi, I Fakhir | | |
