About Us
Collections
Services
Regulations

home

site map

contact

help

|Digital Library| GCU's OPACS| Personal Collections| CD Roms| New Books| Archives| GCU Theses| News & Events

     WWW       GCU Library

 

  Theses (MSCS Computer Science)
 
 

 

 

 

 

 

 

Banking & Finance Bio-Tech Botany

Chemistry

Computer Science Clinical Psychology
Electrical Engineering Electronics Economics English Environmental Sciences ESME
Geography History Islamic Studies Mathematics Persian Philosophy
Physics Psychology

Pol. Science

Punjabi Statistics Urdu
Zoology          

Sr. # Title Name Roll No. Session
01 Design And Implementation Of A Novel Hybrid Network On Chip (NOC) Routing Algorithm Providing Best Effort And Guaranteed Quality Of Service Measures Abstract (CD is available at PG Library) Ayesha Rehman 1366 2008-10
02 Intelligent Transportation System (Analysis of AODV) Abstract (CD is available at PG Library) Muhammad Ziad Nayyer 1368 2009-11
03

Analysis & Efficient Solution for Educational Campus/ Organization’s Network Information Security Abstract (CD is available at PG Library)

Asif Sarwar

1364

2008-11

04

Speech Recognition System: A Study and Implementation Through Modern Technologies Abstract Abstract (CD is available at PG Library)

Muhammad Hafeez Anwar

1367

2008-10

05 A Bioler Generator System using Fuzzy Logic Control Abstract (CD is available at PG Library) Danish Hameed Qureshi 1362 2008-10
06 Error Detection by Counting (EDBC) in the Network on Chip Abstract (CD is available at PG Library) Nazim Hussain 1372 2008-10

07

Automated system for apparel colour matching Abstract (CD is available at PG Library)

Jawad ashraf

1362-MSCS-16

2016-18

08

Modeling and verification of automated air traffic control system Abstract (CD is available at PG Library)

Faisal  hameed

1352-MSCS-15

2015-17

09

A multi variable JADE based distributed constraint solver Abstract (CD is available at PG Library)

Numaan ashraf

1351-MSCS-16

2016-18

10

Modeling and analysis of E-learning based adaptive system using colored petri nets (cpn) Abstract (CD is available at PG Library)

Maham tahir

1353-MSCS-16

2016-18

11

Formal modeling of performative actions for E- commerce agents Abstract (CD is available at PG Library)

Muhammad basharat amen

1361R-MSCS-16

2016-18

12

Model checking of network security protocols Abstract (CD is available at PG Library)

Humaira sadaf

1369-MSCS-16

2016-18

13

TAPN  based agent communication for real time multi agent systems Abstract (CD is available at PG Library)

Sidra kanwal

1363-MSCS-16

2016-18

14

Modeling and analysis of workflow networks using petri nets Abstract (CD is available at PG Library)

Hejab Fatima

1360R-MSCS-15

2016-18

15

Formal analysis of resource management using petri nets Abstract (CD is available at PG Library)

Annam irfan

1366-MSCS-16

2016-18

16

Modeling and analysis of  WSN for disaster information  and monitoring using stochastic petri  nets  (SPN) Abstract (CD is available at PG Library)

Aneeba Masood

1353-MSCS-15

2015-17

17

Analysis modeling, and simulation of personality detection using context-based emotions in cognitive agents Abstract (CD is available at PG Library)

Khadija cheema

1359-MSCS-16

2016-18

18

A multi agent system approach for exigency services using QOS-assured cloud computing architecture Abstract (CD is available at PG Library)  

Usman saeed

1354-MSCS-16

2016-18

19

Efficient contract-net protocol for formal modeling of multi-agent systems  using synchronized petri nets Abstract (CD is available at PG Library)

Areeba bader

1360-MSCS-16

2016-18

20

Handling temporal constraints in interaction protocols for multi-agents systems Abstract (CD is available at PG Library)

Sobia iqbal

1364-MSCS-16

2016-18

21

QoS  based optimal resource allocation and workload balancing for fog enabled IoT Abstract (CD is available at PG Library)

Qurat u lain

1363-MSCS-17

2017-19

22

The run-time chronological based cost-benefit analysis approach for self adaptive multi-agent system Abstract (CD is available at PG Library)

Jawad Hassan

1364-MSCS-17

2017-19

23

Proactive, data-centric IOT based fog computing architecture for effective policing Abstract

Hafiz Muhammad ejaz ul haq

1357-MSCS-16

2016-18

24

Automatic keyword extraction for Arabic text classification Abstract (CD is available at PG Library)

Reem Hassan hezam al-aqmer

1371-MSCS-17

2017-19

25

Process algebra approach for quantum processes Abstract (CD is available at PG Library)

Salman haider

1365-MSCS-16

2016-18

26

A process algebraic approach towards security protocols Abstract (CD is available at PG Library)

