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 |