Husna Osman

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 4

Top Topics

Formal Verification

Trading Systems

Bounded Model Checking

Event Detection

Top Venues

Int. J. Online Biomed. Eng.

Heriot-Watt University, Edinburgh, UK (PHD)

Education History

Heriot-Watt University, Edinburgh, UK

PHD

Publications

Husna Osman, Mufind Mukaz Ebedon, Amna Saad
A Review on Parameters of Internet Gateway Discovery in MANETS. Int. J. Online Biomed. Eng. 17 (8) (2021)
Md. Nazmus Saadat, Hasibul Kabir, Muhammad Shuaib, Rasheed Mohammad Nassr, Mohd Nizam Husen, Husna Osman
Research Issues & State of the Art Challenges in Event Detection. IMCOM (2021)
Mufind Mukaz Ebedon, Amna Saad, Husna Osman
Review of Internet Gateway Discovery Approaches in MANET. IMCOM (2019)
Husna Osman, Munaisyah Abdullah, Bazilah A. Talip
Formal Verification of Ad Hoc M-Commerce Trading Systems with SPIN. IMCOM (2018)
Husna Osman, Hamish Taylor
Identity Support in a Security and Trust Service for Ad Hoc M-commerce Trading Systems. AINA Workshops (2011)
Husna Osman, Hamish Taylor
Managing group membership in ad hoc m-commerce trading systems. NOTERE (2010)