Syed Asad Raza Kazmi

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 6

Top Topics

Complex Adaptive Systems

Video Summarization

Formal Verification

Top Venues

Concurr. Comput. Pract. Exp.

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)
Salman Haider, Syed Asad Raza Kazmi
An extended quantum process algebra (eQPAlg) approach for distributed quantum systems. CoRR (2020)
Syed Asad Raza Kazmi, Awais Qasim, Adnan Khalid, Ruttaba Assad, Muhammad Shahbaz
Formal modeling and verification of cloud-based web service composition. Concurr. Comput. Pract. Exp. 32 (21) (2020)
Shazia Saqib, Syed Asad Raza Kazmi
Video Summarization for Sign Languages Using the Median of Entropy of Mean Frames Method. Entropy 20 (10) (2018)
Muhammad Ilyas Fakhir, Syed Asad Raza Kazmi
Formal Specification and Verification of Self-Adaptive Concurrent Systems. IEEE Access 6 (2018)
Awais Qasim, Syed Asad Raza Kazmi
MAPE-K Interfaces for Formal Modeling of Real-Time Self-Adaptive Multi-Agent Systems. IEEE Access 4 (2016)