Osman Hasan

Assistant Professor

School of Electrical Engineering & Computer Science (SEECS), 
National University of Sciences & Technology (NUST),
Sector H-12, Islamabad 44000,
Pakistan

Phone: +92-51-9085-2137
Email: osman DOT hasan AT seecs DOT nust DOT edu DOT pk

Publications

Books

  1. H. Geuvers, M. England, O. Hasan, F. Rabe, and O. Teschke (Eds.): Intelligent Computer Arithmetic, Volume 10383 of Lecture Notes in Artificial Intelligence (LNAI), Springer-Verlag, 2017, ISBN: 978-3-319-62075-6.
  2. O. Hasan and S.Tahar, “Formalized Probability Theory and Applications using Theorem Proving”, IGI Global, 2015, ISBN13: 9781466683150, ISBN10: 1466683155.

Book Chapters

  1. O. Hasan, A. Mahmood, and S.R. Hasan, “Load Flow Analysis in Smart Grids", In: Mehdi Khosrow-Pour (Eds.), Encyclopedia of Information Science and Technology, 4th Edition, IGI Global Pub, pp. 3103-3113, ISBN: 9781522522553, 2017.
  2. S. Nisar and O. Hasan, “State-of-the-Art and Key Design Challenges of Telesurgical Robotics”, In: Mehdi Khosrow-Pour (Eds.), Encyclopedia of Information Science and Technology, 4th Edition, IGI Global Pub, pp. 6872-6881, ISBN: 9781522522553, 2017.
  3. S. Nisar and O. Hasan, “Telesurgical Robotics and a Kinematics Perspective”, In: Mehdi Khosrow-Pour (Eds.), Encyclopedia of Information Science and Technology, 4th Edition, IGI Global Pub, pp. 6882-6893, ISBN: 9781522522553, 2017.
  4. M. Zaki, O. Hasan , S. Tahar and G. Al-Sammane, “Framework for Formally Verifying Analog and Mixed Signal Designs”, In: M. Fakhfakh, E. Tlelo-Cuautle, P. Siarry (Eds.), Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio-Frequency (RF) Circuit Design, Springer, pp 115-145, ISBN:978-3-319-19871-2, 2015.
  5.  S. Nisar and O. Hasan , “Telesurgical Robotics”, In: Mehdi Khosrow-Pour (Eds.), Encyclopedia of Information Science and Technology, IGI Global Pub, ISBN13: 9781466658882, 2015.
  6. O. Hasan  and S. Tahar, “Formal Verification Methods”, In: Mehdi Khosrow-Pour (Eds.), Encyclopedia of Information Science and Technology, IGI Global Pub ISBN13: 9781466658882, pp 7162-7170, 2015.
  7. N. Abbasi, O. Hasan  and S. Tahar, “Formal Reliability Analysis of Engineering Systems”, In: A. Amine, O. A. Mohamed and B. Benatallah (Eds.), Network Security Technologies: Design and Application, IGI Global Pub. ISBN: 9781466647893, 2014.
  8. O. Hasan and S. Tahar: "Formal Reliability Analysis of Embedded Computing Systems", In: M.Khalgui, O. Mosbahi and A. Valentiniand (Eds.), Embedded Computing Systems:  Applications, Optimization, and Advanced Design, IGI Global Pub., ISBN: 978-1466639225, 2013.
  9. O. Hasan and S. Tahar, “Formal Analysis of Real-Time Systems”, In M. Khalgui and H.M. Hanisch (Eds.) Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, IGI Global Pub., ISBN: 978-1609600860, 2011.

