Wang Yi

ORCID

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 86

Top Venues

RTSS

DATE

J. Syst. Archit.

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Yue Tang, Nan Guan, Xu Jiang, Xiantong Luo, Wang Yi
Real-Time Performance Analysis of Processing Systems on ROS 2 Executors. RTAS (2023)
Xu Jiang, Haochun Liang, Nan Guan, Yue Tang, Lei Qiao, Wang Yi
Scheduling Parallel Real-Time Tasks on Virtual Processors. IEEE Trans. Parallel Distributed Syst. 34 (1) (2023)
Yue Tang, Nan Guan, Xu Jiang, Zheng Dong, Wang Yi
Reaction Time Analysis of Event-Triggered Processing Chains with Data Refreshing. DAC (2023)
Xiantong Luo, Xu Jiang, Nan Guan, Haochun Liang, Songran Liu, Wang Yi
Modeling and Analysis of Inter-Process Communication Delay in ROS 2. RTSS (2023)
Ye Ma, Xu Jiang, Nan Guan, Wang Yi
Anomaly detection based on multi-teacher knowledge distillation. J. Syst. Archit. 138 (2023)
Xu Jiang, Xiantong Luo, Nan Guan, Zheng Dong, Shaoshan Liu, Wang Yi
Analysis and Optimization of Worst-Case Time Disparity in Cause-Effect Chains. DATE (2023)
Gang Chen, Yi Zheng, Zhaoheng Zhou, Shengyu He, Wang Yi
A GPU-accelerated real-time human voice separation framework for mobile phones. J. Syst. Archit. 145 (2023)
Haochun Liang, Xu Jiang, Nan Guan, Qingqiang He, Wang Yi
Response Time Analysis and Optimization of DAG Tasks Exploiting Mutually Exclusive Execution. DAC (2023)
Yang Wang, Yu Li, Xuemei Peng, Dong Ji, Nan Guan, Wang Yi
Design and Blocking Analysis of Locking Protocols for Real-Time DAG Tasks Under Federated Scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (11) (2023)
Xu Jiang, Jinghao Sun, Wang Yi
Characterizations of Parallel Real-Time Workloads. Theories of Programming and Formal Methods (2023)
Xu Jiang, Zewei Chen, Maolin Yang, Nan Guan, Yue Tang, Wang Yi
A Unified Blocking Analysis for Parallel Tasks With Spin Locks Under Global Fixed Priority Scheduling. IEEE Trans. Computers 72 (1) (2023)
Songran Liu, Mingsong Lv, Wei Zhang, Xu Jiang, Chuancai Gu, Tao Yang, Wang Yi, Nan Guan
Light Flash Write for Efficient Firmware Update on Energy-harvesting IoT Devices. DATE (2023)
Yue Tang, Xu Jiang, Nan Guan, Songran Liu, Xiantong Luo, Wang Yi
Optimizing End-to-End Latency of Sporadic Cause-Effect Chains Using Priority Inheritance. RTSS (2023)
Weiguang Pang, Xiantong Luo, Kailun Chen, Dong Ji, Lei Qiao, Wang Yi
Efficient CUDA stream management for multi-DNN real-time inference on embedded GPUs. J. Syst. Archit. 139 (2023)
Yue Tang, Xu Jiang, Nan Guan, Dong Ji, Xiantong Luo, Wang Yi
Comparing Communication Paradigms in Cause-Effect Chains. IEEE Trans. Computers 72 (1) (2023)
Yang Wang, Xu Jiang, Nan Guan, Mingsong Lv, Dong Ji, Wang Yi
Scheduling and analysis of real-time tasks with parallel critical sections. DAC (2022)
Weiguang Pang, Xu Jiang, Mingsong Lv, Teng Gao, Di Liu, Wang Yi
Toward the Predictability of Dynamic Real-Time DNN Inference. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (9) (2022)
Desheng Wang, Yangjie Wei, Ke Zhang, Dong Ji, Wang Yi
Automatic Speech Recognition Performance Improvement for Mandarin Based on Optimizing Gain Control Strategy. Sensors 22 (8) (2022)
Xu Jiang, Nan Guan, Maolin Yang, Yang Wang, Yue Tang, Wang Yi
Real-Time Scheduling of Parallel Task Graphs With Critical Sections Across Different Vertices. IEEE Trans. Parallel Distributed Syst. 33 (10) (2022)
Desheng Wang, Yangjie Wei, Dong Ji, Ye Ma, Wang Yi
Optimized Volume Control Architecture for Cascaded Audio System. IEEE Trans. Consumer Electron. 68 (2) (2022)
Morteza Mohaqeqi, Gaoyang Dai, Wang Yi
Counting Priority Inversions: Computing Maximum Additional Core Requests of DAG Tasks. DATE (2022)
Gaoyang Dai, Morteza Mohaqeqi, Petros Voudouris, Wang Yi
Response-Time Analysis of Limited-Preemptive Sporadic DAG Tasks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Wang Yi, Morteza Mohaqeqi, Susanne Graf
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. COORDINATION (2022)
Gang Chen, Zhaoheng Zhou, Shengyu He, Yi Zheng, Wang Yi
VoiceBit: GPU-Accelerated Real-Time Human Voice Separation for Mobile Phones. HPCC/DSS/SmartCity/DependSys (2022)
Jinghao Sun, Nan Guan, Rongxiao Shi, Guozhen Tan, Wang Yi
Schedulability Analysis for Timed Automata With Tasks. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Yue Tang, Nan Guan, Zhiwei Feng, Xu Jiang, Wang Yi
Response Time Analysis of Lazy Round Robin. DATE (2021)
Gaoyang Dai, Morteza Mohaqeqi, Wang Yi
Timing-Anomaly Free Dynamic Scheduling of Periodic DAG Tasks with Non-Preemptive Nodes. RTCSA (2021)
Xinyang Dong, Gang Chen, Mingsong Lv, Weiguang Pang, Wang Yi
Flexible Mixed-Criticality Scheduling with Dynamic Slack Management. J. Circuits Syst. Comput. 30 (10) (2021)
Jakaria Abdullah, Wang Yi
Cause-Effect Reaction Latency in Real-Time Systems. Model Checking, Synthesis, and Learning (2021)
Ye Ma, Gang Chen, Mingsong Lv, Wang Yi, Xue Liu, Hao Chen, Bo Zhu
Efficient and Effective Dimension Control in Automotive Applications. IEEE Trans. Ind. Informatics 17 (3) (2021)
Yang Wang, Xu Jiang, Nan Guan, Zhishan Guo, Xue Liu, Wang Yi
Partitioning-Based Scheduling of OpenMP Task Systems With Tied Tasks. IEEE Trans. Parallel Distributed Syst. 32 (6) (2021)
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
Model Checking, Synthesis, and Learning. Model Checking, Synthesis, and Learning (2021)
He Du, Xu Jiang, Mingsong Lv, Tao Yang, Wang Yi
Scheduling and analysis of real-time task graph models with nested locks. J. Syst. Archit. 114 (2021)
Yue Tang, Zhiwei Feng, Nan Guan, Xu Jiang, Mingsong Lv, Qingxu Deng, Wang Yi
Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors. RTSS (2020)
Zhiwei Feng, Nan Guan, Mingsong Lv, Wenchen Liu, Qingxu Deng, Xue Liu, Wang Yi
Efficient drone hijacking detection using two-step GA-XGBoost. J. Syst. Archit. 103 (2020)
Dong Ji, Mingsong Lv, Jiayu Yang, Wang Yi
Optimizing the Locations and Sizes of Solar Assisted Electric Vehicle Charging Stations in an Urban Area. IEEE Access 8 (2020)
Wang Yi, Morteza Mohaqeqi, Susanne Graf
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. CoRR (2020)
Jinghao Sun, Nan Guan, Feng Li, Huimin Gao, Chang Shi, Wang Yi
Real-Time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism. IEEE Trans. Computers 69 (9) (2020)
Jinghao Sun, Yaoyao Chi, Tianfei Xu, Lei Cao, Nan Guan, Zhishan Guo, Wang Yi
. DATE (2020)
Jinghao Sun, Feng Li, Nan Guan, Wentao Zhu, Minjie Xiang, Zhishan Guo, Wang Yi
On Computing Exact WCRT for DAG Tasks†. DAC (2020)
Xu Jiang, Nan Guan, He Du, Weichen Liu, Wang Yi
On the Analysis of Parallel Real-Time Tasks with Spin Locks. CoRR (2020)
Gang Chen, Nan Guan, Kai Huang, Wang Yi
Fault-tolerant real-time tasks scheduling with dynamic fault handling. J. Syst. Archit. 102 (2020)
Jinghao Sun, Nan Guan, Shuangshuang Chang, Feng Li, Qingxu Deng, Wang Yi
Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (12) (2020)
Xu Jiang, Nan Guan, Maolin Yang, Yue Tang, Wang Yi
Schedulability Bounds for Parallel Real-Time Tasks under Global Rate-Monotonic Scheduling. CoRR (2020)
He Du, Xu Jiang, Tao Yang, Mingsong Lv, Wang Yi
Real-Time Scheduling and Analysis of OpenMP Programs with Spin Locks. ICPADS (2020)
Desheng Wang, Yangjie Wei, Ke Zhang, Wang Yi
Evaluating Audio System Dynamic Range Performance under Variable Distortion Condition. ISCID (2) (2019)
Wang Yi
Design and Dynamic Update of Real-Time Systems. RTSS (2019)
Zhiwei Feng, Nan Guan, Mingsong Lv, Weichen Liu, Qingxu Deng, Xue Liu, Wang Yi
An Efficient UAV Hijacking Detection Method Using Onboard Inertial Measurement Unit. ACM Trans. Embed. Comput. Syst. 17 (6) (2019)
He Du, Wei Zhang, Nan Guan, Wang Yi
Scope-aware data cache analysis for OpenMP programs on multi-core processors. J. Syst. Archit. 98 (2019)
Jakaria Abdullah, Gaoyang Dai, Wang Yi
Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication. DATE (2019)
Songran Liu, Nan Guan, Dong Ji, Weichen Liu, Xue Liu, Wang Yi
Leaking your engine speed by spectrum analysis of real-Time scheduling sequences. J. Syst. Archit. 97 (2019)
Xiaochen Hao, Mingsong Lv, Jiesheng Zheng, Zhengkui Zhang, Wang Yi
Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems. ICCD (2019)
Qingqiang He, Nan Guan, Mingsong Lv, Wang Yi
On the Consensus Mechanisms of Blockchain/DLT for Internet of Things. SIES (2018)
Jakaria Abdullah, Gaoyang Dai, Morteza Mohaqeqi, Wang Yi
Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. RTAS (2018)
Gang Chen, Nan Guan, Di Liu, Qingqiang He, Kai Huang, Todor P. Stefanov, Wang Yi
Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks. IEEE Trans. Computers 67 (4) (2018)
Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi
Model Checking Bounded Continuous-time Extended Linear Duration Invariants. HSCC (2018)
Jinghao Sun, Nan Guan, Xu Jiang, Shuangshuang Chang, Zhishan Guo, Qingxu Deng, Wang Yi
A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Di Liu, Nan Guan, Jelena Spasic, Gang Chen, Songran Liu, Todor P. Stefanov, Wang Yi
Scheduling Analysis of Imprecise Mixed-Criticality Real-Time Tasks. IEEE Trans. Computers 67 (7) (2018)
Gang Chen, Nan Guan, Biao Hu, Wang Yi
EDF-VD Scheduling of Flexible Mixed-Criticality System With Multiple-Shot Transitions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Xu Jiang, Nan Guan, Xiang Long, Wang Yi
Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors. RTSS (2017)
Kai Lampka, Steffen Bondorf, Jens B. Schmitt, Nan Guan, Wang Yi
Generalized finitary real-time calculus. INFOCOM (2017)
Yue Tang, Nan Guan, Weichen Liu, Linh Thi Xuan Phan, Wang Yi
Revisiting GPC and AND Connector in Real-Time Calculus. RTSS (2017)
Jinghao Sun, Nan Guan, Yang Wang, Qingqiang He, Wang Yi
Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks. RTSS (2017)
Jakaria Abdullah, Gaoyang Dai, Nan Guan, Morteza Mohaqeqi, Wang Yi
Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. Models, Algorithms, Logics and Tools (2017)
Zhiwei Feng, Nan Guan, Mingsong Lv, Weichen Liu, Qingxu Deng, Xue Liu, Wang Yi
Efficient drone hijacking detection using onboard motion sensors. DATE (2017)
Yang Wang, Nan Guan, Jinghao Sun, Mingsong Lv, Qingqiang He, Tianzhang He, Wang Yi
Benchmarking OpenMP programs for real-time scheduling. RTCSA (2017)
Pontus Ekberg, Wang Yi
Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-Hard. RTSS (2017)
Wang Yi
Towards Customizable CPS: Composability, Efficiency and Predictability. ICFEM (2017)
Jakaria Abdullah, Morteza Mohaqeqi, Wang Yi
Synthesis of ada code from graph-based task models. SAC (2017)
Gang Chen, Nan Guan, Di Liu, Qingqiang He, Kai Huang, Todor P. Stefanov, Wang Yi
Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks. CoRR (2017)
Xu Jiang, Nan Guan, Xiang Long, Wang Yi
Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors. CoRR (2017)
Morteza Mohaqeqi, Syed Md Jakaria Abdullah, Pontus Ekberg, Wang Yi
Refinement of Workload Models for Engine Controllers by State Space Partitioning. ECRTS (2017)
Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi
An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada. Ada-Europe (2017)
Pontus Ekberg, Wang Yi
Schedulability analysis of a graph-based task model for mixed-criticality systems. Real Time Syst. 52 (1) (2016)
Tianyu Zhang, Nan Guan, Qingxu Deng, Wang Yi
Start time configuration for strictly periodic real-time task systems. J. Syst. Archit. (2016)
Jinghao Sun, Nan Guan, Yang Wang, Qingxu Deng, Peng Zeng, Wang Yi
Feasibility of Fork-Join Real-Time Task Graph Models: Hardness and Algorithms. ACM Trans. Embed. Comput. Syst. 15 (1) (2016)
Morteza Mohaqeqi, Pontus Ekberg, Wang Yi
On Fixed-Priority Schedulability Analysis of Sporadic Tasks with Self-Suspension. RTNS (2016)
Chuancai Gu, Nan Guan, Zhiwei Feng, Qingxu Deng, Xiaobo Sharon Hu, Wang Yi
Transforming Real-Time Task Graphs to Improve Schedulability. RTCSA (2016)
Di Liu, Jelena Spasic, Gang Chen, Nan Guan, Songran Liu, Todor P. Stefanov, Wang Yi
EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees. CoRR (2016)
Syed Md Jakaria Abdullah, Kai Lampka, Wang Yi
Improving performance by monitoring while maintaining worst-case guarantees. DATE (2016)
Philipp Rümmer, Wang Yi
Characterization of Simulation by Probabilistic Testing. Theory and Practice of Formal Methods (2016)
Mingsong Lv, Nan Guan, Jan Reineke, Reinhard Wilhelm, Wang Yi
A Survey on Static Cache Analysis for Real-Time Systems. Leibniz Trans. Embed. Syst. 3 (1) (2016)
Di Liu, Jelena Spasic, Nan Guan, Gang Chen, Songran Liu, Todor P. Stefanov, Wang Yi
EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees. RTSS (2016)
Mingsong Lv, Nan Guan, Ye Ma, Dong Ji, Erwin Knippel, Xue Liu, Wang Yi
Speed planning for solar-powered electric vehicles. e-Energy (2016)
Morteza Mohaqeqi, Jakaria Abdullah, Nan Guan, Wang Yi
Schedulability Analysis of Synchronous Digraph Real-Time Tasks. ECRTS (2016)
Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi
Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model. Ada-Europe (2016)
Nan Guan, Meiling Han, Chuancai Gu, Qingxu Deng, Wang Yi
Bounding Carry-in Interference to Improve Fixed-Priority Global Multiprocessor Scheduling Analysis. RTCSA (2015)
Pontus Ekberg, Nan Guan, Martin Stigge, Wang Yi
An optimal resource sharing protocol for generalized multiframe tasks. J. Log. Algebraic Methods Program. 84 (1) (2015)
Nan Guan, Yue Tang, Yang Wang, Wang Yi
Delay analysis of structural real-time workload. DATE (2015)
Pontus Ekberg, Wang Yi
Uniprocessor Feasibility of Sporadic Tasks Remains coNP-Complete under Bounded Utilization. RTSS (2015)
Nan Guan, Yue Tang, Jakaria Abdullah, Martin Stigge, Wang Yi
Scalable Timing Analysis with Refinement. TACAS (2015)
Nan Guan, Mengying Zhao, Chun Jason Xue, Yongpan Liu, Wang Yi
Modular Performance Analysis of Energy-Harvesting Real-Time Networked Systems. RTSS (2015)
Hao Lin, Wenyao Xu, Nan Guan, Dong Ji, Yangjie Wei, Wang Yi
Noninvasive and Continuous Blood Pressure Monitoring Using Wearable Body Sensor Networks. IEEE Intell. Syst. 30 (6) (2015)
Pontus Ekberg, Wang Yi
Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines Is Strongly coNP-Complete. ECRTS (2015)
Martin Stigge, Wang Yi
Graph-based models for real-time workload: a survey. Real Time Syst. 51 (5) (2015)
Martin Stigge, Wang Yi
Combinatorial abstraction refinement for feasibility analysis of static priorities. Real Time Syst. 51 (6) (2015)
Martin Stigge, Nan Guan, Wang Yi
Refinement-Based Exact Response-Time Analysis. ECRTS (2014)
Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi
Horn Clauses for Communicating Timed Systems. HCVS (2014)
Changqing Xia, Nan Guan, Qingxu Deng, Wang Yi
Maximizing Lifetime of Three-Dimensional Corona-Based Wireless Sensor Networks. Int. J. Distributed Sens. Networks 10 (2014)
Wei Jing, Nan Guan, Wang Yi
Performance isolation for real-time systems with Xen hypervisor on multi-cores. RTCSA (2014)

Wang Yi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wang Yi