Osman Hasan

Osman HasanOsman Hasan received the BEng (Hons) degree from the N-W.F.P University of Engineering and Technology, Pakistan in 1997, and the MEng and PhD degrees from Concordia University, Montreal, Quebec, Canada, in 2001 and 2008 respectively. He worked as a postdoctoral fellow at the Hardware Verification Group (HVG) of Concordia University for one year until August 2009. Currently, he is an Assistant Professor in 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 main focuses on the design and formal verification of embedded systems. 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...