Journals

  1. A. Rashid and O. Hasan, “Formal Analysis of Continuous-time Systems using Fourier Transform”, Symbolic Computation in Software Science, Accepted in June, 2017. 
  2. A. Rashid, O. Hasan, M.U. Siddique and S. Tahar, “Formal Reasoning about Systems Biology using Theorem Proving”, PLOS ONE, DOI: 10.1371/journal.pone.0180179, 2017.
  3. A. Gawanmeh, U. Pervez, and O. Hasan, “Probabilistic Analysis of Electrocardiogram (ECG) Heart Signal”, Computer System Science and Engineering, CRL, Accepted in February 2017.
  4. O. Hasan and S. Iqbal, “A Framework for Laparoscopic Simulations”, Journal of Pakistan Medical Association, 67(9):1404-1409.
  5. S. Mazahir, O. Hasan, R. Hafiz and M. Shafique, “Probabilistic Error Analysis of Approximate Recursive Multipliers”, Transactions on Computers, IEEE, DOI:10.1109/TC.2017.2709542, 2017.
  6. M. U. Sardar, N. Afaq, O. Hasan and K. A. Hoque, “Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA)”, Journal of Automated Reasoning, Springer, DOI:10.1007/s10817-017-9416-6, 2017.
  7. S. Shiraz and O. Hasan,  “A HOL Library for Hardware Verification using Theorem Proving" IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, DOI: 10.1109/TCAD.2017.2705049, 2017.
  8. M. Mohsin, M. U. Sardar, O. Hasan, and Z. Anwer, “IoTRiskAnalyzer: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things”, IEEE Access, 5(1):5494-5505, 2017.
  9. S. H. Taqdees and O. Hasan, “Formally Verifying Transfer Functions of Linear Analog Circuits”, Design and Test, IEEE, DOI: 10.1109/MDAT.2017.2713388, 2017.
  10. W. Ahmed, O. Hasan, S. Tahar and M. S. Hamdi, “Formal Reliability Analysis of Oil and Gas Pipelines”, Journal of Risk and Reliability, SAGE Journals, DOI: 10.1177/1748006X17694494, 2017.
  11. F.K. Lodhi, S.H. Rafay, O.Hasan and F. Awwad, “Analyzing Vulnerability of Asynchronous Pipeline to Soft Errors: Leveraging Formal Verification”, Journal of Electronic Testing:  Theory and Applications, Springer, 32(5), 569-586, 2016.
  12. Z.A. Khan, N. Kamal, A. Hameed, A. Mahmood, R. Zainab, B. Sadia, S.M. Mansoor, and O. Hasan, “SmartSIM - A Virtual Reality Simulator for Laparoscopy Training using a Generic Physics Engine”, Medical Robotics and Computer Assisted Surgery, Wiley,  10.1002/rcs.1771.
  13. S. Mazahir, O. Hasan, R. Hafiz, M. Shafique, J. Henkel, “Probabilistic Error Modeling for Approximate Adders”, Transactions on Computers, IEEE, Online in September 2016, To Appear. 10.1109/TC.2016.2605382.
  14. Y. Ghazi, R.Masood, A. Rauf, M. A. Shibli, O. Hasan, “A Cloud Based Protection System for Document-Oriented NoSQL Databases”, EURASIP Journal on Information SecurityOnline August 2016, 10.1186/s13635-016-0040-5.
  15. U. Mushtaq, O. Hasan, F. Awwad, “NoC based Implementation of Free Form Deformations in Medical Imaging Registration”, Journal of Circuits, Systems, and Computers (JCSC), 26(4):1750058 (13 Pages), 2017.
  16. W. Ahmed, O. Hasan, U. Pervez, and J. Qadir, “Reliability Modeling and Analysis of Communication Networks”, Journal of Network and Computer Applications (JNCA), Elsevier, 78:191-215, 2017.
  17. M. U. Sardar, O. Hasan, M. Shafique and J. Henkel, “Theorem Proving Based Formal Verification of Distributed Dynamic Thermal Management Schemes”, Journal of Parallel and Distributed Computing, Elsevier, 100:157-171, 2017.
  18. S.A.A. Bukhari, F. K. Lodhi, O. Hasan, M.Shafique and J.Henkel, “FAMe-TM: Formal Analysis Methodology for Task Migration Algorithms in Many-Core Systems”, Science of Computer Programming, 133(2):154-174, 2017.
  19. U. Pervez, A. Mehmood, O. Hasan, K. Latif, and A. Gawanmeh, “Improvement Strategies For Device Interoperability Middleware (Dim) Using Formal Reliability Analysis”, Scalable Computing: Practice and Experience, 17(3):155-170, 2016.
  20. T. Hassan, A. Hameed, S. Nasir, N. Kamal and O. Hasan, “Al-Zahrawi - A Tele-Surgical Robotic System for Minimal Invasive Surgery”, System Journal, IEEE, 10(3):1035-1045, 2106
  21. W. Ahmed, O. Hasan and S. Tahar, “Formalization of Reliability Block Diagrams in Higher-order Logic”, Journal of Applied Logic, Elsevier, 18(1):19-41 2016.
  22. S. R. Hasan, W. Gul and O. Hasan. “Clock Domain Crossing (CDC) in 3D-SICs:  Semi QDI Asynchronous vs Loosely Synchronous”, Integration, the VLSI JournalElsevier, 52:367-380, 2016.
  23. T. Mhamdi, O. Hasan and S. Tahar, “Evaluation of Anonymity and Confidentiality Protocols using Theorem Proving”, Formal Methods in System Design Springer,  Springer, 47(3):265:286, 2015. 
  24. J. Qadir and O. Hasan, “Applying Formal Methods to Networking: Theory, Techniques and Applications”, Communications Surveys and Tutorials, IEEE,  17(1): 256-291, 2015.
  25. A.H. Qureshi, S. Mumtaz, Y. Ayaz and O. Hasan, “Triangular Geometrised Sampling Heuristic for Fast Optimal Motion Planning”, International Journal of Advanced Robotic Systems, Intech,  12:10:10.5772/59763, 2015.
  26. M. Elleuch, O. Hasan, S. Tahar and M. Abid, “Formal Probabilistic Analysis of  Detection Properties in Wireless Sensor Networks”, Formal Aspects of Computing, Springer,  27 (1): 79-102, 2015.
  27. S. Ahmad, O. Hasan and U. Siddique, “On the Formalization of Zsyntax with Applications in Molecular Biology”, Scalable Computing: Practice and Experience, 16(1):37-51, 2015.
  28. U. Siddiqui and O. Hasan, “On the Formalization of Gamma Function in HOL”, Journal of Automated Reasoning, Springer, 53(4):407-429, 2014. 
  29. S.K. Afshar, U. Siddique, M.Y. Mahmoud, V. Aravantinos, O. Seddiki, O.Hasan and S. Tahar, “Formal Analysis of Optical Systems”, Mathematics in Computer Science, Springer, 8(1): 39-70, 2014.
  30. O. Hasan and S. A. Khayam, “Towards Formal Linear Cryptanalysis using HOL4”, Journal of Universal Computer Science, 20(2): 193-212 2014. 
  31.  F. Lodhi, N. Sharif, N. Ramzan, O. Hasan and S.R. Hasan. “Variation Aware Dynamic Digital Phase Detector for Low Latency Clock Domain Crossing”, IET Circuits, Devices & Systems, 8(1):58-64, 2014. 
  32. N. Abbasi, O. Hasan and S. Tahar and, “An Approach for Lifetime Reliability Analysis using Theorem Proving”, Journal of Computer and System Sciences, Elsevier, 80(2014):323-345,  2013.
  33. J. Nasir , F. Islam, U. Malik, Y. Ayaz, O. Hasan, M. Khan and M. S. Muhammad, "RRT*-SMART: A rapid convergence implementation of RRT*", International Journal of Advanced Robotic Systems: Robot Motion, Intech, 10(299):1-10, 2013.
  34. L. Liu, O. Hasan and S. Tahar, “Formal Reasoning about Finite-state Discrete-Time Markov Chains in HOL”, Journal of Computer Science and Technology, Springer, 28(2):217-231, 2013.
  35. T. Mhamdi, O. Hasan and S. Tahar, “Formalization of Measure Theory and Lebesgue Integration for Probabilistic Analysis in HOL”, Transactions on Embedded Computing Systems, ACM, 12(1)13:1-13:23, 2013.
  36. O. Hasan S. Tahar, “Reasoning about conditional probabilities in a higher-order-logic theorem prover ”, Journal of Applied Logic, Springer, Vol. 9, No. 1,: March 2011, 23-40.
  37. O. Hasan, J. Patel and S. Tahar, “Formal Reliability Analysis of Combinational Circuits using Theorem Proving”, Journal of Applied Logic, Springer, Vol. 9, No. 1,: March 2011, 41-60.
  38. O. Hasan and S. Tahar, “Formally Analyzing Expected Time Complexity of Algorithms using Theorem Proving”, Journal of Computer Science and Technology, Volume 25, No. 6,  Springer, September 2010, pp. 1305-1320.
  39. O. Hasan, S. Tahar, N. Abassi: “Formal Reliability Analysis using Theorem Proving”, IEEE Transactions on Computers, Vol. 59, No. 5, IEEE, May 2010, pp. 579-592.
  40. O.Hasan and S. Tahar. Probabilistic Analysis of Wireless Systems using Theorem ProvingElectronic Notes in Theoretical Computer Science, Vol. 242, No. 2, Elsevier, July 2009, pp. 43-58.
  41. O.Hasan and S. Tahar. Formal Verification of Tail Distribution Bounds in the HOL Theorem Prover.Mathematical Methods in The Applied Sciences, Vol. 32, no. 4, Wiley Interscience, March 2009, pp. 480-504. 
  42. O.Hasan and S. Tahar. Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOLJournal of Automated Reasoning, Vol. 42, No. 1, Springer Verlag, January 2009, pp. 1-33.
  43. O.Hasan and S. Tahar. Using Theorem Proving to Verify Expectation and Variance for Discrete Random VariablesJournal of Automated Reasoning, Vol. 41, No. 3-4, Springer Verlag, November 2008, pp. 295-323.
  44. O.Hasan and S. Tahar. Formalization of the Standard Uniform Random Variable. Theoretical Computer Science, Vol. 382, No. 1, Elsevier, 2007, pp. 71-83.

