Performance of PCA Based Semi-supervised Learning in Face Recognition Using MPEG-7 Edge Histogram Descriptor. - Shafin Rahman; Sheikh Motahar Naim; Abdullah Al Farooq; Md. Monirul Islam (J. Multim., 2011)

Automated synthesis of resiliency configurations for cyber networks. - Mohammad Ashiqur Rahman; Abdullah Al Farooq; Amarjit Datta; Ehab Al-Shaer (CNS, 2016)

IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems. - Abdullah Al Farooq; Ehab Al-Shaer; Thomas Moyer; Krishna Kant 001 (CoRR, 2018)

IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems. - Abdullah Al Farooq; Ehab Al-Shaer; Thomas Moyer; Krishna Kant 001 (IM, 2019)

Detecting Safety and Security Faults in PLC Systems with Data Provenance. - Abdullah Al Farooq; Jessica Marquard; Kripa George; Thomas Moyer (CoRR, 2019)

OPD: Network Packet Distribution after Achieving Equilibrium to Mitigate DDOS Attack. - Abdullah Al Farooq; Thomas Moyer; Dewan Tanvir Ahmed (COMPSAC, 2021)

InstruPro: Instrumenting Programmable Logic Controller (PLC) based on Model Checking. - Abdullah Al Farooq; Manash Sarker (SSCI, 2022)

Defeasible-PROV: Conflict Resolution in Smart Building Devices. - Abdullah Al Farooq; Zac Taylor; Kyle Ruona; Thomas Moyer (COMPSAC, 2023)