Note: ‘*’ indicates equal contribution by the authors
Journal Papers
- [TCAD 2024] Abdullah Al Arafat, Kurt Wilson, Kechang Yang, and Zhishan Guo. Dynamic Priority Scheduling of Multi-Threaded ROS 2 Executor with Shared Resources, in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), pp. 3732–3743, November 2024.
- [IoT-J 2022] Abdullah Al Arafat*, Jiang Bian*, Haoyi Xiong, Jing Li, Li Li, Hongyang Chen, Jun Wang, Dejing Dou, and Zhishan Guo. Machine Learning in Real-Time Internet of Things (IoT) Systems: A Survey, in IEEE Internet of Things Journal (IoT-J), pp. 8364–8386, June 2022.
Conference Papers
- [CVPR 2025] Sabbir Ahmed*, Abdullah Al Arafat*, Deniz Najafi*, Akhlak Mahmood, Mamshad Nayeem Rizve, Mohaiminul Al Nahian, Ranyang Zhou, Shaahin Angizi, and Adnan Siraj Rakin. DeepCompress-ViT: Rethinking Model Compression to Enhance Efficiency of Vision Transformers at the Edge, in IEEE/CVF Computer Vision and Pattern Recognition Conference (CVPR), 2025.
- [RTAS 2025] Kurt Wilson, Abdullah Al Arafat, John Baugh, Ruozhou Yu, and Zhishan Guo. Physics-Informed Mixed-Criticality Scheduling for F1Tenth Cars with Preemptable ROS 2 Executors, in IEEE 31st Real-Time and Embedded Technology and Applications Symposium (RTAS), 2025.
- [HSCC 2025] Kurt Wilson*, Abdullah Al Arafat*, John Baugh, Ruozhou Yu, Xue Liu, and Zhishan Guo. Soteria: A Formal Digital-Twin-Enabled Framework for Safety-Assurance of Latency-Aware Safety-Critical Cyber-Physical Systems, in 28th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), 2025.
- [ICCAD 2025] Abeer Almalky, Sabbir Ahmed, Ranyang Zhou, Mohaiminul Al Nahian, Abdullah Al Arafat, Shaahin Angizi, and Adnan Siraj Rakin. LLWRA: Large Language Models Weight Replacement Attack, in IEEE/IFAC 9th International Conference on Control, Automation and Diagnosis (ICCAD), 2025.
- [CCS 2024] Nazmul Karim*, Abdullah Al Arafat*, Adnan Siraj Rakin, Zhishan Guo, and Nazanin Rahnavard. Fisher Information guided Purification against Backdoor Attacks, in 31st ACM SIGSAC Conference on Computer and Communications Security (CCS), pp. 4435–4449, 2024.
- [ECCV 2024] Nazmul Karim*, Abdullah Al Arafat*, Umar Khalid, Zhishan Guo, and Nazanin Rahnavard. Augmented Neural Fine-Tuning for Efficient Backdoor Purification, in 18th European Conference on Computer Vision (ECCV), pp. 401–418, 2024.
- [EMSOFT 2024] Abdullah Al Arafat, Kurt Wilson, Kechang Yang, and Zhishan Guo. Dynamic Priority Scheduling of Multi-Threaded ROS 2 Executor with Shared Resources, in ACM SIGBED International Conference on Embedded Software (EMSOFT), pp. 3732–3743, 2024.
- [RTSS 2023] Zhishan Guo*, Sudharsan Vaidhun*, Abdullah Al Arafat*, Nan Guan, and Kecheng Yang. Stealing Static Slack via WCRT and Sporadic P-Servers in Deadline-Driven Scheduling, in 44th IEEE Real-Time Systems Symposium (RTSS), pp. 40–52, 2023.
- [ICCV 2023] Sabbir Ahmed*, Abdullah Al Arafat*, Mamshad Nayeem Rizve*, Rahim Hossain, Zhishan Guo, and Adnan Siraj Rakin. SSDA: Secure Source-Free Domain Adaptation, in International Conference on Computer Vision (ICCV), pp. 19180–19190, 2023.
- [RTAS 2023] Abdullah Al Arafat, Sudharsan Vaidhun, Liangkai Liu, Kechang Yang, and Zhishan Guo. Compositional Mixed-Criticality Systems with Multiple Executions and Resource-Budgets Model, in IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 67–79, 2023.
- [DAC 2022] Abdullah Al Arafat, Sudharsan Vaidhun, Kurt M. Wilson, Jinghao Sun, and Zhishan Guo. Response Time Analysis for Dynamic Priority Scheduling in ROS2, in Proceedings of the 59th ACM/IEEE Design Automation Conference (DAC), pp. 301–306, 2022. (Publicity Paper Award)
- [VR 2021] Abdullah Al Arafat, Zhishan Guo, and Amro Awad. VR-Spy: A Side-Channel Attack on Virtual Key-Logging in VR Headsets, in IEEE Virtual Reality and 3D User Interfaces (VR), pp. 564–572, 2021.
Workshops and Work-in-Progresses
- [MEMOCODE 2024] Kurt Wilson, Abdullah Al Arafat, John Baugh, Ruozhou Yu, and Zhishan Guo. Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS, in 22nd ACM/IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE), pp. 98–102, 2024.
- [WMC 2022] Abdullah Al Arafat, Sudharsan Vaidhun, Bryan C. Ward, and Zhishan Guo. A Secure Resilient Real-Time Recovery Model, Scheduler, and Analysis, in 10th International Workshop on Mixed Criticality Systems (WMC), @RTSS, pp. 14–19, 2022.