Sehrish khan

1351-MSCS-17

2017-19

27

Process Algebraic Modelling And Analysis Of Cyber-Physical Attacks Abstract (CD is available at PG Library)

Aneeqa ahmad

1370-MSCS-17

2017-19

28

Model checking of security of E- voting systems Abstract (CD is available at PG Library)

Mahlaqa saeed

1355R-MSCS-17

2017-19

29

Elasticity optimization using container approach Abstract (CD is available at PG Library)

Noor e sahir

1366-MSCS-17

2017-19

30

Temporal logic for data integration systems security policies  Abstract (CD is available at PG Library)

Khalid afzal

1358-R-MSCS-15

2015-17

31

Formal verification of web security protocols (CD is available at PG Library)

Ayesha rehman

1361-R-MSCS-16

2016-18

32

Formal verification of self adaptive trustworthy agents Abstract (CD is available at PG Library)

Waqas ali

1372-MSCS-18

2018-20

33

Veri_cation of Autonomous Vehicle Controlusing Formal Techniques Abstract (CD is available at PG Library)

Mukarram Shuja

1353-MSCS-18

2018-20

34

Formal specification and verification of embedded software testing framework using petri net Abstract (CD is available at PG Library)

Muhammad nabeel

1367-MSCS-17

2017-19

35

Formal modeling and verification of medical resources allocation in healthcare system Abstract (CD is available at PG Library)

Ali hassan

1354-MSCS-17

2017-19

36

Spatio Temporal Reduction for Database Query Abstract (CD is available at PG Library)

Maham Kamran

1375-MSCS-18

2018-20

37

Bilateral Negotiation through Adaptive Agent Abstract (CD is available at PG Library)

Amna Kanwal

1355-MSCS-18

2018-20

38

Malware Analysis and Detection for PDF using Neural Network Abstract (CD is available at PG Library)

Muhammad Ahmad Shahid

1370-MSCS-18

2018-20

39

Formal Methods for Context Sensitive System Abstract (CD is available at PG Library)

Benish Allah Ditta

1356-MSCS-18

2018-20

40

Formal verification & modeling approach for communication protocol Abstract (CD is available at PG Library)

Mubeen shujaat

1365-R-MSCS-17

2017-19

41

Data integration on cloud using Ms azure Abstract (CD is available at PG Library)

Bushra jamil

1359-MSCS-17

2017-19

42

Formal Modeling and Veri_cation of Reinforcement Learning Agents Abstract (CD is available at PG Library)

Ammara Inam

1360-MSCS-17

2017-19

43

Modeling and Analysis of Real Time Complex Events through Petri Nets Abstract (CD is available at PG Library)

Rana Kaleem Ullah

1368-MSCS-18

2018-20

44

Malware Analysis and Detection for Microsoft Technologies Abstract (CD is available at PG Library)

Amna Khalid

1371-MSCS-18

2018-20

45

Formal Verification of Social Laws for Autonomous Vehicle Platooning Abstract (CD is available at PG Library)

Muhammad Jamal

1362-MSCS-17

2017-19

46

Abstractive text summarization for urdu language (CD is available at PG Library) Abstract

Nosheen perwaiz

1373-MSCS-18

2018-20

47

Forecasting Student Performance Using Individual Analytics (CD is available at PG Library) Abstract

Sobia Farooq

1367-MSCS-18

2018-20

48

Early software fault prediction using machine learning techniques (CD is available at PG Library) Abstract

Muhammad siraj munir

1359-MSCS-18

2018-20

49

Formal Verication of Brain Tumor Treatment Prediction Through Radiomic Bio Markers (CD is available at PG Library) Abstract

Syeda Fatima Rizvi

1352-MSCS-19

2019-21

50

Deep neuro-cryptography with aes (CD is available at PG Library) Abstract

Namra tahir

1364-MSCS-18

2018-20

51

A Formal Approach for Depression Segregation Detection Over Social Network (CD is available at PG Library) Abstract

Adeen Sajid

1363-MSCS-18

2018-20

52

Formal Functional Verification of Non-Invasive Mechanical Ventilator (CD is available at PG Library) Abstract

Momina Shahzadi

1360-MSCS-19

2019-21

53

Automatic Procedure Following Evaluation in Wellbeing Care System (CD is available at PG Library)  Abstract

Wanher Liaqat

1369-MSCS-17

2017-19

54

Descriptive Exam Evaluation Through Semantic Analysis (CD is available at PG Library)  Abstract

Mian Raybal Akhtar

1362-MSCS-19

2019-21

55

Self Adaptive Time Variant Concurrent SystemFormal Veri_cation  (CD is available at PG Library)  Abstract

Noman Hafeez

1352-mscs-18

2018-20

56

Formal Approach For Smart Contracts  (CD is available at PG Library)  Abstract