Selected Conference Papers

  1. A. Rashid and O. Hasan, “Formal Analysis of Linear Control Systems using Theorem Proving”, 19th International Conference on Formal Engineering Methods (ICFEM-2017), Springer, LNCS, Xi’an, China, To Appear.
  2. M. S. Ayub and O. Hasan, “Formal Probabilistic Analysis of a Virtual Fixture Control Algorithm for a Surgical Robot”, Verification and Evaluation of Computer and Communication Systems (VECoS-2017), Montreal, Canada, Springer, LNCS, 2017. 
  3. F.K. Lodhi, S.H. Rafay, O.Hasan and F. Awwad, “Behavior Profiling of Power Distribution Networks for Runtime Hardware Trojan Detection”, International Midwest Symposium on Circuits and Systems (MWCAS 2017), IEEE Circuit and System Society (CAS), To Appear.
  4. A. Rashid and O. Hasan, “Formalization of Transforms Methods in HOL Light”, Conferences on Intelligent Computer Mathematics (CICM-2017), Springer, LNAI 10383, pp. 1-14, 2017. 
  5. A. Hanif, R. Hafiz, O. Hasan and M. Shafique, “QuAd: Design and Analysis of Quality-Area Optimal Low-Latency Approximate Adders”, Design Automation Conference (DAC-2017), Austin, TX, USA, To Appear. 
  6. S. K. Ayub, O. Hasan and M. Shafique, “Statistical Error Analysis for Low Power Adders”, Design Automation Conference (DAC-2017), Austin, TX, USA, To Appear. 
  7. M. U. Sardar and O. Hasan, “Towards Probabilistic Formal Modeling of Robotic Cell Injection System”, Models for Formal Analysis of Real Systems (MARS-2017), EPTCS, Uppsala, Sweden, pp. 271-282, 2017.
  8. L. Liu, O. Hasan and S. Tahar, “Formalization of Birth-Death and IID Processes in Higher-order”, IEEE Systems Conference (SysCon), IEEE, Montreal, Canada, pp. 1-7.  
  9. S.A.A. Bukhari, F. K. Lodhi, O. Hasan, M.Shafique and J.Henkel, “CAnDy-TM: Comparative Analysis of Dynamic Thermal Management in Many-Cores using Model Checking”, Design, Automation and Test in Europe (DATE-2017), Lausanne, Switzerland, pp. 1289-1292.
  10. F.K. Lodhi, S.H. Rafay, O.Hasan and F. Awwad, “Power Profiling of Microcontroller's Instruction Set for Runtime Hardware Trojans Detection without Golden Circuit Models”, Design, Automation and Test in Europe (DATE-2017),  Lausanne, Switzerland, pp. 294-297. 
  11. M. Elleuch, O. Hasan, S. Tahar and M. Abid, “Formal Probabilistic Analysis of a WSN-based Monitoring Framework for IoT Applications”, Formal Techniques for Safety-Critical Systems (FTSCS 2016), Tokyo, Japan, Springer CCIS, To Appear, 2016.
  12. I. Abbasi, F. K. Lodhi, A. Kamboh, and O. Hasan, “Formal Verification of Gate-Level Multiple Side Channel Parameters to detect Hardware Trojans”, Formal Techniques for Safety-Critical Systems (FTSCS 2016),  Tokyo, Japan, Springer CCIS, To Appear, 2016.
  13. A. Ahmed, O. Hasan, S. Tahar, A. Mohamad, “Formal Verification of Energy Consumption for an EEG Monitoring Wireless Body Area Sensor Network, 10th IEEE International Conference on Open Source Systems and Technologies (ICOSST-2016), Lahore, Pakistan, pp/ 18-22.
  14. S. A. Murtaza, O. Hasan and K. Saghar, “VerTGen: An Automatic Verilog Testbench Generator for Generic Circuits”, International Conference on Emerging Technologies (ICET-2016),  IEEE, 2016, pp. 1-5. 
  15. W. Ahmed, O. Hasan, “Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach”, Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA-2016), Springer, LNCS 9984, Beijing, China, pp 264-279.
  16. A. Athar, A. M. Zafar, R. Asif, A. A. Khan, F. Islam, Y. Ayaz, O. Hasan, “Whole-Body Motion Planning for Humanoid Robots with Heuristic Search”, Intelligent Robots and Systems (IROS-2016), Daejeon, Korea, pp 4720-4727.
  17. W. Ahmed, O. Hasan, “Towards Availability Analysis using Theorem Proving”, 18th International Conference on Formal Engineering Methods (ICFEM-2016), Springer LNCS 10009, Tokyo, Japan, pp. 226-242. 
  18. M. Elleuch, O. Hasan, S. Tahar and M. Abid, “Formal Probabilistic Analysis of Lifetime for a WSN-based Monitoring Application”, 10th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS-2016), Tunis, Tunisia, pp. 43-58.
  19. A. Rashid and O. Hasan, “On the Formalization of Fourier Transforms in Higher-order Logic”, Interactive Theorem Proving (ITP-16), LNCS, Springer, LNCS 9807, Nancy, France, 2016, To Appear. 
  20. J. A. Khan, U. Pervaiz, H. A. Akbar and O. Hasan, “A Wearable Wireless Sensor for Cardiac Monitoring”, Body Sensor Networks (BSN-2016), IEEE, San Francisco, USA, 2016, pp. 61-65.
  21. M. Qasim, O. Hasan, M. Elleuch and S. Tahar, “Formalization of Normal Random Variables in HOL”, Conferences on Intelligent Computer Mathematics (CICM-2016),Springer, LNAI 9791, Bialystock, Poland, 2016, pp. 44–59.
  22. W. Ahmed, O. Hasan and S. Tahar, “Formal Dependability Modeling and Analysis: A Survey”, Conferences on Intelligent Computer Mathematics (CICM-2016)Springer, LNAI 9791, Bialystock, Poland, 2016, pp. 132-147.
  23.  M. U. Sardar, N. Afaq, K. A. Hoque, O. Hasan, T. Johnson, “Probabilistic Formal Verification of SATS Concept of Operation”, NASA Formal Methods (NFM-2016), LNCS 9690, Springer, Minneapolis, USA, pp. 191-205.
  24. M. Nouman, U. Pervez, O. Hasan and K. Saghar, “Software Testing: A Survey and Tutorial on White and Black-box Testing of C/C++ Programs”, IEEE Region 10 Symposium (TENSYMP-2016), Bali, Indonesia, pp. 225-230.
  25. A. Mahmood, H. Gillani, Y. Ssaleem, O. Hasan and S.R. Hasan, “Formal Reliability Analysis of Protective Systems in Smart Grids”, IEEE Region 10 Symposium (TENSYMP-2016), Bali, Indonesia, pp. 198-202.
  26.  S. Hameed and O. Hasan, “Towards Autonomous Collision Avoidance in Surgical Robots using Image Segmentation and Genetic Algorithms”, IEEE Region 10 Symposium (TENSYMP-2016), Bali, Indonesia, pp. 266-270.
  27. S. Mazahir, O. Hasan, R. Hafiz, M. Shafique, J. Henkel, “An Area-Efficient Consolidated Configurable Error Correction for Approximate Hardware Accelerators”, Design Automation Conference (DAC-2016), Austin, TX, USA, 96:1-96:6. 
  28.  F. K. Lodhi, I. Abbasi, F. Khalid, O. Hasan, F. Awwad and S. R. Hasan, “A Self-learning Framework to Detect the Intruded Integrated Circuits”, Int'l Symposium on Circuits and Systems (ISCAS-2016), Montreal, Canada, To Appear.
  29. W. Gul, S. R. Hasan, O. Hasan, F. Khalid and F. Awwad, “Synchronously Triggered GALS Design Templates Leveraging QDI Asynchronous Interfaces”, Int'l Symposium on Circuits and Systems (ISCAS-2016), Montreal, Canada, To Appear.
  30.  S. Iqtedar, O. Hasan, M. Shafique, J. Henkel, “Formal Probabilistic Analysis of Distributed Resource Management Schemes in On-Chip Systems”, Design, Automation and Test in Europe (DATE-2016), Dresden, Germany, pp. 930-935. 
  31.  A. Rashid, O. Hasan and K. Saghar, “Formal Analysis of a ZigBee-based Routing Protocol for Smart Grids using UPPAAL”, High-Capacity Optical Networks and Enabling/Emerging Technologies (HONET-2015), Islamabad, Pakistan, pp. 1-5. 
  32. W. Ahmed, O. Hasan and S. Tahar, “Towards Formal Reliability Analysis of Logistics Service Supply Chains using Theorem Proving”, Implementation of Logics (IWIL 2015), Suva, Fiji, To Appear.
  33.  F. Arshad, H. Mehmood, F. Raza and O. Hasan, “g-HOL - A Graphical User Interface for the HOL Proof Assistant”, Formal Techniques for Safety-Critical Systems (FTSCS 2015), Springer CCIS 596, pp. 265–269,  2015.
  34. F.K. Lodhi, S.H. Rafay, O. Hasan and F. Awwad, “Formal Analysis of Macro Synchronous Micro Asychronous Pipeline for Hardware Trojan Detection”, NORCHIP 2015, IEEE Circuit and System Society (CAS), 2015, Oslo, Norway, pp. 1-4.
  35. U. Pervez, A. Mehmood, O. Hasan, K. Latif, and A. Gawanmeh, “Formal Reliability Analysis of Device Interoperability Middleware (DIM) based E-Health System using PRISM”, IEEE International Conference on e-Health Networking, Applications and Services(Healthcom 2015), Boston, USA, pp. 108-115.
  36. W. Ahmed, O. Hasan and S. Tahar, “Formal Reliability Analysis of Wireless Sensor Network Data Transport Protocols using HOL ”, Cooperative Wireless Networks, Wireless and Mobile Computing, Networking and Communications (WiMOB-15), IEEE Computer Society, Abu Dhabi, UAE, pp. 217-224.
  37. M. S. Khan, A. A. Awan, F. Islam, Y. Ayaz and O. Hasan, “Safe Radius based Motion Planning of Hexapod using RRT-Connect”, Information and Automation (ICIA-2015), IEEE, Yunnan, China, pp 415-418.
  38. M. Usman and O. Hasan, “Formally Analyzing Continuous Aspects of Cyber-Physical Systems modeled by Homogeneous Linear Differential Equations”, Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy-15), LNCS 9361, Springer, Amsterdam, Netherland, pp. 132-146.
  39. W. Ahmed, O. Hasan, “Towards Formal Fault Tree Analysis using Theorem Proving”, Conferences on Intelligent Computer Mathematics (CICM-2015)Springer, LNCS 9150, Washington, USA, pp. 39-54.
  40. U. Siddique, O. Hasan, and S. Tahar, “Towards the Formalization of Fractional Calculus in Higher-order Logic”, Conferences on Intelligent Computer Mathematics (CICM-2015)Springer, LNCS 9150, Washington, USA, pp. 316-324.
  41. S. Iqtedar, O. Hasan, M. Shafique, J. Henkel, “Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems”, IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2015), IEEE Computer Society, Larnaca, Cyprus. pp. 210-215. 
  42. S. Iqtedar, O. Hasan, M. Shafique, J. Henkel, “Formal Probabilistic Analysis of Distributed Dynamic Thermal Management”, Design, Automation and Test in Europe (DATE-2015), March 9-13, Grenoble, France. pp. 1221-1224. 
  43. U. Siddique, O. Hasan, and S. Tahar, “Formal Modeling and Verification of Integrated Photonic Systems”, IEEE International Systems Conference (SysCON-2015), IEEE, Vancouver, Canada, pp. 562-569.
  44. S.A.A. Bukhari, F. K. Lodhi, O. Hasan, M.Shafique and J.Henkel, “Formal Verification of Distributed Task Migration for Thermal Management in On-chip Multi-core Systems using nuXmv”, Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), Springer CCIS 476, Luxembourg City, Luxembourg, pp. 1-15.
  45.  A. Zaman and O. Hasan, “Formal Verification of Circuit-Switched Network on Chip (NoC)”, International Symposium on System-on-Chip (ISSoC-2014), IEEE, pp. 1-8.
  46. S. Ahmad, O. Hasan, U. Siddique and S. Tahar, “Formalization of Z-Syntax to reason about Molecular Pathways in HOL4”, Brazilian Symposium on Formal Methods (SBMF-2014), Springer LNCS 8941, pp. 32-47. 
  47. O. Hasan, W. Ahmed, S. Tahar and M. S. Hamdi, “Reliability Block Diagrams based Analysis: A Survey”, International Conference of Numerical Analysis and Applied Maths (ICNAAM-14), American Institute of Physics (AIP) Proc., Vol. 1648, 850129, Rhodes, Greece, 2014.
  48.   U. Pervez, O. Hasan, K. Latif, S. Tahar, A. Gawanmeh and M. Hamdi, “Formal Reliability Analysis of a Typical FHIR Standard based E-Health System using PRISM”, IEEE International Conference on e-Health Networking, Applications and Services, (Healthcom 2014), Natal RN Brazil, pp. 43-48
  49.  L. Liu, V. Aravantinos , O. Hasan and S. Tahar, “On the Formal Analysis of HMM Using Theorem Proving”, 16th International Conference on Formal Engineering Methods (ICFEM-2014), Springer LNCS 8829, Luxombourg City, Luxembourg, pp. 316-331. 
  50. M. Ahmad and O. Hasan, “Formal Analysis of Steady State Errors in Feedback Control Systems using HOL-Light”, 19th International Workshop on. Formal Methods for Industrial Critical Systems (FMICS-2014), Springer LNCS 8718, Florence, Italy, pp. 1-15. 
  51. S.K. Afshar, O. Hasan and S. Tahar, “Formal Analysis of Electromagnetics Optics”, Proc. SPIE 9193, Novel Optical Systems Design and Optimization XVII, 9193, 2014, pp. 91930A1-91930A14.
  52. A.H. Qureshi, S. Mumtaz, W. Khan, A.A. Ashfaq, Y. Ayaz, and O. Hasan, “Augmenting RRT*-Planner with Local Trees for Motion Planning in Complex Dynamic Environments”, 19th International Conference on Methods and Models in Automation and Robotics (MMAR-2014), Miedzyzdroje, Poland, IEEE Robotics and Automation (RAS), pp. 657-662.
  53.  F.K. Lodhi, S.H. Rafay, O. Hasan and F. Awwad, “Hardware Trojan Detection in Soft Error Tolerant Macro Synchronous Micro Asynchronous (MSMA) Pipeline”, International Midwest Symposium on Circuits and Systems (MWCAS 2014), IEEE Circuit and System Society (CAS), 2014, pp. 659-662.
  54.  W. Gul, S.R. Hasan and O. Hasan, “Yield Aware Inter-logic-layer Communication in 3-D ICs: Some Early Design Stage Recommendations”, International Midwest Symposium on Circuits and Systems (MWCAS 2014), IEEE Circuit and System Society (CAS), 2014, pp 222-225.
  55. F.K. Lodhi, S.R. Rafay, O. Hasan and F. Awwad, “Low Power Soft Error Tolerant Macro Synchronous and Micro Asynchronous Pipeline”, IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2014), Natal, Brazil, 2014, pp: 601-606.
  56.  W. Gul, S.R. Hasan and O. Hasan, “Clock Domain Crossing (CDC) for Inter-logic-layer Communication in 3-D ICs”, 12th IEEE International Northeastern Workshop on Circuits and Systems (NEWCAS-10), Trois-Rivičres, Canada, 2014), pp: 476-479.
  57. S.K. Afshar, O. Hasan and S. Tahar, “Towards the Formal Verification of Optical Interconnects”, 12th IEEE International Northeastern Workshop on Circuits and Systems(NEWCAS-10), Trois-Rivičres, Canada, 2014, pp. 157-160.
  58. S.K. Afshar, O. Hasan and S. Tahar, “Formalization of Complex Vectors in Higher-Order Logic”, Conferences on Intelligent Computer Mathematics (CICM-2014),Springer, LNAI 8543, Coimbra, Portugal, 2014, pp. 123-137.
  59.  W. Ahmed, O. Hasan, S. Tahar and M. S. Hamdi, “Towards the Formal Reliability Analysis of Oil and Gas Pipelines”, Conferences on Intelligent Computer Mathematics (CICM-2014)Springer, LNAI 8543, Coimbra, Portugal, 2014, pp. 30–44.
  60. S. Ahmad, O. Hasan and U. Siddique, “Formal Reasoning about Molecular Pathways”, 23rd IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2014), Parma, Italy, pp: 378-383.
  61. A.H. Qureshi, S. Mumtaz, K. F.Iqbal, Y. Ayaz, F. Ahmad, M.S. Muhammad, O. Hasan, W.Y. Kim and M. Ra,, “Triangular Geometry based Optimal Motion Planning using RRT*-Motion Planner”, 13th International Workshop on Advanced Motion Control (AMC-2014), Kanagawa, Japan, IEEE Industrial Electronics Society (IES), pp. 380-385.
  62. A.H. Qureshi, S. Mumtaz, K. F.Iqbal, A. Badar, Y. Ayaz, F. Ahmad, M.S. Muhammad, O. Hasan, W.Y. Kim and M. Ra, "Adaptive Potential guided directional-RRT*Robotics and Biomimetics (ROBIO-2013), IEEE Robotics and Automation Society, pp.1887-1892.
  63. H. Taqdees and O. Hasan, “Formalization of Laplace Transform Using the Multivariate Calculus Theory of HOL-Light”, Logic for Programming Artificial Intelligence and Reasoning (LPAR 2013), Springer LNCS 8312, Stellenbosch, South Africa, pp. 744 – 758.
  64. G. Helali, O. Hasan and S. Tahar, “Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy”, Brazilian Symposium on Formal Methods (SBMF-2013), Springer LNCS 8195, Brasília, Brazil, pp. 131–146
  65. L. Liu, O. Hasan and S. Tahar, “Formal Analysis of Memory Contention in a Multiprocessor System”, Brazilian Symposium on Formal Methods (SBMF-2013), Springer LNCS 8195, Brasília, Brazil, pp. 195–210.
  66. M. Ismail, O. Hasan, T. Ebi, M. Shafique and J. Henkel, “Formal Verification of Distributed Dynamic Thermal Management”, International Conference on Computer-Aided Design (ICCAD-2013), IEEE/ACM, Austin, Texas, pp. 248-255.
  67. B. Farooq, O. Hasan and S. Iqbal, “Formal Kinematic Analysis of the Two-Link Planar Manipulator”, 15th International Conference on Formal Engineering Methods (ICFEM-2013), Springer LNCS 8144, Queenstown, New Zealand, pp. 348–363.
  68. A. Khurram, H. Ali, A. Tariq and O. Hasan, “Formal Reliability Analysis of Protective Relays in Power Distribution Systems”, 18th International Workshop on. Formal Methods for Industrial Critical Systems (FMICS-2013), Springer LNCS 8187, Madrid, Spain, pp. 169–183.
  69. A. Mashkoor, O. Hasan and B. Wolfgang “Using Probabilistic Analysis for the Certification of Machine Control Systems”, Security and Cognitive Informatics in Homeland Defense (SeCIHD 2013), Springer LNCS 8128, Regensburg, Germany, pp. 305-320.
  70. M. Usman and O.Hasan, “Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements”, Computational Science and Its Applications (ICCSA-13), Part I, LNCS 7971, Springer, pp. 358–371.
  71. L. Liu, O. Hasan, V. Aravantinos and S. Tahar, “Formal Reasoning about Classified Markov Chains in HOL”, Interactive Theorem Proving (ITP-13), LNCS 7998, Springer, France, pp. 295-310.
  72. M. Elleuch, O. Hasan, S. Tahar and M. Abid, “Towards the Formal Performance Analysis of Wireless Sensor Networks”, 22th IEEE International Conference on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE-2013), Hammamet, Tunisia, pp.365-370.
  73. U. Mushtaq, O. Hasan, F. Awwad, “PNOC: Implementation on Verilog for FPGA”, International Conference on Innovations in Information Technology (IIT-2013), Al-AIn, UAE,  pp. 148-151. 
  74. O. Hasan and M. Ahmad, “Formal Analysis of Steady State Errors in Feedback Control Systems using HOL-Light”, Design, Automation and Test in Europe (DATE-2013), March 18-22, Grenoble, France. pp. 1423-1426.
  75. S. H. Taqdees and O. Hasan, “Formal Verification of Continuous Models of Analog Circuits”, Frontiers in Analog CAD (FAC-2013), Berkeley, CA, USA. 
  76. N. Abbasi, O. Hasan, and S. Tahar, “Formal Analysis of Soft Errors using Theorem Proving”, International Symposium on Symbolic Computation in Software Science, EPTCS, 122, pp. 75-84, Gammarth, Tunisia,  2012. 
  77. M. Elleuch, O. Hasan, S. Tahar and M. Abid, “Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection”, International Symposium on Symbolic Computation in Software Science, EPTCS, 122, pp. 1-9 Gammarth, Tunisia,  2012. 
  78. T. Mhamdi, O. Hasan and S. Tahar, “Quantitative Analysis of Information Flow using Theorem Proving”, Formal Engineering Methods (ICFEM-12), LNCS 7635, Springer, 2012, pp. 119-134.
  79. N. Saeed, A. Inam, A. Khan and O. Hasan, “V-HOLT Verifier: An Automatic Formal Verification Tool for Combinational Circuits”, International Mutitopic Conference (INMIC-12), IEEE, 2012. pp 155 - 158.
  80. U. Siddiqui and O. Hasan, “Analysis Techniques for Fractional Order Systems: A Survey”, International Conference of Numerical Analysis and Applied Maths (ICNAAM-12), Vol. 1479, American Institute of Physics, 2012. pp. 2106-2109.
  81. F. K. Lodhi, O. Hasan, S. R. Hasan and F. Awwad "Modified Null Convention Logic Pipeline to Detect Soft Errors in Both Null and Data Phase” International Midwest Symposium on Circuits and Systems (MWCAS 2012), IEEE Circuit and System Society (CAS), 2012, pp. 402-405.
  82. F. Islam, J. Nasir, U. Malik, Y. Ayaz and O. Hasan, “RRT*-Smart: Rapid Convergence Implementation of RRT* Towards Optimal Solution”, International Conference on Mechatronics and Robotics (ICMA 2012), IEEE Robotics and Automation Society (RAS), 2012, pp. 1651 - 1656.  
  83. A. Mashkoor and O. Hasan, “Formal Probabilistic Analysis of Cyber-Physical Transportation Systems”, International Conference on Computational Science and Its Applications (ICCSA 2012), Part III, LNCS 7335, Springer, 2012, pp. 419–434.
  84. G. Helali, S. Tahar and O. Hasan, “Formal Verification of the Heavy Hitter Problem”, Canadian Conference on Electrical and Computer Engineering (CCECE12), IEEE, 2012, Montreal, Canada.
  85. U. Siddiqui and O. Hasan, “Formal Analysis of Fractional Order Systems in HOL”, Formal Methods in Computer Aided Design (FMCAD-11), IEEE, 2011. pp. 163- 170.
  86. L. Liu, O. Hasan and S. Tahar, “Formalization of Finite-state Discrete-Time Markov Chains in HOL”, Automated Technology for Verification and Analysis (ATVA-11), LNCS 6996, Springer, 2011, pp. 90-104.
  87. M. Elleuch, O. Hasan, S. Tahar and M. Abid, “Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks”, Formal Engineering Methods (ICFEM-11), LNCS 6991, Springer, 2011, pp. 388-403.
  88. F. Lodhi, N. Sharif, N. Ramzan, O. Hasan and S.R. Hasan. “Quantitative Analysis of State-of-the-Art Synchronizers: Clock Domain Crossing Perspective”, International Conference on Emerging Technologies (ICET-11), IEEE, 2011, pp. 1-6. 
  89.  T. Mhamdi,O. Hasan and S. Tahar, Formalization of Entropy Measures in HOL , In: M.. Kauffman and L. Paulson (Eds.) Interactive Theorem Proving, Lecture Notes in Computer Science 6898, Springer Verlag, 2011, pp. 233-248. [Proc. International Conference on Interactive Theorem Proving(ITP-11), Berg en Dal, The Netherlands , August2011.]
  90. T. Mhamdi,O. Hasan and S. Tahar, On the Formalization of the Lebesgue Integration Theory in HOL, In: M.. Kauffman and L. Paulson (Eds.) Interactive Theorem Proving, Lecture Notes in Computer Science 6172 , Springer Verlag, 2010, pp. 387-402. [Proc. International Conference on Interactive Theorem Proving(ITP-10), Edinburgh, UK, July 2010.]
  91. N. Abbasi,O. Hasan, and S. Tahar, Formal Lifetime Reliability Analysis Using Continuous Random Variables; In: A. Dawar and R. de Queiroz (Eds.),Logic, Language, Information and Computation, Lecture Notes in Computer Science 6188 , Springer Verlag, 2010, pp. 84-97. [Proc. International Workshop on  Logic, Language, Information and Computation (WOLLIC-2010), Brasília, Brazil , July 2010.]
  92. O. Hasan,J. Patel, and S. Tahar, On the Accurate Reliability Analysis of Combinational Circuits Using Theorem ProvingIEEE International Northeastern Workshop on Circuits and Systems (NEWCAS-10), Montreal, Canada, June 2010. pp 273 - 276.
  93. F. Hijaz, N. Afzal, T. Ahmad and O. Hasan, Survey of Fall Detection and Daily Activity Monitoring TechniquesIEEE International Conference on Information and Emerging Technologies  (ICIET-10), Karachi, Pakistan, June 2010, pp 1-6.
  94. F. Lodhi, N. Ramzan and O. Hasan, Towards Precise, Scalable and Automatic Analysis of Analog and Mixed Signal Circuits , IEEE International Conference on Information and Emerging Technologies  (ICIET-10), Karachi, Pakistan, June 2010, pp 1-6,
  95. J.B. Hassan, O. Hasan, T. Sadani and S. Tahar: Performance Analysis of Real-Time Rewriting Models, ACS/IEEE International Conference on Computer Systems and Applications (AICCSA-10), Hammamet, Tunisia, May 2010, pp 1-8.
  96. O. Hasan and S. Tahar: Formal Probabilistic Analysis: A Higher-OrderLogic Based Approach; In: M. Frappier et al. (Ed.), ASM, Alloy, B and Z, Lecture Notes in Computer Science 5977 , Springer Verlag, 2010, pp. 2-19. [Proc. International Conference on ASM, Alloy, B and Z (ABZ-2010), Orford, Québec, Canada, February 2010.]
  97. O. Hasan, N. Abbasi, B. Akbarpour, S. Tahar, and R. Akbarpour: Formal Reasoning about Expectation Properties for Continuous Random Variables; In: A. Cavalcanti and D. Dams (Eds.), Formal Methods, Lecture Notes in Computer Science 5850, Springer Verlag, 2009, pp. 435-450. [Proc. International Symposium on Formal Methods (FM'09), Eindhoven, The Netherlands, November 2009.]
  98. O. Hasan, S.K. Afshar and S. Tahar: Formal Analysis of Optical Waveguides in HOL ; In: S. Berghofer et al.  (Eds.), Theorem Proving in Higher-Order Logics, Lecture Notes in Computer Science 5674, Springer Verlag, 2009, pp. 228-243. [Proc. International Conference on Theorem Proving in Higher-Order Logics (TPHOLs'09), Munich, Germany, August 2009.]
  99. O. Hasan, N. Abbasi and S. TaharFormal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays; In: M. Leuschel and H. Wehrheim (Eds.),  Integrated Formal Methods, Lecture Notes in Computer Science 5423, Springer Verlag, 2009, pp. 277-291.  [Proc. International Conference on Integrated Formal Methods (IFM'09), Düsseldorf, Germany, February 2009.]
  100. O. Hasan and S. Tahar: Performance Analysis of Wireless Systems using Theorem Proving; In: Jens Chr. Godskesen and Massimo Merro (Eds.), First International Workshop on Formal Methods for Wireless Systems (FMWS'2008), Toronto, ON, Canada, August 2008, pp. 3-18, ISSN 1600-6100, ISBN 978-87-7949-183-0.
  101. O. Hasan. Probabilistic Analysis using Theorem Proving; In: O. Ait Mohammed, C. Munoz and S. Tahar (Eds.) International Conference on Theorem Proving in Higher-Order Logics (TPHOLs'08), Emerging Trend Proceedings, Montreal, QC, Canada, August 2008, pp. 21-33.
  102. O. Hasan and S. Tahar: Performance Analysis of ARQ Protocols using a Theorem Prover; In IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS'08), IEEE Computer Society, Austin, Texas, USA,  April 2008, pp. 85-94.
  103. O. Hasan and S. Tahar: Verification of Tail Distribution Bounds in a Theorem Prover; In: T.E.Simos, G. Psihoyios and Ch. Tsitouras (Eds.), Numerical Analysis and Applied Mathematics, AIP Conference Proceedings Volume 936, 2007, pp. 259-262. [Proc. International Conference of Numerical Analysis and Applied Mathematics(ICNAAM`07), Corfu, Greece, September 2007.]
  104. O. Hasan and S. Tahar: Verification of Expectation Properties for Discrete Random Variables in HOL; In: K.Schneider and J.Brandt (Eds.), Theorem Proving in Higher-Order Logics, Lecture Notes in Computer Science 4732, Springer Verlag, 2007, pp. 119-134. [Proc. International Conference on Theorem Proving in Higher-Order Logics (TPHOLs'07), Kaiserslautern, Germany, September 2007.]
  105. O.Hasan and S. Kort. Automated Formal Synthesis of Wallace Tree Multipliers. In 50th IEEE Int'l Midwest Symposium on Circuits & Systems, pages 293 – 296. Montreal, Canada, August 2007.
  106. O. Hasan and S. Tahar: Formalization of Continuous Probability Distributions; In: F. Pfenning (Ed.), Automated Deduction, Lecture Notes in Computer Science 4603, Springer Verlag, 2007, pp. 2-18. [Proc. 21st Conference on Automated Deduction (CADE-21), Bremen, Germany, July 2007.]
  107. O. Hasan and S. Tahar: Verification of Probabilistic Properties in the HOL Theorem Prover; In: J. Davies and J. Gibbons (Eds.), Integrated Formal Methods, Lecture Notes in Computer Science 4591, Springer Verlag, 2007, pp. 333-352. [Proc. International Conference on Integrated Formal Methods (IFM'07), Oxford, UK, July 2007.]

PhD Thesis

  1. O. Hasan. Formal Probabilistic Analysis using Theorem Proving. Concordia University, Montreal, Canada. April 2008.


 

  
 

Last Updated: July 10, 2017