Professor Dr. Osman Hasan, PhD (ECE)

Pro-Rector (Academics)

National University of Sciences & Technology (NUST),
Sector H-12, Islamabad 44000,
Pakistan

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

Publications

Books

  1. A. Ahmed, O. Hasan, F. Awwad, and N. Bastaki, “Formal Analysis of Future Energy Systems UsingInteractive Theorem Proving”, Springer, 2022, (Print ISBN: 978-3-030-78408-9, Electronic ISBN: 978-3-030-78409-6)
  2. O. Hasan and F. Mallet (Eds): 7th International Workshop on FormalTechniques for Safety-Critical Systems (FTSCS 2019), Shenzhen, China, November 9, 2019, Vol 1165 of CCIS, Springer, ISBN: 978-3-030-46901-6
  3. O. Hasan, A. Youssef, A. Naumowicz, W. Farmer, C. Kaliszyk, D. Gallois-Wong, F. Rabe, G. D. Reis, G. Passmore, J. Davenport, M. Pfeiffer, M. Kohlhase, S. Autexier, S. Tahar, T. Koprucki, U. Siddique, W. Neuper, W. Windsteiger, W. Schreiner, W. Sperber, Z. Kovacs (Eds.): Intelligent Computer Arithmetic Volume 2307 of CEUR Workshop Proceedings, 2018, ISSN: 1613-0073.
  4. H. Geuvers, M. England, O. Hasan, F. Rabe, and O. Teschke (Eds.): Intelligent Computer Mathematics, Volume 10383 of Lecture Notes in Artificial Intelligence (LNAI), Springer-Verlag, 2017, ISBN: 978-3-319-62075-6.
  5. O. Hasan and S.Tahar, “Formalized Probability Theory and Applications using Theorem Proving”, IGI Global, 2015, ISBN13: 9781466683150, ISBN10: 1466683155.

