All Stories

  1. Energy-Efficient Continual Learning in Embedded AI with Timestep Optimization and Compressed Replay

    Article • June 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan, Rachmad Vidya Wicaksana Putra, Mishal Fatima Minhas

  2. QuanDA: GPU Accelerated Quantitative Deep Neural Network Analysis

    Article • ACM Transactions on Design Automation of Electronic Systems, August 2023, ACM (Association for Computing Machinery)

    Dr Osman Hasan

  3. PEAL

    Article • ACM Journal on Emerging Technologies in Computing Systems, January 2021, ACM (Association for Computing Machinery)

    Dr Osman Hasan

  4. Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving

    Article • Journal of Aerospace Information Systems, September 2020, American Institute of Aeronautics and Astronautics (AIAA)

    Professor Sa'ed Abed, Adnan Rashid, Dr Osman Hasan

  5. Formal analysis of the biological circuits using higher-order-logic theorem proving

    Article • March 2020, ACM (Association for Computing Machinery)

    Professor Sa'ed Abed, Dr Osman Hasan

  6. Proof searching in HOL4 with genetic algorithm

    Article • March 2020, ACM (Association for Computing Machinery)

    Prof. Philippe Fournier-Viger, Dr Osman Hasan, M. Saqib Nawaz

  7. SmartSIM - a virtual reality simulator for laparoscopy training using a generic physics engine

    Article • International Journal of Medical Robotics and Computer Assisted Surgery, September 2016, Wiley

    Dr Osman Hasan

  8. An area-efficient consolidated configurable error correction for approximate hardware accelerators

    Article • June 2016, ACM (Association for Computing Machinery)

    Dr Osman Hasan

  9. Formal reliability analysis of protective systems in smart grids

    Article • May 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan

  10. Towards autonomous collision avoidance in surgical robots using image segmentation and genetic algorithms

    Article • May 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan

  11. Formal Dependability Modeling and Analysis: A Survey

    Article • January 2016, Springer Science + Business Media

    Dr Osman Hasan

  12. Formalization of Normal Random Variables in HOL

    Article • January 2016, Springer Science + Business Media

    Dr Osman Hasan

  13. On the Formalization of Fourier Transform in Higher-order Logic

    Article • January 2016, Springer Science + Business Media

    Dr Osman Hasan, Adnan Rashid

  14. Probabilistic Error Modeling for Approximate Adders

    Article • IEEE Transactions on Computers, January 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan

  15. Formal Availability Analysis Using Theorem Proving

    Article • January 2016, Springer Science + Business Media

    Dr Osman Hasan

  16. g-HOL: A Graphical User Interface for the HOL Proof Assistant

    Article • January 2016, Springer Science + Business Media

    Dr Osman Hasan

  17. Formal Probabilistic Analysis of Distributed Resource Management Schemes in On-Chip Systems

    Article • January 2016, Research Publishing Services

    Dr Osman Hasan

  18. Probabilistic Formal Verification of the SATS Concept of Operation

    Article • January 2016, Springer Science + Business Media

    Dr Osman Hasan

  19. Evaluation of anonymity and confidentiality protocols using theorem proving

    Article • Formal Methods in System Design, June 2015, Springer Science + Business Media

    Dr Osman Hasan

  20. Formal modeling and verification of integrated photonic systems

    Article • April 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan

  21. On the Formalization of Zsyntax with Applications in Molecular Biology

    Article • Scalable Computing Practice and Experience, February 2015, Scalable Computing: Practice and Experience

    Dr Osman Hasan

  22. Formalized Probability Theory and Applications Using Theorem Proving

    Article • January 2015, IGI Global

    Dr Osman Hasan

  23. Reliability block diagrams based analysis: A survey

    Article • January 2015, American Institute of Physics

    Dr Osman Hasan

  24. Formal Probabilistic Analysis of Distributed Dynamic Thermal Management

    Article • January 2015, EDAA

    Dr Osman Hasan

  25. Towards the Formalization of Fractional Calculus in Higher-Order Logic

    Article • January 2015, Springer Science + Business Media

    Dr Osman Hasan

  26. Towards Formal Fault Tree Analysis Using Theorem Proving

    Article • January 2015, Springer Science + Business Media

    Dr Osman Hasan

  27. Applying Formal Methods to Networking: Theory, Techniques, and Applications

    Article • IEEE Communications Surveys & Tutorials, January 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan

  28. Framework for Formally Verifying Analog and Mixed-Signal Designs

    Article • January 2015, Springer Science + Business Media

    Dr Osman Hasan

  29. Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential Equations

    Article • January 2015, Springer Science + Business Media

    Dr Osman Hasan

  30. Formalization of Zsyntax to Reason About Molecular Pathways in HOL4

    Article • January 2015, Springer Science + Business Media

    Dr Osman Hasan

  31. Formal verification of circuit-switched Network on chip (NoC) architectures using SPIN

    Article • October 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan

  32. Formal analysis of electromagnetic optics

    Article • September 2014, SPIE

    Dr Osman Hasan

  33. Hardware Trojan detection in soft error tolerant macro synchronous micro asynchronous (MSMA) pipeline

    Article • August 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Syed Rafay Hasan, Dr Osman Hasan

  34. On the Formalization of Gamma Function in HOL

    Article • Journal of Automated Reasoning, July 2014, Springer Science + Business Media

    Dr Osman Hasan

  35. Low Power Soft Error Tolerant Macro Synchronous Micro Asynchronous (MSMA) Pipeline

    Article • July 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Syed Rafay Hasan, Dr Osman Hasan

  36. Towards Formal Reasoning about Molecular Pathways in HOL

    Article • June 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan

  37. Towards the formal verification of optical interconnects

    Article • June 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan

  38. An approach for lifetime reliability analysis using theorem proving

    Article • Journal of Computer and System Sciences, March 2014, Elsevier

    Dr Osman Hasan

  39. Formal Analysis of Optical Systems

    Article • Mathematics in Computer Science, March 2014, Springer Science + Business Media

    Dr Osman Hasan

  40. Timing variation aware dynamic digital phase detector for low-latency clock domain crossing

    Article • IET Circuits Devices & Systems, January 2014, the Institution of Engineering and Technology (the IET)

    Professor Syed Rafay Hasan, Dr Osman Hasan

  41. Formal Verification of Steady-State Errors in Unity-Feedback Control Systems

    Article • January 2014, Springer Science + Business Media

    Dr Osman Hasan

  42. On the Formal Analysis of HMM Using Theorem Proving

    Article • January 2014, Springer Science + Business Media

    Dr Osman Hasan

  43. Towards the Formal Reliability Analysis of Oil and Gas Pipelines

    Article • January 2014, Springer Science + Business Media

    Dr Osman Hasan

  44. Formal verification of distributed dynamic thermal management

    Article • November 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan

  45. Towards the Formal Performance Analysis of Wireless Sensor Networks

    Article • June 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan

  46. Formal Analysis of Steady State Errors in Feedback Control Systems Using HOL-Light

    Article • January 2013, EDAA

    Dr Osman Hasan

  47. Formal Reasoning about Classified Markov Chains in HOL

    Article • January 2013, Springer Science + Business Media

    Dr Osman Hasan

  48. Formal Reliability Analysis of Protective Relays in Power Distribution Systems

    Article • January 2013, Springer Science + Business Media

    Dr Osman Hasan

  49. Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy

    Article • January 2013, Springer Science + Business Media

    Dr Osman Hasan

  50. Formal Analysis of Memory Contention in a Multiprocessor System

    Article • January 2013, Springer Science + Business Media

    Dr Osman Hasan

  51. Formal Verification of Cyber-Physical Systems: Coping with Continuous Elements

    Article • January 2013, Springer Science + Business Media

    Dr Osman Hasan

  52. Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light

    Article • January 2013, Springer Science + Business Media

    Dr Osman Hasan

  53. Using Probabilistic Analysis for the Certification of Machine Control Systems

    Article • January 2013, Springer Science + Business Media

    Dr Osman Hasan

  54. Formal Kinematic Analysis of the Two-Link Planar Manipulator

    Article • January 2013, Springer Science + Business Media

    Dr Osman Hasan

  55. V-HOLT verifier - An automatic formal verification tool for combinational circuits

    Article • December 2012, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan

  56. Analysis techniques for fractional order systems: A survey

    Article • January 2012, American Institute of Physics

    Dr Osman Hasan

  57. Formal Probabilistic Analysis of Cyber-Physical Transportation Systems

    Article • January 2012, Springer Science + Business Media

    Dr Osman Hasan

  58. Quantitative Analysis of Information Flow Using Theorem Proving

    Article • January 2012, Springer Science + Business Media

    Dr Osman Hasan

  59. Formalization of Entropy Measures in HOL

    Article • January 2011, Springer Science + Business Media

    Dr Osman Hasan

  60. Formalization of Finite-State Discrete-Time Markov Chains in HOL

    Article • January 2011, Springer Science + Business Media

    Dr Osman Hasan

  61. Formal Analysis of a Scheduling Algorithm for Wireless Sensor Networks

    Article • January 2011, Springer Science + Business Media

    Dr Osman Hasan

  62. On the accurate reliability analysis of combinational circuits using theorem proving

    Article • June 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan

  63. Survey of fall detection and daily activity monitoring techniques

    Article • June 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan

  64. Towards precise, scalable and automatic analysis of analog and mixed signal circuits

    Article • June 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan

  65. Performance analysis of real-time rewriting models

    Article • May 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan

  66. Formal Reliability Analysis Using Theorem Proving

    Article • IEEE Transactions on Computers, May 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan

  67. Formal Lifetime Reliability Analysis Using Continuous Random Variables

    Article • January 2010, Springer Science + Business Media

    Dr Osman Hasan

  68. On the Formalization of the Lebesgue Integration Theory in HOL

    Article • January 2010, Springer Science + Business Media

    Dr Osman Hasan

  69. Formal Probabilistic Analysis: A Higher-Order Logic Based Approach

    Article • January 2010, Springer Science + Business Media

    Dr Osman Hasan

  70. Formal Reasoning about Expectation Properties for Continuous Random Variables

    Article • January 2009, Springer Science + Business Media

    Dr Osman Hasan

  71. Formal Analysis of Optical Waveguides in HOL

    Article • January 2009, Springer Science + Business Media

    Dr Osman Hasan

  72. Performance Analysis of ARQ Protocols using a Theorem Prover

    Article • April 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan

  73. Automated formal synthesis of Wallace Tree multipliers

    Article • August 2007, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Osman Hasan

  74. Formalization of the Standard Uniform random variable

    Article • Theoretical Computer Science, August 2007, Elsevier

    Dr Osman Hasan

  75. Verification of Tail Distribution Bounds in a Theorem Prover

    Article • January 2007, American Institute of Physics

    Dr Osman Hasan

  76. Telesurgical Robotics

    Article • IGI Global

    Dr Osman Hasan

  77. Formal Verification Methods

    Article • IGI Global

    Dr Osman Hasan

  78. Formal Reliability Analysis of Engineering Systems

    Article • IGI Global

    Dr Osman Hasan

  79. Formalization of Continuous Probability Distributions

    Article • Springer Science + Business Media

    Dr Osman Hasan

  80. Formal Analysis of Real-Time Systems

    Article • IGI Global

    Dr Osman Hasan

  81. Formal Reliability Analysis of Embedded Computing Systems

    Article • IGI Global

    Dr Osman Hasan

  82. Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function

    Article • Springer Science + Business Media

    Dr Osman Hasan

  83. Verification of Expectation Properties for Discrete Random Variables in HOL

    Article • Springer Science + Business Media

    Dr Osman Hasan

  84. Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays

    Article • Springer Science + Business Media

    Dr Osman Hasan