Author Details

Fakhir, Ilyas

  • Executable Semantics for the Formal Specification and Verification of E-agents

      Awais Qasim,   Syed Asad Raza Kazmi,   Ilyas Fakhir
    Volume 8, Issue 16, July 2015 - Articles

    Abstract  PDF
  • Concurrency in Intuitionistic Linear-Time μ-Calculus: A Case study of Manufacturing System

      Ilyas Fakhir,   Syed Asad Raza Kazmi,   Awais Qasim,   Imran Rafique
    Volume 9, Issue 6, February 2016 - Articles

    Abstract  PDF
  • Optimized Application Level Checkpoint Based Load Sharing Model for Heterogeneous Mobile Grid Computing

      Imran Rafique,   Hina Gul,   Salman Rafique,   Syed Asad Raza Kazmi,   Awais Qasim,   Ilyas Fakhir
    Volume 10, Issue 28, July 2017 - Articles

    Abstract  PDF