Osman Hasan

Osman HasanOsman Hasan received the B.Eng. (Hons.) degree from the N-W.F.P University of Engineering and Technology, Pakistan, in 1997, and the M.Eng. and Ph.D. degrees from Concordia University, Montreal, Canada, in 2001 and 2008, respectively. He served as an ASIC design Engineer from 2001 to 2003 at LSI Logic Corporation in Ottawa, Canada and as a Research Associate at Concordia University, Montreal, Canada, for 18 months after his doctoral degree. Currently, he is an Assistant Professor at the School of Electrical Engineering and Computer Science, National University of Science and Technology (NUST), Islamabad, Pakistan. He is the founder and director of System Analysis and Verification (SAVe) Lab at NUST, which mainly focuses on the design and formal verification of energy, embedded and e-health related systems. He has received several awards and distinctions, including the Pakistan’s Higher Education Commission’s Best University Teacher (2010) and Best Young Researcher Award (2011) and the President’s gold medal for the best teacher of the University from NUST in 2015. Dr. Hasan is a Senior member of IEEE, member of Association for Automated Reasoning (AAR) and member of the Pakistan Engineering Council.

Publications

Formal Verification of ZigBee-Based Routing Protocol for Smart Grids
Formal Verification of ZigBee-Based Routing Protocol for Smart Grids
Adnan Rashid, Osman Hasan. © 2022. 16 pages.
Smart grids provide a digital upgradation of the conventional power grids by alleviating the power outages and voltage sags that occur due to their inefficient communication...
Formal Verification of ZigBee-Based Routing Protocol for Smart Grids
Formal Verification of ZigBee-Based Routing Protocol for Smart Grids
Adnan Rashid, Osman Hasan. © 2021. 16 pages.
Smart grids provide a digital upgradation of the conventional power grids by alleviating the power outages and voltage sags that occur due to their inefficient communication...
Load Flow Analysis in Smart Grids
Load Flow Analysis in Smart Grids
Osman Hasan, Awais Mahmood, Syed Rafay Hasan. © 2019. 13 pages.
Load flow analysis is widely used to estimate the flow of various electrical parameters such as the voltage, current, and power in power grids. These estimates allow us to...
State of the Art and Key Design Challenges of Telesurgical Robotics
State of the Art and Key Design Challenges of Telesurgical Robotics
Sajid Nisar, Osman Hasan. © 2019. 12 pages.
Telesurgical robotic systems allow surgeons to perform surgical operations from remote locations with enhanced comfort and dexterity. Introduction of robotic technology has...
Telesurgical Robotics and a Kinematic Perspective
Telesurgical Robotics and a Kinematic Perspective
Sajid Nisar, Osman Hasan. © 2019. 15 pages.
Minimally invasive surgery (MIS) has revolutionized the world of surgery. On one hand, it offered many revolutionary advantages; on the other hand, it proved to be a tedious and...
Load Flow Analysis in Smart Grids
Load Flow Analysis in Smart Grids
Osman Hasan, Awais Mahmood, Syed Rafay Hasan. © 2018. 11 pages.
Load flow analysis is widely used to estimate the flow of various electrical parameters, such as the voltage, current and power, in power grids. These estimates allow us to...
State of the Art and Key Design Challenges of Telesurgical Robotics
State of the Art and Key Design Challenges of Telesurgical Robotics
Sajid Nisar, Osman Hasan. © 2018. 10 pages.
Telesurgical robotic systems allow surgeons to perform surgical operations from remote locations with enhanced comfort and dexterity. Introduction of robotic technology has...
Telesurgical Robotics and a Kinematic Perspective
Telesurgical Robotics and a Kinematic Perspective
Sajid Nisar, Osman Hasan. © 2018. 12 pages.
Minimally Invasive Surgery (MIS) has revolutionized the world of surgery. On one hand it offered many revolutionary advantages, on the other hand it proved to be a tedious and...
Formal Verification Methods
Formal Verification Methods
Osman Hasan, Sofiène Tahar. © 2015. 9 pages.
Telesurgical Robotics
Telesurgical Robotics
Sajid Nisar, Osman Hasan. © 2015. 9 pages.
Formalized Probability Theory and Applications Using Theorem Proving
Formalized Probability Theory and Applications Using Theorem Proving
Osman Hasan, Sofiène Tahar. © 2015. 298 pages.
Scientists and engineers often have to deal with systems that exhibit random or unpredictable elements and must effectively evaluate probabilities in each situation. Computer...
Formal Reliability Analysis of Engineering Systems
Formal Reliability Analysis of Engineering Systems
Naeem Abbasi, Osman Hasan, Sofiène Tahar. © 2014. 15 pages.
Reliability analysis of engineering systems has traditionally been done using computationally expensive computer simulations that cannot attain 100% accuracy due to their...
Formal Reliability Analysis of Embedded Computing Systems
Formal Reliability Analysis of Embedded Computing Systems
Osman Hasan, Sofiène Tahar. © 2013. 15 pages.
The accurate reliability assessment of embedded systems has become a concern of overwhelming importance with their increasingly ubiquitous usage in safety-critical domains like...
Formal Analysis of Real-Time Systems
Formal Analysis of Real-Time Systems
Osman Hasan, Sofiène Tahar. © 2011. 34 pages.
Real-time systems usually involve a subtle interaction of a number of distributed components and have a high degree of parallelism, which makes their performance analysis quite...