Mohammad Alhumaid

CrashSafe: a formal model for proving crash-safety of Android applications

Aakash Ahmad, Sultan Daud Khan, Khalid Sultan, 2018, Human-centric Computing and Information Sciences.

Software Architecture Solutions for the Internet of Things: A Taxonomy of Existing Solutions and Vision for the Emerging Research

Aakash Ahmad, Adwan Alanazi, Mohammad Alhumaid, 2019 .