Formal Verification of Control Strategies for a Cyber Physical System. - Amjad Gawanmeh; Ali Alwadi; Sazia Parvin (ICDCS Workshops, 2017)

Smart Solutions for RFID based Inventory Management Systems: A Survey. - Ali Alwadi; Amjad Gawanmeh; Sazia Parvin; Jamal N. Al-Karaki (Scalable Comput. Pract. Exp., 2017)