Dr. Osman Hasan

Battery' Doctor Iram, Omer ; Asad, Hasan ; Furqan, Aziz 2018 Design of A Digital Phase Detector For Cross Clock Domains In MPSoC Faiq Khalid Lodhi ; Nadra Rahmzan ; Naeha Sharif 2011 Formal Analysis of Homogeneous Linear Differential Equations Using Theorem Proving Muhammad Usman Sanwal 2012 Formal Quantitative Fault Attack Vulnerability Evaluation of Sequential Circuits Peracha, Talha Habib 2018 Formal Verification of Demand Response Management Systems in Smart Grid Yaqoob Salik, Adnan 2018 Formal Verification of Distributed Dynamic Thermai Management schemes using HOL4 Muhammad Usman Sardar 2015 Integration of ASM with Event-B RODIN Innayat Ullah 2015 On-sensor approximate computing for IoT based ultra-low power Body Area Networks Siddique, Ayesha 2018 Peekafood Aamer, Osama ; Fatima, Eman ; Khalid, Taimoor Bin 2018 Safe Connect Ali, Haider ; Abbas, Syed Hashim ; Ishaq, Komal 2018 Towards the Higher-Order-Logic Formalization of MATLAB Functions Gauhar, Ayesha 2018