All Stories

  1. 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)

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

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

    Article • January 2016, Springer Science + Business Media

    Dr Osman Hasan, Adnan Rashid

  3. Formal analysis of a ZigBee-based routing protocol for smart grids using UPPAAL

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

    Adnan Rashid

  4. Analysis of Weather Forecasting Model in PRISM

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

    Adnan Rashid