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.


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...
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...
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...
Formal Verification Methods
Osman Hasan, Sofiène Tahar. © 2015. 9 pages.
Telesurgical Robotics
Sajid Nisar, Osman Hasan. © 2015. 9 pages.
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...
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...
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...
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...