Abdullah Al Arafat

College of Engineering

Works (6)

Updated: August 23rd, 2025 05:03

2025 journal article

Soteria: A Formal Digital-Twin-Enabled Framework for Safety-Assurance of Latency-Aware Cyber-Physical Systems

Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 22, 1–11.

By: K. Wilson n , A. Arafat n, J. Baugh n , R. Yu n , X. Liu * & Z. Guo n 

author keywords: Hybrid Systems and Models; Temporal Verification; Formal Methods; Real-Time Cyber-Physical Systems
topics (OpenAlex): Safety Systems Engineering in Autonomy; Flexible and Reconfigurable Manufacturing Systems; Formal Methods in Verification
Sources: Web Of Science, ORCID, Crossref, NC State University Libraries
Added: May 21, 2025

2024 article

Augmented Neural Fine-Tuning for Efficient Backdoor Purification

Karim, N., Arafat, A. A., Khalid, U., Guo, Z., & Rahnavard, N. (2024, October 25). Lecture Notes in Computer Science, Vol. 15138, pp. 401–418.

By: N. Karim *, A. Arafat n, U. Khalid *, Z. Guo n  & N. Rahnavard*

topics (OpenAlex): Autonomous Vehicle Technology and Safety; Real-time simulation and control systems; Intravenous Infusion Technology and Safety
Sources: Web Of Science, ORCID, NC State University Libraries
Added: October 25, 2024

2024 article

Dynamic Priority Scheduling of Multithreaded ROS 2 Executor With Shared Resources

Arafat, A. A., Wilson, K., Yang, K., & Guo, Z. (2024, November 1). IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 43, pp. 3732–3743.

By: A. Arafat n, K. Wilson  n, K. Yang * & Z. Guo n 

author keywords: Adaptation models; Operating systems; Dynamic scheduling; Real-time systems; Timing; Time factors; Resource management; Vehicle dynamics; Standards; Testing; Nonpreemptive earliest deadline first (EDF); processing chains; robot operating system (ROS) 2; ready queue
topics (OpenAlex): Real-Time Systems Scheduling; Embedded Systems Design Techniques; Distributed and Parallel Computing Systems
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
Sources: Web Of Science, ORCID, NC State University Libraries
Added: November 6, 2024

2024 article

Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS

Wilson, K., Arafat, A. A., Baugh, J., Yu, R., & Guo, Z. (2024, October 3). 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE), pp. 96–100.

By: K. Wilson n , A. Arafat n, J. Baugh n , R. Yu n  & Z. Guo n 

topics (OpenAlex): Radiation Effects in Electronics; Embedded Systems Design Techniques; Real-Time Systems Scheduling
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
Sources: Web Of Science, ORCID, NC State University Libraries
Added: October 22, 2024

2023 article

Compositional Mixed-Criticality Systems with Multiple Executions and Resource-Budgets Model

Arafat, A. A., Vaidhun, S., Liu, L., Yang, K., & Guo, Z. (2023, May 1). 2023 IEEE 29TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, RTAS, pp. 67–79.

By: A. Arafat n, S. Vaidhun *, L. Liu *, K. Yang & Z. Guo n 

author keywords: Mixed-Criticality; Compositional Scheduling; Resource Criticality; Demand Bound Functions; AUTOSAR
topics (OpenAlex): Real-Time Systems Scheduling; Embedded Systems Design Techniques; Petri Nets in System Modeling
TL;DR: An analytical model and a demand-bound function-based schedulability test are presented for the EDFbased scheduler in the proposed compositional mixed-criticality system and the general performance of the scheduling framework and its wider applicability is demonstrated and evaluated using synthetic workloads and resource models. (via Semantic Scholar)
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
Sources: Web Of Science, NC State University Libraries
Added: July 31, 2023

2023 article

SSDA: Secure Source-Free Domain Adaptation

Ahmed, S., Arafat, A. A., Rizve, M. N., Hossain, R., Guo, Z., & Rakin, A. S. (2023, October 1). 2023 IEEE/CVF INTERNATIONAL CONFERENCE ON COMPUTER VISION (ICCV 2023), pp. 19123–19133.

By: S. Ahmed *, A. Arafat n, M. Rizve *, R. Hossain*, Z. Guo n  & A. Rakin *

topics (OpenAlex): Adversarial Robustness in Machine Learning; Domain Adaptation and Few-Shot Learning
UN Sustainable Development Goals Color Wheel
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Sources: Web Of Science, NC State University Libraries
Added: April 29, 2024

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2026) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.