Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. - Jakaria Abdullah; Gaoyang Dai; Nan Guan; Morteza Mohaqeqi; Wang Yi 001 (Models, Algorithms, Logics and Tools, 2017)

A deep learning approach for optimizing content delivering in cache-enabled HetNet. - Lei Lei 001; Lei You 002; Gaoyang Dai; Thang X. Vu; Di Yuan 001; Symeon Chatzinotas (ISWCS, 2017)

Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. - Jakaria Abdullah; Gaoyang Dai; Morteza Mohaqeqi; Wang Yi 001 (RTAS, 2018)

Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication. - Jakaria Abdullah; Gaoyang Dai; Wang Yi 001 (DATE, 2019)

Timing-Anomaly Free Dynamic Scheduling of Periodic DAG Tasks with Non-Preemptive Nodes. - Gaoyang Dai; Morteza Mohaqeqi; Wang Yi 001 (RTCSA, 2021)

Counting Priority Inversions: Computing Maximum Additional Core Requests of DAG Tasks. - Morteza Mohaqeqi; Gaoyang Dai; Wang Yi 001 (DATE, 2022)

Response-Time Analysis of Limited-Preemptive Sporadic DAG Tasks. - Gaoyang Dai; Morteza Mohaqeqi; Petros Voudouris; Wang Yi 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)