Personal information

Verified email domains

Formal Specification and Verification
Pakistan

Activities

Employment (1)

Government College University Lahore Faculty of Science and Technology: Lahore, PK

2012-05-07 to present | Assistant Professor (Computer Science)
Employment
Source: Self-asserted source
Awais Qasim

Education and qualifications (1)

Government College University Lahore Faculty of Science and Technology: Lahore, PK

2013-09-01 to 2017-02-11 | PhD (Computer Science) (Computer Science)
Education
Source: Self-asserted source
Awais Qasim

Works (15)

Evaluating the Impact of Design Pattern Usage on Energy Consumption of Applications for Mobile Platform

Applied Computer Systems
2021-05-01 | Journal article
Contributors: Awais Qasim; Adeel Munawar; Jawad Hassan; Adnan Khalid
Source: check_circle
Crossref

Design and development of ai-based mirror neurons agent towards emotion and empathy

International Journal of Advanced Computer Science and Applications
2020 | Journal article
EID:

2-s2.0-85083223916

Part of ISBN:

21565570 2158107X

Contributors: Rehman, F.; Munawar, A.; Iftikhar, A.; Hassan, J.; Samiullah, F.; Gilani, M.B.A.; Qasim, A.; Qasim, N.
Source: Self-asserted source
Awais Qasim via Scopus - Elsevier

Design and Development of AI-Based Tourist Facilitator and Information Agent

Applied Computer Systems
2020-12-01 | Journal article
Contributors: Adeel Munawar; Syed Ali Raza; Awais Qasim
Source: check_circle
Crossref

Efficient Performative Actions for E-Commerce Agents

Applied Computer Systems
2020-05-01 | Journal article
Contributors: Awais Qasim; Hafiz Muhammad Basharat Ameen; Zeeshan Aziz; Adnan Khalid
Source: check_circle
Crossref

Formal modeling and verification of cloud-based web service composition

Concurrency Computation
2019 | Journal article
EID:

2-s2.0-85063790276

Part of ISBN:

15320634 15320626

Contributors: Raza Kazmi, S.A.; Qasim, A.; Khalid, A.; Assad, R.; Shahbaz, M.
Source: Self-asserted source
Awais Qasim via Scopus - Elsevier

Formal modelling of real-time self-adaptive multi-agent systems

Intelligent Automation and Soft Computing
2019 | Journal article
EID:

2-s2.0-85068069656

Part of ISBN:

2326005X 10798587

Contributors: Qasim, A.; Kazmi, S.A.R.
Source: Self-asserted source
Awais Qasim via Scopus - Elsevier

Timed-Arc Petri-nets based agent communication for real-time multi-agent systems

International Journal of Advanced Computer Science and Applications
2019 | Journal article
EID:

2-s2.0-85072950010

Part of ISBN:

21565570 2158107X

Contributors: Qasim, A.; Kanwal, S.; Khalid, A.; Kazmi, S.A.R.; Hassan, J.
Source: Self-asserted source
Awais Qasim via Scopus - Elsevier

Modeling and Verification of Payment System in E-Banking

International Journal of Advanced Computer Science and Applications
2017 | Journal article
Part of ISSN: 2156-5570
Contributors: Iqra Obaid; Syed Asad; Awais Qasim
Source: Self-asserted source
Awais Qasim via Crossref Metadata Search

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

Indian Journal of Science and Technology
2017-08 | Journal article
Part of ISSN: 0974-5645
Contributors: Imran Rafique; Hina Gul; Salman Rafique; Syed Asad Raza Kazmi; Awais Qasim; Ilyas Fakhir; Department of Computer Science; GC University; Lahore – 54000; Pakistan et al.
Source: Self-asserted source
Awais Qasim via Crossref Metadata Search

Formal Modelling and Verification of the Operational Modes of Pacemaker

Indian Journal of Science and Technology
2017-02-01 | Journal article
Part of ISSN: 0974-5645
Contributors: Syed Asad Raza Kazmi; Sana Abubakkar; Awais Qasim; Syed Hassan Abbas Kazmi; Usman Qamar Qureshi; Department of Computer Science; Government College University; Katchery Road; Lahore – 54000; Pakistan et al.
Source: Self-asserted source
Awais Qasim via Crossref Metadata Search

Temporal Modelling and Verification of Multi-Robot Concurrent Activities

Indian Journal of Science and Technology
2017-01 | Journal article
Part of ISSN: 0974-5645
Contributors: Syed Asad Raza Kazmi; Ayesha Naeem; Awais Qasim
Source: Self-asserted source
Awais Qasim via Crossref Metadata Search

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

IEEE Access
2016 | Journal article
Part of ISSN: 2169-3536
Contributors: Awais Qasim; Syed Asad Raza Kazmi
Source: Self-asserted source
Awais Qasim via Crossref Metadata Search
grade
Preferred source (of 3)‎

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

Indian Journal of Science and Technology
2016-02-04 | Journal article
Part of ISSN: 0974-5645
Contributors: Ilyas Fakhir; Syed Asad Raza Kazmi; Awais Qasim; Imran Rafique
Source: Self-asserted source
Awais Qasim via Crossref Metadata Search
grade
Preferred source (of 2)‎

Formal Specification and Verification of Real-Time Multi-Agent Systems using Timed-Arc Petri Nets

Advances in Electrical and Computer Engineering
2015 | Journal article
Part of ISSN: 1582-7445
Contributors: A. QASIM; S. A. R. KAZMI; I. FAKHIR
Source: Self-asserted source
Awais Qasim via Crossref Metadata Search
grade
Preferred source (of 2)‎

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

Indian Journal of Science and Technology
2015-07 | Journal article
Part of ISSN: 0974-5645
Contributors: Awais Qasim; Syed Asad Raza Kazmi; Ilyas Fakhir
Source: Self-asserted source
Awais Qasim via Crossref Metadata Search
grade
Preferred source (of 2)‎