| 1-3 |
Omar Ikram & Asad Hasan & Furqan Aziz |
BEE(2017-18) |
Battery Doctor |
| 4-6 |
Haider Ali & Komal Ishaq & Syed Hashim Abbas |
BEE(2017-18) |
Integration of Haptics in Biological Simulation Tools |
| 7-9 |
Eman Fatima & Osama Aamer & Taimoor Bin Khalid |
BSCS(2017-18) |
Menu Assistant |
| 10-12 |
Sarmad Saeed & Hareem Shafi & Moeez Akmal |
BEE(2016-17) |
Optimizing Thermal and Resource Management Algorithms for Multi-Core Architectures |
| 13-15 |
Laiba Nasir & Mamona Inam & Sumbul Bashir |
BEE(2016-17) |
Converter Design to Control Harmonic Emissions in UPS |
| 16-18 |
Omar Misbah Shami & Momin & Rana Ahmad Bilal |
BEE(2016-17) |
Beidou GNSS Receiver Design and Implementation on Arm Cortex A-9 Processor (Zynq SoC) |
| 19-21 |
Sarah Shah & Masooma Safeer & Abdul Qahir |
BEE(2016-17) |
Management of Shared Resources in Multi-Core Systems |
| 22-24 |
Saad Mahmood & Mahnoor Ali & Asad Tariq |
BEE(2015-16) |
Hand Joints Monitoring Wearable Device for Rheumatoid Arthritis Patients |
| 25-27 |
Muhammad Tahir & Ibraheem Bin Mehmood & Usman Asif |
BEE(2015-16) |
Exploring Smart Ways to Improve the Energy Consumption of Wireless Sensor Network Nodes to Improve their Lifetime |
| 28-30 |
Jamal Ahmad Khan & Usama Pervaiz & Haroon Ali Akbar |
BEE (2015-16) |
Body Area Sensor Network with an App/Web Server to Assist Congestive Heart Failure Patients |
| 31-32 |
Faiza Tahir & Shiza Tariq |
BSCS(2015-16) |
App/Web Server to Assist Congestive Heart Failure Patients |
| 33-34 |
Asad Ali Awan & Muhammad Sarmad Khan |
BEE(2014-15) |
Extending RRT* for 3D Environments |
| 35-36 |
Saba Mumtaz & Ahmed Hussain Qureshi |
BEE(2013-14) |
Enhanced RRT* for Motion Planning in Complex Obstacle Cluttered Environments |
| 37-38 |
Nyla Afzal & Syeda Farwa Naqvi |
BESE(2013-14) |
Formal Verification of Dynamic Systems using Event-B |
| 39-41 |
Ainan Ihsan & Mehreen Saeed & Tayyba Fatima |
BESE (2013-14) |
Formal verification/Modeling of LEACH and its Extensions |
| 42-44 |
Hassan Raza Gillani & Yassar Saleem & Awais Mahmood |
BEE(2013-14) |
Formal Analysis of Power Distribution Management System Algorithms in Smart Grids |
| 45-47 |
Areesh Tahir & Sohaib Jasim & Atif Khan |
BEE(2013-14) |
E-MAA Pre-natal Remote Monitoring Unit: High Impact Maximum Outreach |
| 48-49 |
Saba Mumtaz & Ahmed Hussain Qureshi |
BEE(2013-14) |
Enhanced RRT* for Motion Planning in Complex Obstacle Cluttered Environments |
| 50-52 |
Adil Khurram & Haider Ali & Arham Tariq |
BEE(2012-13) |
Formal Reliability Analysis of Protective Relays in Power Distribution Systems |
| 53-54 |
Waleed Aslam & Muhammad Uzair Afzal |
BEE(2011-12) |
Aware 2 – Fall Detection & Daily Activity and Vital Monitoring System |
| 55-57 |
Ayesha Inam & Aisha Khan & Nirmal Saeed |
BEE(2011-12) |
Designing an Automatic Theorem Proving based Formal Verification Tool for Combinational Circuits |
| 58-59 |
Anas Shoib & Zohaib Hayat |
BEE (2011-12) |
Designing a Spectrum Analyzer using FPGA |
| 60-62 |
Faiq Khalid Lodhi & Naeha Sharif & Nadra Ramzan |
BEE(2010-11) |
Design of a Digital Phase Detector for Clock Synchronization in MPSoC |
| 63-65 |
Shehryar Tariq & Syed Kamran Haider & Sarmad Munir |
BEE(2010-11) |
Development of a Tele-Surgical Training Robot |
| 66-68 |
Farrukh Hijaz & Talal Ahmed & Nabeel Afzal |
BEE(2009-10) |
Aware – Fall Detection and Daily Activity Monitoring System |
| 69 |
Hasnain A Qureshi |
BEE(2009-10) |
Formal Verification of CMOS Level Digital Circuits |
| 70-72 |
Umaid Ali & Saad Ayub & Shejih Matiullah & Jawad Paracha |
BEE(2009-10) |
Firefighting Robot |
| 73 |
Ali N. Nasir |
BEE (2009-10) |
Analysis of FPGA based DSP Algorithms |
