Awais Qasim

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 9

Top Topics

Mobile Platform

Formal Verification

Complex Adaptive Systems

Top Venues

Appl. Comput. Syst.

Open Comput. Sci.

Wirel. Commun. Mob. Comput.

Concurr. Comput. Pract. Exp.

Publications

Awais Qasim, Arslan Ghouri, Adeel Munawar
An effective approach for reducing data redundancy in multi-agent system communication. Multiagent Grid Syst. 20 (1) (2024)
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)
Adnan Khalid, Qurat ul Ain, Awais Qasim, Zeeshan Aziz
QoS Based Optimal Resource Allocation and Workload Balancing for Fog Enabled IoT. Open Comput. Sci. 11 (1) (2021)
Awais Qasim, Adeel Munawar, Jawad Hassan, Adnan Khalid
Evaluating the Impact of Design Pattern Usage on Energy Consumption of Applications for Mobile Platform. Appl. Comput. Syst. 26 (1) (2021)
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)
Awais Qasim, Hafiz Muhammad Basharat Ameen, Zeeshan Aziz, Adnan Khalid
Efficient Performative Actions for E-Commerce Agents. Appl. Comput. Syst. 25 (1) (2020)
Adeel Munawar, Syed Ali Raza, Awais Qasim
Design and Development of AI-Based Tourist Facilitator and Information Agent. Appl. Comput. Syst. 25 (2) (2020)
Awais Qasim, Hassan Tariq Chattha, Mohsin Jamil, Yang Jin, Farooq Ahmad Tahir, Masood Ur Rehman
A Novel Dual Ultrawideband CPW-Fed Printed Antenna for Internet of Things (IoT) Applications. Wirel. Commun. Mob. Comput. 2018 (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)