Abdullah Al Farooq

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 7

Top Topics

Resolving Conflicts

Programmable Logic Controller

Top Venues

Publications

Abdullah Al Farooq, Zac Taylor, Kyle Ruona, Thomas Moyer
Defeasible-PROV: Conflict Resolution in Smart Building Devices. COMPSAC (2023)
Abdullah Al Farooq, Manash Sarker
InstruPro: Instrumenting Programmable Logic Controller (PLC) based on Model Checking. SSCI (2022)
Abdullah Al Farooq, Thomas Moyer, Dewan Tanvir Ahmed
OPD: Network Packet Distribution after Achieving Equilibrium to Mitigate DDOS Attack. COMPSAC (2021)
Abdullah Al Farooq, Jessica Marquard, Kripa George, Thomas Moyer
Detecting Safety and Security Faults in PLC Systems with Data Provenance. CoRR (2019)
Abdullah Al Farooq, Ehab Al-Shaer, Thomas Moyer, Krishna Kant
: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems. IM (2019)
Abdullah Al Farooq, Ehab Al-Shaer, Thomas Moyer, Krishna Kant
IoTC2: A Formal Method Approach for Detecting Conflicts in Large Scale IoT Systems. CoRR (2018)
Mohammad Ashiqur Rahman, Abdullah Al Farooq, Amarjit Datta, Ehab Al-Shaer
Automated synthesis of resiliency configurations for cyber networks. CNS (2016)
Shafin Rahman, Sheikh Motahar Naim, Abdullah Al Farooq, Md. Monirul Islam
Performance of PCA Based Semi-supervised Learning in Face Recognition Using MPEG-7 Edge Histogram Descriptor. J. Multim. 6 (5) (2011)