Muhammad Ilyas Fakhir

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 2

Top Topics

Recent Advances

Complex Adaptive Systems

Specification Languages

Formal Verification

Top Venues

Neural Comput. Appl.

Open Comput. Sci.

Publications

Muhammad Ilyas Fakhir, Syed Asad Raza Kazmi, Awais Qasim, Atif Ishaq
SMACS: A framework for formal verification of complex adaptive systems. Open Comput. Sci. 13 (1) (2023)
Muhammad Ilyas Fakhir, Syed Asad Raza Kazmi
Formal Specification and Verification of Self-Adaptive Concurrent Systems. IEEE Access 6 (2018)
Farooq Ahmad, Muhammad Ilyas Fakhir, Sher Afzal Khan, Yaser Daanial Khan
Petri net-based modeling and control of the multi-elevator systems. Neural Comput. Appl. 24 (7-8) (2014)