Aroosa Shahid

1353-MSCS-19

2019-21

57

Sentiment Analysis for Product Reviews in Roman Urdu Lexicon (CD is available at PG Library) Abstract

Ayesha Yousuf

1355-MSCS-19

2019-21

58

Securing Privacy in Mining the Big spatio-temporal database (CD is available at PG Library)

Abdur Rehman Anwar

1364-MSCS-19

2019-21

59

Prioritization of exigency services in multi agent transporation systems (CD is available at PG Library) Abstract

Saira hussain

1371-MSCS-19

2019-21

60

Analysis  for text to knowledge graphs (KG’s) (CD is available at PG Library) Abstract

Muhammad tayyab

1376-MSCS-19

2019-21

61

A Framework for Intrusion Detection using Blockchain in Agent-based Flight Operations (CD is available at PG Library) Abstract

Muhammad Bilal

1353-MSCS-20

2020-22

62

Cloud based Multi-Agent Systems for Rescue Operations in Disaster Management (CD is available at PG Library) Abstract

Jazib Ali

1359-MSCS-19

2020-22

63

Graph-based image segmentation Enhancement (CD is available at PG Library) Abstract

Hina Imran Butt

1367-MSCS-19

2019-21

64

Intelligent intrusion detection using deep learning approach (CD is available at PG Library) Abstract

Khadija majeed

1360-MSCS-20

2020-22

65

Formal Verification of Head and Neck Cancer Prediction Through Radiomic Biomarkers (CD is available at PG Library) Abstract

Sanabil Shabbir

1361-MSCS-20

2020-22

66

Formal verification of reliability And security of cyber physical Systems (CD is available at PG Library) Abstract  

Amna Nisar

1357-R-MSCS-18

2018-20

67

An Optimized Approach for Minimizing Data Redundancy in Multi-Agent System Communication (CD is available at PG Library) Abstract  

Arslan Ghouri

1378-MSCS-20

2020-22

68

Intelligent Hand Gesture Recognition System Empowered With CNN (CD is available at PG Library) Abstract  

Zainab Zafar

1363-MSCS-20

2020-22

69

Leaf Disease Detection Using Fused Machine Learning Approach (CD is available at PG Library) Abstract  

Sana Sarfraz

 

1358-MSCS-20

 

2020-22

70

 Sentiment analysis of multilingual tweets using machine learning techniques (CD is available at PG Library) Abstract  

 Sohaib ahmad

 1374-MSCS-20

2020-22

71

Image Alteration Detection and Localization Through Deep Learning Approach (CD is available at PG Library) Abstract  

Humaira Tauqeer

1354-MSCS-20

2020-22

72

Multimodal sarcasm detection in conversational context (CD is available at PG Library) Abstract  

Hira zahid

1352-MSCS-20

2020-22

73

Emotion based electroencephalogram for person identification using deep learning (CD is available at PG Library) Abstract  

Sidra Aslam

1366-MSCS-20

2020-22

74

Formal Verification Approaches for Elasticity Controller in Cloud Computing (CD is available at PG Library) Abstract

Kainat Arshad

1377-MSCS-20

2020-22

75

 Petri Net based Modeling and Verification of Emergency Evacuation System (CD is available at PG Library) Abstract

Farva

1372-MSCS-20

2020-22

76

Formal Modeling and Analysis of Air Traffic Control System Using Petri Nets (CD is available at PG Library) Abstract

Amber Razzaq

1362-MSCS-20

2020-22

77

Agent Based Modeling and Verification of Supply Chain Management System (CD is available at PG Library) Abstract

Mehar U Nisa

1368-MSCS-20

2020-22

78

Formal approach for ios mobile Malware detection and Classification (CD is available at PG Library) Abstract

Maham Rubab

1355-MSCS-20

2020-22

79

Blockchain-Enabled IoT For Parked Vehicle Computing with Green Energy (CD is available at PG Library) Abstract

Muhammad Shanzer

1356-MSCS-20

2020-22

80

Punjabi Shahmkhi Text Summarization System (CD is available at PG Library) Abstract

Abdul Azeem Ahmed

1358-MSCS-19

2019-21

81

Improvised Vehicle Detection using Deep Learning Techniques (CD is available at PG Library) Abstract

Syed Kamran Ali

1370-MSCS-19

2019-21

82

Formal safety-assurance for learning-enabled autonomous systems (CD is available at PG Library) Abstract

Jawad Iqbal

1351-MSCS-19

2019-21

83

Formal modeling for reinforcement Learning agents multiple task assignment (CD is available at PG Library)

Ayesha Mushtaq

1360-MSCS-18

2018-20

 

 


   

  Click here to print this page*Back to Top

 

 

 
*
*
*
   
| GCU Homepage | Departmental Libraries | Working Hours |
| Downloads | Staff Directory | Suggestions | Home Page Credits |