Book Chapters

  1. A. Rashid, O. Hasan and I. T. Bhatti, “Formal Verification of Robotic Cell Injection Systems, In: Ahmad Taher Azar (Ed.), Control Systems Design of Bio-Robotics and Bio-mechatronic with advanced applications, Elsevier, Chapter 5, pp. 143-170, 2019.
  2. M. Shafique, O. Hasan, R. Hafiz, S. Mazahir, M. A. Hanif and S. Rehman, “Approximate Computing across the Hardware and Software Stacks”, Many Core Computing: Hardware and Software, , IET, Chapter 20, ISSBN 9781785615825, 2019.
  3. A. Rashid and O. Hasan, “Formal Verification of ZigBee-based Routing Protocol for Smart Grids, In: Mehdi Khosrow-Pour (Eds.), Encyclopedia of Organizational Knowledge, Administration, and Technologies, IGI Global Pub, Accepted in 2018.
  4. S. Mazahir, M. K. Ayub, O. Hasan and M. Shafique, “Probabilistic Error Analysis of Approximate Adders and Multipliers”, Approximate Circuits: Circuits and Methodologies, Springer, pp. 99-120,  ISSBN 978-3-319-99322-5, 2018.
  5. W. Ahmad, O. Hasan and S. Tahar, “Formal Reliability Analysis of Railway Systems using Theorem Proving Technique”, Handbook of RAMS in Railways: Theory and Practice, Taylor and Francis, pp. 651-668, ISBN 9781138035126, 2018.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10.  S. Nisar and O. Hasan , “Telesurgical Robotics”, In: Mehdi Khosrow-Pour (Eds.), Encyclopedia of Information Science and Technology, IGI Global Pub, ISBN13: 9781466658882, 2015.
  11. 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.
  12. 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.
  13. 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.
  14. 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. Nawaz, S. Jabeen and O. Hasan, Formal Verification of Deep Brain Stimulation Controllers for Parkinson’s Disease Treatment Neural Computation, Neural Computation, MIT Press, Accepted in September 2022.
  2. S.A. Murtaza, W. Ahmed, A. Rashid, and O. Hasan, Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving”Journal of Risk and Reliability, SAGE Journals, Accepted in January 2022.
  3. A. RashidS. Abed and O. Hasan, Formal Analysis of 2D Image Processing Filters using Higher-order-logic Theorem ProvingEURASIP Journal on Advances in Signal Processing, 53, 2022.
  4. K. Shaheen M. A. Hanif, O. Hasan and M.. Shafique, "Continual Learning for Real-World Autonomous Systems: Algorithms, Challenges and Frameworks"Journal of Intelligent & Robotic Systems, Springer, 105(9) 2022.
  5. UQasim, A. Rashid, and O. Hasan, Formalization of Bond Graph using Higher-order-logic Theorem ProvingISA Transactions, Elsevier, 128(B):453-469, 2022.
  6. S. Ali, M. Ponum, O. Hasan, M. T. Mahmood, M. Iftikhar, and M. H. Malik, Chronic Kidney Disease Diagnosis using Decision Tree AlgorithmsBMC Nephrology, Springer Nature, 22(273), 2021.
  7. M. F. Minhas, O. Hasan, and S. Abed “HVoC: A Hybrid Model Checking - Interactive Theorem Proving Approach for Functional Verification of Digital CircuitsJournal of Electronic Testing:  Theory and Applications, Springer, 37(4):1-6, 2021.
  8. F. KhalidI. H. AbbassiO. Hasan, and M. Shafique, “ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits”, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems41(4): 1167-1180, 2021.
  9. B. S.. Prabakaran, A. Akhtar, S. Rehman, O. Hasan and M. Shafique, “BioNetExplorer: Architecture-Space Exploration of Bio-Signal Processing Deep Neural Networks for Wearables,” IEEE Internet of Things (IoT) Journal8(17):13251-132652021.
  10. M. S. Nawaz, M. Z. Nawaz, O. Hasan, P. Fournier-Viger, M. Sun,  “An Evolutionary/Heuristic-Based Proof Searching Framework for Interactive Theorem ProverApplied Soft Computing, Elsevier, 104(107200), 2021.
  11. A. Gauhar, A. Rashid, O. Hasan, J. Bispo, and J.M.P. Cardoso, Formal verification of Matrix based MATLAB models using interactive theorem provingPeerJ Computer Science, 7:e440, 2021.
  12. M. Masadeh, Y. Elderhalli, O. Hasan and S. Tahar, “A Quality-Assured Approximate Hardware Accelerators Based on Machine Learning and Dynamic Partial ReconfigurationJournal on Emerging Technologies in Computing Systems, 17(4):57:1-19, 2021.
  13. M. Masadeh, O. Hasan and S. Tahar, “Machine Learning-Based Self-Tunable Design of Approximate ComputingIEEE Transaction on Very Large Scale Integration Systems, 29(4):800-813, 2021.
  14. A. Boucherit, L. M. Castro, O. Hasan  and A. Khababa, “Towards a Hybrid Formal Analysis Technique for Safety-critical Software Architectures”, International Journal of Critical Computer-Based Systems, InderScience, 10(2):95-119, 2021.
  15. A. Rashid and O. Hasan, “Formal Analysis of the Continuous Dynamics of Cyber-physical Systems using Theorem Proving”, Journal of System Architecture, Elsevier, 112 (101850), 2021.
  16. M. S. Nawaz, M. Z. Nawaz, O. Hasan, P. Fournier-Viger, M. Sun,  “Proof Searching and Prediction in HOL4 with Evolutionary/Heuristic and Deep Learning Techniques”, Applied Intelligence (APIN), Springer, 104:107200, 2020.
  17. S. Abed, A. Rashid and O. Hasan, “Formal Reasoning about Synthetic Biology using Higher-order-logic Theorem Proving”, IET Systems Biology, 14(5):271-283,  2020.
  18. M. Ponum, S. Khan, O. Hasan, M. T. Mahmood, A. Abbas, M. Iftikhar,  R. Arshad, “Stunting Diagnostic and Awareness: Impact assessment study of sociodemographic factors of stunting among school-going children of Pakistan”, BMC Pediatrics, 20:232, 2020.
  19. M. Ponum, O. Hasan and S. Khan, “How childhood diseases awareness contributes to minimize the risk of disease severity in children under five age: an evolutionary study”, Journal of Pakist file ICM202 an Medical Association, 70(12):2210-2214, 2020.
  20. M. K. Ayub, O.Hasan, M. A. Hanif and M.Shafique, “PEAL: Probabilistic Error Analysis Methodology for Low Power Approximate Adders”, Journal on Emerging Technologies in Computing Systems, ACM, 17(1): 1:1-1:37, 2020.
  21. M. Naseer, W. Ahmed and O. Hasan, “Formal Verification of ECCs for Memories using ACL2”, Journal of Electronic Testing:  Theory and Applications, Springer, 36(5):643-663, 2020.
  22. F. Khalid, S. R. Hasan, S. Zia, O. Hasan, F. Awwad and M. Shafique, “MacLeR: Machine Learning-based Run-Time Hardware Trojan Detection in Microprocessors in Resource-Constrained IoT Edge Devices”, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(11):3748-3761, 2020.
  23. A. Rashid and O. Hasan, “Formal Verification of Robotic Cell Injection Systems upto 4-DOF using HOL Light”Formal Aspects of Computing, Springer, 32(2), 229-250,2020. 
  24. F. Khalid, S.R. Hasan, O. Hasan and M. Shafique, “SIMCom: Statistical Sniffing of Inter-Module Communications for Runtime Hardware Trojan Detection”Microprocessors and Microsystems, Elsevier, 77:103122, 2020.
  25. S. Nisar, N. Kamal, A. Hameed, and O. Hasan, “Design and Realization of A Robotic Manipulator for Minimally Invasive Surgery with Replaceable Surgical Tools”, IEEE/ASME Transactions on Mechatronics (TMECH), 25(6):2754-2764 2020.
  26. S. Iqbal, O. HasanR. Hafiz, and Z. A. Khan, “LPQ-SAM: A Low Power Quality Scalable Approximate Multiplier”Journal of Circuits, Systems, and Computers (JCSC), Accepted in April 2020. 
  27. S. Abed, A. Rashid, and O. Hasan, “Formal Analysis of Unmanned Aerial Vehicles using Higher-order-logic Theorem Proving”Journal of Aerospace Information Systems, Aerospace Research Central, 17(9):481-495, 2020.
  28. W. Ahmed, O. Hasan, F. Awwad, N. Bastaki, S. H. Rafay, “Formal Reliability Analysis of an Integrated Power Generation System using Theorem Proving”Systems Journal, IEEE, 14(4):4820-4831, 2020.
  29. A. Boucherit, L. M. Castro, A. Khababa, O. Hasan, “Petri net and Rewriting Logic based Formal Analysis of Multi-Agent Based Safety-Critical System”Multiagent and Grid Systems, IOS Press, 16(1):47-66, 2020. 
  30. W. Ahmed, O. Hasan and S. Tahar, “Formal Reliability and Failure Analysis of Substation Communication Networks”Formal Aspects of Computing, Springer, 32(11):71-111, 2020. 
  31. A. Ahmed, O. Hasan, F. Awwad and N. Bastaki, “Formalization of Cost andUtility in Micreconomics”Energies, MDPI, 13(3):712, 2020.
  32. A. Rashid, M. Umair, O. Hasan and M. Zaki, “Towardsthe formalization of Macroscopic models of traffic flow using Higher-order-logicTheorem Proving”IEEE Access, 8(1):27291-27307, 2020.
  33. M. Masadeh, O. Hasan and S. Tahar, “Input-Conscious Approximate Multiply-Accumulate (MAC)Unit for Energy-Efficiency” IEEE Access, 7:147129 – 147142, 2019.
  34. Y. Elderhalli, O. Hasan, and S. Tahar, “A Methodology for the Formal Verification of DynamicFault Trees using HOL Theorem Proving” IEEE Access, 7:136176-136192, 2019.
  35. S. Iqbal, S. Farooq, K. Shahzad, A.W. Malik, M. H. Hamayun and O. Hasan, “SecureSurgiNET: A Framework for Ensuring Securityin Telesurgery”, International Journal of Distributed Sensor Networks, 15(9):1-12 2019.
  36. S.A.A. Bukhari, F. K. Lodhi, O. Hasan, M.Shafique and J.Henkel, “Towards Model Checking-Driven Fair Comparison of Dynamic ThermalManagement Techniques under Multi-Threaded Workloads”, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(8):1725-1738, 2020.
  37. Y. Elderhalli, O. Hasan, W. Ahmad, and S. Tahar, “Probabilistic Analysis of Dynamic FaultTrees using HOL Theorem Proving”, Journal of Applied Logic, IfCoLog Journal of Logics and their Applications, 6(3):469-512, 2019.
  38. A. Ahmed, O. Hasan, and A. Hasan, “Formal Periodic Steady-State Analysis of Power Converters in Time-Domain”Journal of Applied Logic, IfCoLog Journal of Logics and their Applications, 6(7):1263-1284, 2019.
  39. M. Ponum, O. Hasan and S. Khan, “EaSyDetectDisease: An Android App for the Early SymptomDetection and Prevention of Childhood Infectious Diseases”, Interactive Journal of Medical Research, JMIR, 8(2), 2019.
  40. A. Rashid and O. Hasan, “Wearable Technologies for Hand Joints Monitoring for Rehabilitation:A Survey”, Microelectronics, Elsevier, 88:173-183, 2019.
  41. I. Abbasi, F. K. Lodhi, O. Hasan and A. Kamboh, “Using gate-level side channel parameters for formally analyzing vulnerabilities in integrated circuits” Science of Computer Programming, Elsevier, 171:42-66, 2019.
  42. S. Mazahir, O. Hasan and M. Shafique, “Self-Compensating Accelerators for EfficientApproximate Computing”, Microelectronics, Elsevier, 88:9-17, 2019.
  43.  A. Ahmed, O. Hasan, F. Awwad, N. Bastaki, S. R. Hasan “Formal Asymptotic Analysis ofOnline scheduling Algorithms for Plug-in Electric Vehicles’ Charging”, Energies, MDPI, 12(1):1-19, 2019.
  44.  A. Qureshi and O. Hasan, “Formal Probabilistic Analysis of Low Latency Approximate Adders”, Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 38(1):1-12. 2019.
  45.  A. Ihsan, O. Hasan, K. Saghar and T. Fatima, “Formal Comparison of LEACH and itsExtensions”, Computer Standards and Interfaces, Elsevier, 62:119-127, 2019.
  46.  M. Elleuch, O. Hasan, S. Tahar and M. Abid, “Formal Probabilistic Performance Verification of Randomly-ScheduledWireless Sensor Networks”, International Journal of Critical Computer-Based Systems, InderScience, 8(3-4):311-339, 2018.
  47.  S. Iqbal, M. U. Sardar, F. Khalid, and O. Hasan, “Statistical Model Checking of Relief Supply Location and Distribution inNatural Disaster Management”, International Journal of Disaster Risk Reduction, Elsevier, 31:1043-1053, 2018.
  48. A. Rashid and O. Hasan, “Formalization of Lerch’s Theorem using HOL Light”, Journal of Applied Logic, IfCoLog Journal of Logics and their Applications, 5(8):1623-1652, 2018.
  49. A. Rashid and O. Hasan, “Formal Analysis of Continuous-time Systems using Fourier Transform”, Symbolic Computation in Software Science, Elsevier, 90:65-88, 2019.
  50. A. Boucherit, L. M. Castro, A. Khababa, O. Hasan, “Towards the Formal Development of Software Based Systems: Access Control System as a Case Study”, Information Technology and Control, KTU, 47(3): 393-405, 2018.
  51. S. Mazahir, O. Hasan, and M. Shafique, “Adaptive Approximate Computing in Datapaths”, Design and Test, IEEE, 35(4):65-74, 2018.
  52. I. H. Abbassi, F. Khalid, O. Hasan, A. M. Kamboh, and M. Shafique, “McSeVIC : A Model Checking Based Framework for Security Vulnerability Analysis of Integrated Circuits”, IEEE Access, 6(1):32240-32257, 2018.
  53. M. S. Ayub and O. Hasan, “Formal Probabilistic Analysis of a Surgical Robot’s Control Algorithm with Different Virtual Fixtures”, Innovations in Systems and Software Engineering, Springer, 14(2):83-100, 2018.
  54. S. A. Naseem, R. Uddin, O. Hasan, and D. E. Fawzy, “Probabilistic Formal Verification of Communication Network-based Fault Detection, Isolation and Service Restoration System in Smart Grid”, Journal of Applied Logic, IfCoLog Journal of Logics and their Applications, 5(1): 319-366, 2018.
  55. A. Gawanmeh, U. Pervez, and O. Hasan, “Probabilistic Analysis of Electrocardiogram (ECG) Heart Signal”, Computer System Science and Engineering, CRL, 33(1), 2018.
  56. 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, 232(3):320-334, 2018.
  57. F. Khalid, S.R. Hasan, O. Hasan and F. Awwad “Runtime Hardware Trojan Monitors Through Modeling Burst Mode Communication Using Formal Verification”, Integration, the VLSI Journal, Elsevier, 61:62-76, 2018.
  58. M. Ali and O. Hasan, “SAT Based Fitness Scoring for Digital Circuit Evolution”, Journal of Circuits, Systems, and Computers (JCSC), 27(6):1850099-1-23, 2018.
  59. 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, 37(2):512-516, 2018.
  60. 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, 60(1):85-105, 2018.
  61. 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.
  62. S. Mazahir, O. Hasan, R. Hafiz and M. Shafique, “Probabilistic Error Analysis of Approximate Recursive Multipliers”, Transactions on Computers, IEEE, 66(3):515-530, 2017.
  63. S. H. Taqdees and O. Hasan, “Formally Verifying Transfer Functions of Linear Analog Circuits”, Design and Test, IEEE, 34(5):30-37, 2017.
  64. O. Hasan and S. Iqbal, “A Framework for Laparoscopic Simulations”, Journal of Pakistan Medical Association, 67(9):1404-1409, 2017.
  65. 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.
  66. 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, 13(3):DOI: 10.1002/rcs.1771, 2017.
  67. 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 Security 10.1186/s13635-016-0040-5, 2017.
  68. S. Mazahir, O. Hasan, R. Hafiz, M. Shafique, J. Henkel, “Probabilistic Error Modeling for Approximate Adders”, Transactions on Computers, IEEE, 66(3):515-530, 2017.
  69. 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.
  70. 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.
  71. 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.
  72. 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.
  73. 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.
  74. 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.
  75. 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. 
  76. 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.
  77. 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.
  78. 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. 
  79. J. Qadir and O. Hasan, “Applying Formal Methods to Networking: Theory, Techniques and Applications”, Communications Surveys and Tutorials, IEEE,  17(1): 256-291, 2015.
  80. 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.
  81. 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.
  82. 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.
  83. U. Siddiqui and O. Hasan, “On the Formalization of Gamma Function in HOL”, Journal of Automated Reasoning, Springer, 53(4):407-429, 2014. 
  84. 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.
  85. O. Hasan and S. A. Khayam, “Towards Formal Linear Cryptanalysis using HOL4”, Journal of Universal Computer Science, 20(2): 193-212 2014. 
  86.  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. 
  87. 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.
  88. 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.
  89. 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.
  90. 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.
  91. 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.
  92. 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.
  93. 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.
  94. 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.
  95. 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.
  96. 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. 
  97. 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.
  98. 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.
  99. 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. E. Deniz, A. Rashid, O. Hasan and S. Tahar, “On the Formalization of the Heat Conduction Problem in HOL”Conferences on Intelligent Computer Mathematics (CICM-2022), Springer, LNAI 13467Tbilisi, Georgia, pp. 21-37.
  2. S. Iqbal and O. Hasan, S. R. Hasan, “Formal Verification of Fault Isolation and Restoration Algorithms in Smart Grid”International Conference on Clean and Green Energy Engineering (CGEE 2022) IEEE, Istanbul, Turkey, pp. To Appear.
  3. S. Khan, W. Ahmad, and O. Hasan, “A Hybrid Model Checking and Theorem Proving based Approach for Fault Tree Analysis”International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD 2022), IEEE, Sardina, Italy, pp. 1-4.
  4. S. Nawaz, M.Z. Nawaz, O. Hasan, and P. Fournier-Viger, Metaheuristic Algorithms for Proof Searching in HOL4, 34th International Conference on Software Engineering & Knowledge Engineering (SEKE-2022), Pittsburgh, USA, pp. 376-381. (Rank B, CORE)
  5. M. H. Manzoor and O. Hasan, "A Comparative Study on the Characteristics of Mobile Applications for the Restaurant Industry," 2021 International Conference on Computer Science and Engineering (IC2SE-2021), Padang, Indonesia, pp. 1-5.
  6. S. Ashraf, I. Evkay, O. HasanU. S. Selamogullari and M. Baysal, “Formal Verification of Single Dual Setting Overcurrent Directional Relay Based Line Protection Logic for Smart Grids”IEEE PES Global Power, Energy and Communication Conference (GPECOM-2021),  Antalya, Turkey,  pp. 227-232.
  7. M. H. Khan, O. Hasan and S. Khan, “Accelerating SpMV Multiplication in Probabilistic Model Checkers using GPUs”International Colloquium on Theoretical Aspects of Computing (ICTAC 2021), Springer, Nur-Sultan, Kazakhstan, pp. 86-104.
  8. A. Boucherit, K. Barkaoui and O. Hasan, “An Enhanced Rewriting Logic Based Semantics for High Level Petri nets”International Workshop on Petri Nets and Software Engineering (PNSE 2021), Paris, France, pp. 155-174.
  9. Y. ElderhalliN. Elaraby, O. Hasan, A. Jantsch and S. Tahar, Dynamic Fault Tree Models for FPGA Fault Tolerance and Reliability”IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2021)Tampa, Florida, USA, pp. 194-197.
  10. M. Masadeh, A. Aoun, O. Hasan and S. Tahar, “Highly-Reliable Approximate Quadruple Modular Redundancy with Approximation-Aware Voting”, 32nd  International Conference on Microelectronics (ICM 2020), Jordan, IEEE,pp. 1-4.
  11. M. Masadeh, A. Aoun, O. Hasan and S. Tahar, “Decision Tree-based Adaptive Approximate Accelerators for Enhanced Quality”, IEEE International Systems Conference (SysCon-2020), IEEE, Montreal, Canada, pp. 1-5.
  12. A. Hanif, R. Hafiz, O. Hasan and M. Shafique, “PEMACx: A Probabilistic Error Analysis Methodology for Adders with Cascaded Approximate Units”Design Automation Conference (DAC-2020), San Francisco, CA, USA, pp. 1-6.
  13.  I.T. Bhatti and O. Hasan, “Formal Verification of a Fully Automated Out-of-Plane Cell Injection System”International Symposium on Quality Electronic Design (ISQED-2020), IEEE, Santa Clara, CA, USA, pp. 111-116
  14. M. S. Saeed, U. Sardar, M. Akmal, H. Shafi, O. Hasan, H. Khdr and J. Henkel, “Comparative Framework for the Analysis of Thermal and Resource Management Algorithms for Multi-Core Architectures”International Symposium on Quality Electronic Design (ISQED-2020), IEEE, Santa Clara, CA, USA, pp. 421-425.
  15. A. Rashid, A. Gauhar and O. Hasan, “FASiM: A Framework for Automatic Formal Analysis of Simulink Models of Linear Analog Circuits” IEEE International Systems Conference (SysCon-2020), IEEE, Montreal, Canada, pp. 1-7.
  16. M. Masadeh, O. Hasan and S. Tahar, “Machine Learning-Based Self-Compensating Approximate Computing”IEEE International Systems Conference (SysCon-2020), IEEE, Montreal, Canada, pp. 1-6. 
  17. M. Naseer, M. F. Minhas, F. Khalid, M. A. Hanif, O. Hasan and M.Shafique, “FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks”Design, Automation and Test in Europe (DATE-2020), Grenoble, France, IEEE, pp. 666-669. 
  18. S. Abed, A. Rashid and O. Hasan, “Formal Analysis of the Biological Circuits using Higher-order-logic Theorem Proving”35th Symposium on Applied Computing (SAC-2020), Brno, Czech Republic, ACM/SIGAPP, pp. 3-7.
  19. M.Z. Nawaz, O. Hasan, M.S. Nawaz, P. Fournier-Viger and M. Sun, “Proof Searching in HOL4 with Genetic Algorithm”35th Symposium on Applied Computing (SAC-2020), Brno, Czech Republic, ACM/SIGAPP, pp. 513-520.
  20. Y. Elderhalli, O. Hasan, and S. Tahar, “A Formally Verified Algebraic Approach for Dynamic Reliability BlockDiagrams”, International Conference on Formal Engineering Methods (ICFEM-2019), Springer LNCS 11852, Shenzhen, China, pp. 253-269. 
  21. Y. Elderhalli, M. Volk, O. Hasan, J. Katoen, W. Ahmed and S. Tahar, “Formal Verification of Rewriting Rulesof Rewriting Rules for Dynamic Fault Trees”, Software Engineering Methods (SEFM-2019), Springer LNCS 11724, Oslo, Norway, pp. 513-531. 
  22. W. Ahmad, S. Murtaza, O. Hasan and S. Tahar, “On the Formalization of Importance Measures using HOL Theorem Proving”, Formal Method in Software Engineering (FormaliSE-2019), IEEE/ACM, Montreal, Canada, pp. 109-118, 2019. 
  23. R. Amir, O. Hasan, A. Hasan, “Approximate Sphere Decoding Based Model Predictive Control of Cascaded H-Bridge Inverters”, IEEE 13th International Conference on Compatibility, Power Electronics and Power Engineering (CPE-POWERENG-2019), Sønderborg, Denmark, 2019, pp. 1-6, 2019.
  24. A. Hameed and O. Hasan, “Electronic Controller Design of a Semi-Automatic Cell Injection System”IEEE International Systems Conference (SysCon-2019), IEEE, Orlando, GL, USA, pp. 1-6, 2019.
  25. R. H. Javed, A. Siddique, R. Hafiz, O. Hasan and M.Shafique “ApproxCT: Approximate Clustering Techniques for Energy Efficient Computer Vision in Cyber-Physical Systems”,  Open Source Systems and Technologies, (ICOSST-2018), Lahore, Pakistan, IEEE,pp. 64-70.
  26. M. Masadeh, O. Hasan and S. Tahar, “Using Machine Learning for Quality Configurable Approximate Computing”, Design, Automation and Test in Europe (DATE-2019), Florence, Italy, IEEE,pp. 1575-1578.
  27. N. Iqbal, O. Hasan, U. Siddique and F. Awwad, “Formalization of Asymptotic Notations in HOL4”, International Conference on Computer and Communication Systems (ICCCS-2019), IEEE, Singapore, pp. 383-387.
  28. R. Hafeez, Z. Amjad and O. Hasan, “A Generic Virtual Reality Training Simulator for Intracytoplasmic Sperm Injection”, International Conference on Computer and Communication Systems (ICCCS-2019), IEEE, Singapore, pp. 400-403.
  29. M. Masadeh, O. Hasan and S. Tahar, “Approximate-Conscious IC Testing”, 30th International Conference on Microelectronics (ICM-2018), Sousse, Tunisia, IEEE, pp. 56-59
  30. A. Ahmed, O. Hasan and F. Awwad, “Formal Stability Analysis of Control Systems”, Formal Techniques for Safety-Critical Systems (FTSCS-2018), Springer, CCIS, Melbourne, Australia, pp. 56-59
  31. Q. U. Ain and O. Hasan, “Formal Timing Analysis of Digital Circuits”, Formal Techniques for Safety-Critical Systems (FTSCS-2018), Springer, CCIS, Melbourne, Australia, pp. 84-100.
  32. Q. U. Ain, O. Hasan and K. Saghar, “Automatic Formal Verification of Digital Components of IoTs Using CBMC”, High-Capacity Optical Networks and Enabling/Emerging Technologies (HONET-2018), Islamabad, Pakistan, pp. 88-91.
  33. S. Shiraz and O. Hasan,  “Formal Verification of n-bit ALU using Theorem Proving" Brazilian Symposium on Formal Methods (SBMF-2018), Springer LNCS 11254, pp. 74-89.
  34. A. Rashid and O. Hasan, “Formal Modeling of Robotic Cell Injection Systems in Higher-order Logic”, Formal Verification of Physical Systems (FVPS-2018), CICM Workshop, Vol 2307 of CEUR Workshop Proceedings Hagenberg, Austria, pp. 1-9.
  35. A. Pasha, H. Ibrahim, S. R. Hasan, R. Belkacemi, F. Awwad and O. Hasan, “A Utility Maximized Demand-Side Management for Autonomous Microgrid”, IEEE Electrical Power and Energy Conference (EPEC-2018), Toronto, ON, Canada, pp 1-5.
  36. A. Rashid and O. Hasan, “Formal Analysis of Robotic Cell Injection Systems using Theorem Proving”, Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy-2017), Springer, LNCS, Springer, LNCS 11267, pp. 127-141.
  37. A. Hameed, N. Kamal, S.B. Qaiser, O. Hasan and N. Jalal, “Electronic Design of a Semi-Automated Micromanipulator Cell Injection System”, 12th International Symposium on Medical Information and Communication Technology (ISMICT-2018), Sydney, Australia, pp. 1-5.
  38. M. Masadeh, O. Hasan and S. Tahar, “Comparative Study of Approximate Multipliers”, ACM Great Lakes Symposium on VLSI (GLSVLSI-2018), ACM, Chicago, IL, USA, pp. 415-418.
  39. A. Rashid, U. Siddique and O. Hasan, “Formal Verification of Platoon Control Strategies”, 16th International Conference on Software Engineering and Formal Methods (SEFM-18), Springer, LNCS 10886, pp. 223-238.
  40. F. Khalid, S.R. Hasan, S. Nanjiani, O. Hasan and M. Shafique “Low Power Digital Clock Multipliers for Battery Operated Internet of Things (IoT) Devices”, Int'l Symposium on Circuits and Systems (ISCAS-2018), Florence, Italy, pp. 1-5.
  41. Y. Elderhalli, O. Hasan, W. Ahmed and S. Tahar, “Formal Dynamic Fault Trees Analysis using an Integration of Theorem Proving and Model Checking”, NASA Formal Methods (NFM-2018), LNCS, Vol. 10811, Springer, Newport News, VA, USA, pp. 139-156, 2018.
  42. S. A. Murtaza, O. Hasan, and K. Saghar, “AAG: An Automatic Assertion Generation Framework for RTL Designs”, International Conference on Computing, Mathematics and Engineering Technologies (iCoMET-2018), IEEE, Sukkur, Pakistan, pp. 1-6.
  43. S. Shah, A. Qahir, M. Safeer, O. Hasan, and S. Mazahir, “COMFAST: A Comparative Framework for Analysis of Scheduling Techniques in Multi-core Systems”, IEEE International Systems Conference (SysCon-2018), IEEE, Vancouver, Canada. pp.1-7. 
  44. N. Kamal, Z. Amjad, A. Hameed and O. Hasan, “A Modular and Generic Virtual Reality Training Framework for Micro-Robotic Cell Injection Systems”, IEEE International Systems Conference (SysCon-2018), IEEE, Vancouver, Canada, pp.1-8.
  45. M. Minhas, O. Hasan and K. Saghar, “Ver2Smv – A Tool for Automatic Verilog to SMV Translation for Verifying Digital Circuits”, 4th International Conference on Engineering & Emerging Technologies (ICEET-2018), IEEE, Lahore, Pakistan, pp. 1-5.
  46. S. Khan, A. Mashkoor, and O. Hasan, “Formal Verification and Safety Assessment of a Hemodialysis Machine”, 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM-2018), Springer, LNCS 10706, Krems an der Donau, Austria, pp. 241-254.
  47. A. Y. Salik, M. U. Sardar, O. Hasan, S. R. Hasan and F. Awwad, “Formal Verification of Demand Response based Home Energy Management Systems in Smart Grids”, 7th Innovative Smart Grid Technologies (ISGT Asia 2017), IEEE, Auckland, New Zealand, pp. 1-6.
  48. G. Helali, S. Tahar, O. Hasan and D. Dunchev, “Formal Analysis of Information Flow in HOL”, Symposium on Dependable Software Engineering Theories, Tools and Applications (SETTA-2017), Springer LNCS 10606, Changsha, China, pp. 283-299.
  49. 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, Springer, LNCS 10383, pp. 319-332.
  50. 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 10466, pp. 1-16, 2017.
  51. 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), pp. 1316-1319, 2017.
  52. 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. 
  53. 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, pp. 42:1-42:6.  
  54. S. K. Ayub, O. Hasan and M. Shafique, “Statistical Error Analysis for Low Power Adders”, Design Automation Conference (DAC-2017), Austin, TX, USA, pp. 75:1-75:6.
  55. 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.
  56. 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.  
  57. 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.
  58. 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. 
  59. 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.
  60. 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.
  61. 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.
  62. 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. 
  63. 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.
  64. 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.
  65. 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. 
  66. 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.
  67. 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. 
  68. 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.
  69. 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.
  70. 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.
  71.  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.
  72. 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.
  73. 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.
  74.  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.
  75. 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. 
  76.  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.
  77. 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.
  78.  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. 
  79.  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. 
  80. 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.
  81.  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.
  82. 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.
  83. 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.
  84. 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.
  85. 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.
  86. 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.
  87. 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.
  88. 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.
  89. 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. 
  90. 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. 
  91. 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.
  92. 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.
  93.  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.
  94. 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. 
  95. 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.
  96.   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
  97.  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. 
  98. 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. 
  99. 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.
  100. 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.
  101.  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.
  102.  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.
  103. 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.
  104.  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.
  105. 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.
  106. 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.
  107.  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.
  108. 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.
  109. 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.
  110. 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.
  111. 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.
  112. 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
  113. 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.
  114. 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.
  115. 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.
  116. 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.
  117. 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.
  118. 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.
  119. 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.
  120. 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.
  121. 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. 
  122. 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.
  123. S. H. Taqdees and O. Hasan, “Formal Verification of Continuous Models of Analog Circuits”, Frontiers in Analog CAD (FAC-2013), Berkeley, CA, USA. 
  124. 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. 
  125. 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. 
  126. 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.
  127. 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.
  128. 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.
  129. 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.
  130. 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.  
  131. 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.
  132. 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.
  133. 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.
  134. 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.
  135. 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.
  136. 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. 
  137.  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.]
  138. 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.]
  139. 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.]
  140. 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.
  141. 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.
  142. 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,
  143. 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.
  144. 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.]
  145. 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.]
  146. 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.]
  147. O. Hasan, N. Abbasi and S. Tahar: Formal 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.]
  148. 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.
  149. 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.
  150. 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.
  151. 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.]
  152. 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.]
  153. 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.
  154. O. Hasan and S. Tas: 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.]
  155. 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.]

Patents

  1. S. Nisar and O.Hasan, “Slip Ring Device with Hollow inner Core”, Application Number 829/2012, Patent Number 142708, IPO, Pakistan.
  2. S.T. Hasan, S. Nisar and O.Hasan, “Mechanical Interface for Virtual Laparoscopic Surgical Simulator”, Filed with IPO, Pakistan, Application Number 773/2012, Patent Pending.
  3. A. Hameed, M. Asad, R. Hafeez, U, Hashmi, O. Hasan, S. Qaiser and N. Jalal, “Micromanipulator Cell Injection System”, Filed with IPO, Pakistan in Dec. 2018.
  4. A. Hameed, M. Asad and O. Hasan, “Automated Pipette Puller System”, Filed with IPO, Pakistan in Dec. 2018.

PhD Thesis

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


 

  
 

Last Updated: October 15, 2022