Syed Asad Raza Kazmi

According to our database, Syed Asad Raza Kazmi authored at least 6 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

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

2020

An extended quantum process algebra (eQPAlg) approach for distributed quantum systems.

Salman Haider, Syed Asad Raza Kazmi

CoRR, 2020

Formal modeling and verification of cloud-based web service composition.

Syed Asad Raza Kazmi, Awais Qasim, Adnan Khalid, Ruttaba Assad, Muhammad Shahbaz

Concurr. Comput. Pract. Exp., 2020

2018

Video Summarization for Sign Languages Using the Median of Entropy of Mean Frames Method.

Shazia Saqib, Syed Asad Raza Kazmi

Entropy, 2018

Formal Specification and Verification of Self-Adaptive Concurrent Systems.

Muhammad Ilyas Fakhir, Syed Asad Raza Kazmi

IEEE Access, 2018

2016

MAPE-K Interfaces for Formal Modeling of Real-Time Self-Adaptive Multi-Agent Systems.

Awais Qasim, Syed Asad Raza Kazmi

IEEE Access, 2016