| 2026 | DATE | Abusing DDS Discovery: Denial-of-Service Attacks Against ROS 2. | Jiafu Xu, Songran Liu, Zilong Wang, Minghe Yu, Yue Tang, Yang Wang, Weiguang Pang, Wang Yi |
| 2025 | CloudCom | Supervisable Transaction Algorithm with Identity Privacy Enabled on Blockchain. | Wang Yi, Zhou Guangtao, Chen Hong |
| 2025 | Coordination | Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software. | Nikolaus Huber, Susanne Graf, Philipp Rmmer, Wang Yi |
| 2024 | DAC | Control Flow Divergence Optimization by Exploiting Tensor Cores. | Weiguang Pang, Xu Jiang, Songran Liu, Lei Qiao, Kexue Fu, Longxiang Gao, Wang Yi |
| 2024 | SETTA | Timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals. | Xiantong Luo, Haochun Liang, Yue Tang, Xu Jiang, Nan Guan, Wang Yi |
| 2023 | DAC | Response Time Analysis and Optimization of DAG Tasks Exploiting Mutually Exclusive Execution. | Haochun Liang, Xu Jiang, Nan Guan, Qingqiang He, Wang Yi |
| 2023 | DAC | Reaction Time Analysis of Event-Triggered Processing Chains with Data Refreshing. | Yue Tang, Nan Guan, Xu Jiang, Zheng Dong, Wang Yi |
| 2023 | DATE | Analysis and Optimization of Worst-Case Time Disparity in Cause-Effect Chains. | Xu Jiang, Xiantong Luo, Nan Guan, Zheng Dong, Shaoshan Liu, Wang Yi |
| 2023 | DATE | Light Flash Write for Efficient Firmware Update on Energy-harvesting IoT Devices. | Songran Liu, Mingsong Lv, Wei Zhang, Xu Jiang, Chuancai Gu, Tao Yang, Wang Yi, Nan Guan |
| 2023 | RTSS | Optimizing End-to-End Latency of Sporadic Cause-Effect Chains Using Priority Inheritance. | Yue Tang, Xu Jiang, Nan Guan, Songran Liu, Xiantong Luo, Wang Yi |
| 2023 | RTSS | Modeling and Analysis of Inter-Process Communication Delay in ROS 2. | Xiantong Luo, Xu Jiang, Nan Guan, Haochun Liang, Songran Liu, Wang Yi |
| 2023 | RTAS | Real-Time Performance Analysis of Processing Systems on ROS 2 Executors. | Yue Tang, Nan Guan, Xu Jiang, Xiantong Luo, Wang Yi |
| 2022 | Coordination | MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. | Wang Yi, Morteza Mohaqeqi, Susanne Graf |
| 2022 | DAC | Scheduling and analysis of real-time tasks with parallel critical sections. | Yang Wang, Xu Jiang, Nan Guan, Mingsong Lv, Dong Ji, Wang Yi |
| 2022 | DATE | Counting Priority Inversions: Computing Maximum Additional Core Requests of DAG Tasks. | Morteza Mohaqeqi, Gaoyang Dai, Wang Yi |
| 2022 | HPCC | VoiceBit: GPU-Accelerated Real-Time Human Voice Separation for Mobile Phones. | Gang Chen, Zhaoheng Zhou, Shengyu He, Yi Zheng, Wang Yi |
| 2022 | RTSS | Real-Time Scheduling and Analysis of Processing Chains on Multi-threaded Executor in ROS 2. | Xu Jiang, Dong Ji, Nan Guan, Ruoxiang Li, Yue Tang, Wang Yi |
| 2021 | DATE | Response Time Analysis of Lazy Round Robin. | Yue Tang, Nan Guan, Zhiwei Feng, Xu Jiang, Wang Yi |
| 2021 | RTSS | Virtually-Federated Scheduling of Parallel Real-Time Tasks. | Xu Jiang, Nan Guan, Haochun Liang, Yue Tang, Lei Qiao, Wang Yi |
| 2021 | RTCSA | Timing-Anomaly Free Dynamic Scheduling of Periodic DAG Tasks with Non-Preemptive Nodes. | Gaoyang Dai, Morteza Mohaqeqi, Wang Yi |
| 2020 | DAC | On Computing Exact WCRT for DAG Tasks†. | Jinghao Sun, Feng Li, Nan Guan, Wentao Zhu, Minjie Xiang, Zhishan Guo, Wang Yi |
| 2020 | DATE | On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms | Jinghao Sun, Yaoyao Chi, Tianfei Xu, Lei Cao, Nan Guan, Zhishan Guo, Wang Yi |
| 2020 | ICPADS | Real-Time Scheduling and Analysis of OpenMP Programs with Spin Locks. | He Du, Xu Jiang, Tao Yang, Mingsong Lv, Wang Yi |
| 2020 | RTSS | Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors. | Yue Tang, Zhiwei Feng, Nan Guan, Xu Jiang, Mingsong Lv, Qingxu Deng, Wang Yi |
| 2019 | DATE | Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication. | Jakaria Abdullah, Gaoyang Dai, Wang Yi |
| 2019 | ICCD | Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems. | Xiaochen Hao, Mingsong Lv, Jiesheng Zheng, Zhengkui Zhang, Wang Yi |
| 2019 | RTSS | Design and Dynamic Update of Real-Time Systems. | Wang Yi |
| 2018 | RTAS | Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. | Jakaria Abdullah, Gaoyang Dai, Morteza Mohaqeqi, Wang Yi |
| 2017 | DATE | Efficient drone hijacking detection using onboard motion sensors. | Zhiwei Feng, Nan Guan, Mingsong Lv, Weichen Liu, Qingxu Deng, Xue Liu, Wang Yi |
| 2017 | ECRTS | Refinement of Workload Models for Engine Controllers by State Space Partitioning. | Morteza Mohaqeqi, Syed Md Jakaria Abdullah, Pontus Ekberg, Wang Yi |
| 2017 | ICFEM | Towards Customizable CPS: Composability, Efficiency and Predictability. | Wang Yi |
| 2017 | INFOCOM | Generalized finitary real-time calculus. | Kai Lampka, Steffen Bondorf, Jens B. Schmitt, Nan Guan, Wang Yi |
| 2017 | SAC | Synthesis of ada code from graph-based task models. | Jakaria Abdullah, Morteza Mohaqeqi, Wang Yi |
| 2017 | RTSS | Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-Hard. | Pontus Ekberg, Wang Yi |
| 2017 | RTSS | Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors. | Xu Jiang, Nan Guan, Xiang Long, Wang Yi |
| 2017 | RTSS | Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks. | Jinghao Sun, Nan Guan, Yang Wang, Qingqiang He, Wang Yi |
| 2017 | RTSS | Revisiting GPC and AND Connector in Real-Time Calculus. | Yue Tang, Nan Guan, Weichen Liu, Linh Thi Xuan Phan, Wang Yi |
| 2017 | RTCSA | Benchmarking OpenMP programs for real-time scheduling. | Yang Wang, Nan Guan, Jinghao Sun, Mingsong Lv, Qingqiang He, Tianzhang He, Wang Yi |
| 2016 | DATE | Improving performance by monitoring while maintaining worst-case guarantees. | Syed Md Jakaria Abdullah, Kai Lampka, Wang Yi |
| 2016 | ECRTS | Schedulability Analysis of Synchronous Digraph Real-Time Tasks. | Morteza Mohaqeqi, Jakaria Abdullah, Nan Guan, Wang Yi |
| 2016 | RTSS | EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees. | Di Liu, Jelena Spasic, Nan Guan, Gang Chen, Songran Liu, Todor P. Stefanov, Wang Yi |
| 2016 | RTCSA | Transforming Real-Time Task Graphs to Improve Schedulability. | Chuancai Gu, Nan Guan, Zhiwei Feng, Qingxu Deng, Xiaobo Sharon Hu, Wang Yi |
| 2016 | RTNS | On Fixed-Priority Schedulability Analysis of Sporadic Tasks with Self-Suspension. | Morteza Mohaqeqi, Pontus Ekberg, Wang Yi |
| 2015 | DATE | Delay analysis of structural real-time workload. | Nan Guan, Yue Tang, Yang Wang, Wang Yi |
| 2015 | ECRTS | Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines Is Strongly coNP-Complete. | Pontus Ekberg, Wang Yi |
| 2015 | RTSS | Uniprocessor Feasibility of Sporadic Tasks Remains coNP-Complete under Bounded Utilization. | Pontus Ekberg, Wang Yi |
| 2015 | RTSS | Modular Performance Analysis of Energy-Harvesting Real-Time Networked Systems. | Nan Guan, Mengying Zhao, Chun Jason Xue, Yongpan Liu, Wang Yi |
| 2015 | RTCSA | Bounding Carry-in Interference to Improve Fixed-Priority Global Multiprocessor Scheduling Analysis. | Nan Guan, Meiling Han, Chuancai Gu, Qingxu Deng, Wang Yi |
| 2015 | TACAS | Scalable Timing Analysis with Refinement. | Nan Guan, Yue Tang, Jakaria Abdullah, Martin Stigge, Wang Yi |
| 2014 | DATE | General and efficient Response Time Analysis for EDF scheduling. | Nan Guan, Wang Yi |
| 2014 | DATE | Partitioned mixed-criticality scheduling on multiprocessor platforms. | Chuancai Gu, Nan Guan, Qingxu Deng, Wang Yi |
| 2014 | ECRTS | Refinement-Based Exact Response-Time Analysis. | Martin Stigge, Nan Guan, Wang Yi |
| 2014 | EUC | Understanding the Dynamic Caches on Intel Processors: Methods and Applications. | Yi Zhang, Nan Guan, Wang Yi |
| 2014 | RTSS | Approximate Response Time Analysis of Real-Time Task Graphs. | Nan Guan, Chuancai Gu, Martin Stigge, Qingxu Deng, Wang Yi |
| 2014 | RTCSA | Performance isolation for real-time systems with Xen hypervisor on multi-cores. | Wei Jing, Nan Guan, Wang Yi |
| 2014 | RTCSA | Improving the response time analysis of global fixed-priority multiprocessor scheduling. | Youcheng Sun, Giuseppe Lipari, Nan Guan, Wang Yi |
| 2013 | DATE | FIFO cache analysis for WCET estimation: a quantitative approach. | Nan Guan, Xinping Yang, Mingsong Lv, Wang Yi |
| 2013 | RTSS | Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems. | Nan Guan, Wang Yi |
| 2013 | RTSS | Combinatorial Abstraction Refinement for Feasibility Analysis. | Martin Stigge, Wang Yi |
| 2013 | RTCSA | Improving OCBP-based scheduling for mixed-criticality sporadic task systems. | Chuancai Gu, Nan Guan, Qingxu Deng, Wang Yi |
| 2012 | ECRTS | Outstanding Paper Award: Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks. | Pontus Ekberg, Wang Yi |
| 2012 | ECRTS | Hardness Results for Static Priority Real-Time Scheduling. | Martin Stigge, Wang Yi |
| 2012 | RTAS | WCET Analysis with MRU Caches: Challenging LRU for Predictability. | Nan Guan, Mingsong Lv, Wang Yi, Ge Yu |
| 2011 | ATVA | McAiT - A Timing Analyzer for Multicore Real-Time Software. | Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi |
| 2011 | DATE | Energy-efficient scheduling of real-time tasks on cluster-based multicores. | Fanxin Kong, Wang Yi, Qingxu Deng |
| 2011 | DATE | Towards the Implementation and Evaluation of Semi-Partitioned Multi-Core Scheduling. | Yi Zhang, Nan Guan, Wang Yi |
| 2011 | ECRTS | Resource Sharing Protocols for Real-Time Task Graph Systems. | Nan Guan, Pontus Ekberg, Martin Stigge, Wang Yi |
| 2011 | ECRTS | On the Tractability of Digraph-Based Task Models. | Martin Stigge, Pontus Ekberg, Nan Guan, Wang Yi |
| 2011 | SAC | Energy-efficient scheduling for parallel real-time tasks based on level-packing. | Fanxin Kong, Nan Guan, Qingxu Deng, Wang Yi |
| 2011 | RTSS | Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems. | Nan Guan, Pontus Ekberg, Martin Stigge, Wang Yi |
| 2011 | RTAS | The Digraph Real-Time Task Model. | Martin Stigge, Pontus Ekberg, Nan Guan, Wang Yi |
| 2011 | RTCSA | Memory Access Aware Mapping for Networks-on-Chip. | Xi Jin, Nan Guan, Qingxu Deng, Wang Yi |
| 2010 | ECRTS | Minimizing Multi-resource Energy for Real-Time Systems with Discrete Operation Modes. | Fanxin Kong, Yiqun Wang, Qingxu Deng, Wang Yi |
| 2010 | ICFEM | Multicore Embedded Systems: The Timing Problem and Possible Solutions. | Wang Yi |
| 2010 | RTSS | Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software. | Mingsong Lv, Wang Yi, Nan Guan, Ge Yu |
| 2010 | RTAS | Fixed-Priority Multiprocessor Scheduling with Liu and Layland's Utilization Bound. | Nan Guan, Martin Stigge, Wang Yi, Ge Yu |
| 2009 | ASPDAC | Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs. | Nan Guan, Zonghua Gu, Wang Yi, Ge Yu |
| 2009 | EMSOFT | Cache-aware scheduling and analysis for multicores. | Nan Guan, Martin Stigge, Wang Yi, Ge Yu |
| 2009 | ICFEM | Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. | Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi |
| 2009 | RTSS | New Response Time Bounds for Fixed Priority Multiprocessor Scheduling. | Nan Guan, Martin Stigge, Wang Yi, Ge Yu |
| 2008 | CONCUR | R-Automata. | Parosh Aziz Abdulla, Pavel Krcl, Wang Yi |
| 2008 | EMSOFT | Cyclic dependencies in modular performance analysis. | Bengt Jonsson, Simon Perathoner, Lothar Thiele, Wang Yi |
| 2008 | EMSOFT | Model-based validation of QoS properties of biomedical sensor networks. | Simon Tschirner, Liang Xuedong, Wang Yi |
| 2008 | VTC | A Uniform Host Protocol Framework Planning to Change. | Tian Chen, Wenyu Liu, Wang Yi, Huaien Luo |
| 2008 | RTSS | New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms. | Nan Guan, Wang Yi, Zonghua Gu, Qingxu Deng, Ge Yu |
| 2007 | FOSSACS | Sampled Universality of Timed Automata. | Parosh Aziz Abdulla, Pavel Krcl, Wang Yi |
| 2006 | CAV | Communicating Timed Automata: The More Synchronous, the More Difficult to Verify. | Pavel Krcl, Wang Yi |
| 2006 | ICECCS | Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. | Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi |
| 2006 | MMM | Image segmentation by aggregation graph-cuts. | Dongfeng Han, Wenhui Li, Tianzhu Wang, Wang Yi, Yanjie She |
| 2006 | MMM | Stochastic collision detection between deformable models using particle swarm optimization algorithm. | Tianzhu Wang, Wenhui Li, Wang Yi, Zihou Ge, Dongfeng Han |
| 2004 | CONCUR | Timed vs. Time-Triggered Automata. | Pavel Krcl, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi |
| 2004 | ICFEM | Timed Patterns: TCOZ to Timed Automata. | Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi |
| 2004 | IFM | An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. | Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi |
| 2004 | SEFM | An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. | Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi |
| 2004 | TACAS | Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. | Pavel Krcl, Wang Yi |
| 2003 | ICFEM | On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. | Johan Bengtsson, Wang Yi |
| 2003 | TACAS | Schedulability Analysis Using Two Clocks. | Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi |
| 2002 | FASE | Formal Verification of UML Statecharts with Real-Time Extensions. | Alexandre David, M. Oliver Mller, Wang Yi |
| 2002 | TACAS | TIMES - A Tool for Modelling and Implementation of Embedded Systems. | Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi |
| 2002 | TACAS | Timed Automata with Asynchronous Processes: Schedulability and Decidability. | Elena Fersman, Paul Pettersson, Wang Yi |
| 2000 | ECRTS | Modelling and analysis of a commercial field bus protocol. | Alexandre David, Wang Yi |
| 2000 | FOSSACS | A Proof System for Timed Automata. | Huimin Lin, Wang Yi |
| 2000 | RTCSA | Verifying temporal constraints on data in multi-rate transactions using timed automata. | Anders Wall, Kristian Sandstrm, Jukka Mki-Turja, Christer Norstrm, Wang Yi |
| 2000 | TACAS | On Memory-Block Traversal Problems in Model-Checking Timed-Systems. | Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1999 | CAV | Efficient Timed Reachability Analysis Using Clock Difference Diagrams. | Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi |
| 1999 | RTCSA | Timed Automata as Task Models for Event-Driven Systems. | Christer Norstrm, Anders Wall, Wang Yi |
| 1998 | CONCUR | Partial Order Reductions for Timed Systems. | Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi |
| 1998 | TACAS | Formal Design and Analysis of a Gear Controller. | Magnus Lindahl, Paul Pettersson, Wang Yi |
| 1997 | CAV | UPPAAL: Status & Developments. | Kim Guldstrand Larsen, Paul Pettersson, Wang Yi |
| 1997 | RTSS | Efficient verification of real-time systems: compact data structure and state-space reduction. | Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1996 | CAV | Verification of an Audio Protocol with Bus Collision Using UPPAAL. | Johan Bengtsson, W. O. David Griffioen, Kre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1996 | TACAS | UPPAAL in 1995. | Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1995 | FCT | Model-Checking for Real-Time Systems. | Kim Guldstrand Larsen, Paul Pettersson, Wang Yi |
| 1995 | LICS | Compositional Testing Preorders for Probabilistic Processes | Bengt Jonsson, Wang Yi |
| 1995 | RTSS | Compositional and Symbolic Model-Checking of Real-Time Systems. | Kim Guldstrand Larsen, Paul Pettersson, Wang Yi |
| 1994 | FORTE | Automatic verification of real-time communicating systems by constraint-solving. | Wang Yi, Paul Pettersson, Mats Daniels |
| 1993 | MFPS | Time Abstracted Bisimiulation: Implicit Specifications and Decidability. | Kim Guldstrand Larsen, Wang Yi |
| 1991 | CAV | Deciding Properties of Regular Real Time Processes. | Uno Holmer, Kim Guldstrand Larsen, Wang Yi |
| 1991 | ICALP | CCS + Time = An Interleaving Model for Real Time Systems. | Wang Yi |
| 1990 | CONCUR | Real-Time Behaviour of Asynchronous Agents. | Wang Yi |