MAPE-K Interfaces for Formal Modeling of Real-Time Self-Adaptive Multi-Agent Systems. - Awais Qasim; Syed Asad Raza Kazmi (IEEE Access, 2016)

Formal Specification and Verification of Self-Adaptive Concurrent Systems. - Muhammad Ilyas Fakhir; Syed Asad Raza Kazmi (IEEE Access, 2018)

Video Summarization for Sign Languages Using the Median of Entropy of Mean Frames Method. - Shazia Saqib; Syed Asad Raza Kazmi (Entropy, 2018)

Formal modeling and verification of cloud-based web service composition. - Syed Asad Raza Kazmi; Awais Qasim; Adnan Khalid; Ruttaba Assad; Muhammad Shahbaz 002 (Concurr. Comput. Pract. Exp., 2020)

An extended quantum process algebra (eQPAlg) approach for distributed quantum systems. - Salman Haider; Syed Asad Raza Kazmi (CoRR, 2020)

SMACS: A framework for formal verification of complex adaptive systems. - Muhammad Ilyas Fakhir; Syed Asad Raza Kazmi; Awais Qasim; Atif Ishaq (Open Comput. Sci., 2023)