Yi Wang

Flexible Zero-Copy IPC for Processing Chains in ROS 2

Luo, Xiantong; Jiang, Xu; Liang, Haochun; Tang, Yue et al.

Part of IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, p. 3985-3999, 2026

• DOI for Flexible Zero-Copy IPC for Processing Chains in ROS 2

Causality Monitoring for MIMOS

Huang, Chengzi; Khodabandeloo, Behnam; Nguyen, Duc Anh; Wang, Yi et al.

Part of Principles of Formal Quantitative Analysis, p. 284-300, Springer, 2025

• DOI for Causality Monitoring for MIMOS

Compiling the Mimosa programming language to RTOS tasks

Huber, Nikolaus; Graf, Susanne; Rümmer, Philipp; Wang, Yi

2025

New Scheduling Algorithm and Analysis for Partitioned Periodic DAG Tasks on Multiprocessors

Liang, Haochun; Jiang, Xu; Liu, Junyi; Luo, Xiantong et al.

Part of IEEE Transactions on Parallel and Distributed Systems, p. 2621-2634, 2025

• DOI for New Scheduling Algorithm and Analysis for Partitioned Periodic DAG Tasks on Multiprocessors

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software

Huber, Nikolaus; Graf, Susanne; Rümmer, Philipp; Wang, Yi

Part of Coordination Models and Languages, p. 90-113, 2025

• DOI for Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software

Flexible Zero-Copy IPC for Processing Chains in ROS 2

Luo, Xiantong; Jiang, Xu; Liang, Haochun; Tang, Yue et al.

Part of IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, p. 3985-3999, 2026

• DOI for Flexible Zero-Copy IPC for Processing Chains in ROS 2

New Scheduling Algorithm and Analysis for Partitioned Periodic DAG Tasks on Multiprocessors

Liang, Haochun; Jiang, Xu; Liu, Junyi; Luo, Xiantong et al.

Part of IEEE Transactions on Parallel and Distributed Systems, p. 2621-2634, 2025

• DOI for New Scheduling Algorithm and Analysis for Partitioned Periodic DAG Tasks on Multiprocessors

Blocking analysis of real-time tasks with parallel critical sections under federated scheduling

Wang, Yang; Jiang, Xu; Guan, Nan; Wang, Yi

Part of Journal of systems architecture, 2025

• DOI for Blocking analysis of real-time tasks with parallel critical sections under federated scheduling

Analysis and optimization of communication delay in multi-subscriber environments of ROS 2

Luo, Xiantong; Jiang, Xu; Tang, Yue; Liang, Ochun et al.

Part of Journal of systems architecture, 2025

• DOI for Analysis and optimization of communication delay in multi-subscriber environments of ROS 2

Timing analysis of processing chains with data refreshing in ROS 2

Tang, Yue; Jiang, Xu; Guan, Nan; Luo, Xiantong et al.

Part of Journal of systems architecture, 2024

• DOI for Timing analysis of processing chains with data refreshing in ROS 2

RTeX: An Efficient and Timing-Predictable Multithreaded Executor for ROS 2

Liu, Songran; Jiang, Xu; Guan, Nan; Wang, Zilong et al.

Part of IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, p. 2578-2591, 2024

• DOI for RTeX: An Efficient and Timing-Predictable Multithreaded Executor for ROS 2

A GPU-accelerated real-time human voice separation framework for mobile phones

Chen, Gang; Zheng, Yi; Zhou, Zhaoheng; He, Shengyu et al.

Part of Journal of systems architecture, 2023

• DOI for A GPU-accelerated real-time human voice separation framework for mobile phones

Anomaly detection based on multi-teacher knowledge distillation

Ma, Ye; Jiang, Xu; Guan, Nan; Wang, Yi

Part of Journal of systems architecture, 2023

• DOI for Anomaly detection based on multi-teacher knowledge distillation

Design and Blocking Analysis of Locking Protocols for Real-Time DAG Tasks Under Federated Scheduling

Wang, Yang; Li, Yu; Peng, Xuemei; Ji, Dong et al.

Part of IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, p. 3720-3732, 2023

• DOI for Design and Blocking Analysis of Locking Protocols for Real-Time DAG Tasks Under Federated Scheduling

Efficient CUDA stream management for multi-DNN real-time inference on embedded GPUs

Pang, Weiguang; Luo, Xiantong; Chen, Kailun; Ji, Dong et al.

Part of Journal of systems architecture, 2023

• DOI for Efficient CUDA stream management for multi-DNN real-time inference on embedded GPUs

Scheduling Parallel Real-Time Tasks on Virtual Processors

Jiang, Xu; Liang, Haochun; Guan, Nan; Tang, Yue et al.

Part of IEEE Transactions on Parallel and Distributed Systems, p. 33-47, 2023

• DOI for Scheduling Parallel Real-Time Tasks on Virtual Processors

Real-Time Scheduling of Parallel Task Graphs With Critical Sections Across Different Vertices

Jiang, Xu; Guan, Nan; Yang, Maolin; Wang, Yang et al.

Part of IEEE Transactions on Parallel and Distributed Systems, p. 4117-4133, 2022

• DOI for Real-Time Scheduling of Parallel Task Graphs With Critical Sections Across Different Vertices

Optimized Volume Control Architecture for Cascaded Audio System

Wang, Desheng; Wei, Yangjie; Ji, Dong; Ma, Ye et al.

Part of IEEE transactions on consumer electronics, p. 170-180, 2022

• DOI for Optimized Volume Control Architecture for Cascaded Audio System

Response-Time Analysis of Limited-Preemptive Sporadic DAG Tasks

Dai, Gaoyang; Mohaqeqi, Morteza; Voudouris, Petros; Wang, Yi

Part of IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, p. 3673-3684, 2022

• DOI for Response-Time Analysis of Limited-Preemptive Sporadic DAG Tasks

Scheduling and analysis of real-time task graph models with nested locks

Du, He; Jiang, Xu; Lv, Mingsong; Yang, Tao et al.

Part of Journal of systems architecture, 2021

• DOI for Scheduling and analysis of real-time task graph models with nested locks

On the Analysis of Parallel Real-Time Tasks With Spin Locks

Jiang, Xu; Guan, Nan; Du, He; Liu, Weichen et al.

Part of IEEE Transactions on Computers, p. 199-211, 2021

• DOI for On the Analysis of Parallel Real-Time Tasks With Spin Locks

Flexible Mixed-Criticality Scheduling with Dynamic Slack Management

Dong, Xinyang; Chen, Gang; Lv, Mingsong; Pang, Weiguang et al.

Part of Journal of Circuits, Systems and Computers, 2021

• DOI for Flexible Mixed-Criticality Scheduling with Dynamic Slack Management
• Download full text (pdf) of Flexible Mixed-Criticality Scheduling with Dynamic Slack Management

Partitioning-Based Scheduling of OpenMP Task Systems With Tied Tasks

Wang, Yang; Jiang, Xu; Guan, Nan; Guo, Zhishan et al.

Part of IEEE Transactions on Parallel and Distributed Systems, p. 1322-1339, 2021

• DOI for Partitioning-Based Scheduling of OpenMP Task Systems With Tied Tasks

Efficient and Effective Dimension Control in Automotive Applications

Ma, Ye; Chen, Gang; Lv, Mingsong; Wang, Yi et al.

Part of IEEE Transactions on Industrial Informatics, p. 1583-1591, 2021

• DOI for Efficient and Effective Dimension Control in Automotive Applications

Schedulability Analysis for Timed Automata With Tasks

Sun, Jinghao; Guan, Nan; Shi, Rongxiao; Tan, Guozhen et al.

Part of ACM Transactions on Embedded Computing Systems, 2021

• DOI for Schedulability Analysis for Timed Automata With Tasks

Efficient drone hijacking detection using two-step GA-XGBoost

Feng, Zhiwei; Guan, Nan; Lv, Mingsong; Liu, Wenchen et al.

Part of Journal of systems architecture, 2020

• DOI for Efficient drone hijacking detection using two-step GA-XGBoost

Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling

Sun, Jinghao; Guan, Nan; Chang, Shuangshuang; Li, Feng et al.

Part of IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, p. 4537-4548, 2020

• DOI for Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling

Real-Time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism

Sun, Jinghao; Guan, Nan; Li, Feng; Gao, Huimin et al.

Part of IEEE Transactions on Computers, p. 1335-1348, 2020

• DOI for Real-Time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism

Optimizing the Locations and Sizes of Solar Assisted Electric Vehicle Charging Stations in an Urban Area

Ji, Dong; Lv, Mingsong; Yang, Jiayu; Wang, Yi

Part of IEEE transactions on rehabilitation engineering, p. 112772-112782, 2020

• DOI for Optimizing the Locations and Sizes of Solar Assisted Electric Vehicle Charging Stations in an Urban Area

Fault-tolerant real-time tasks scheduling with dynamic fault handling

Chen, Gang; Guan, Nan; Huang, Kai; Wang, Yi

Part of Journal of systems architecture, 2020

• DOI for Fault-tolerant real-time tasks scheduling with dynamic fault handling

An Efficient UAV Hijacking Detection Method Using Onboard Inertial Measurement Unit

Feng, Zhiwei; Guan, Nan; Lv, Mingsong; Liu, Weichen et al.

Part of ACM Transactions on Embedded Computing Systems, 2019

• DOI for An Efficient UAV Hijacking Detection Method Using Onboard Inertial Measurement Unit

Scope-aware data cache analysis for OpenMP programs on multi-core processors

Du, He; Zhang, Wei; Guan, Nan; Wang, Yi

Part of Journal of systems architecture, p. 443-452, 2019

• DOI for Scope-aware data cache analysis for OpenMP programs on multi-core processors

Depth from defocus (DFD) based on VFISTA optimization algorithm in micro/nanometer vision

Liu, Yongjun; Wei, Yangjie; Wang, Yi

Part of Cluster Computing, p. 1459-1467, 2019

• DOI for Depth from defocus (DFD) based on VFISTA optimization algorithm in micro/nanometer vision

Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks

Chen, Gang; Guan, Nan; Liu, Di; He, Qingqiang et al.

Part of IEEE Transactions on Computers, p. 543-558, 2018

• DOI for Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks

A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF

Sun, Jinghao; Guan, Nan; Jiang, Xu; Chang, Shuangshuang et al.

Part of IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, p. 2200-2211, 2018

• DOI for A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF

EDF-VD Scheduling of Flexible Mixed-Criticality System With Multiple-Shot Transitions

Chen, Gang; Guan, Nan; Hu, Biao; Wang, Yi

Part of IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, p. 2393-2403, 2018

• DOI for EDF-VD Scheduling of Flexible Mixed-Criticality System With Multiple-Shot Transitions

Schedulability analysis of a graph-based task model for mixed-criticality systems

Ekberg, Pontus; Yi, Wang

Part of Real-time systems, p. 1-37, 2016

• DOI for Schedulability analysis of a graph-based task model for mixed-criticality systems

Multi-feature fusion for thermal face recognition

Bi, Yin; Lv, Mingsong; Wei, Yangjie; Guan, Nan et al.

Part of Infrared physics & technology, p. 366-374, 2016

• DOI for Multi-feature fusion for thermal face recognition

Dynamic blind source separation based on source-direction prediction

Wei, Yangjie; Yi, Wang

Part of Neurocomputing, p. 73-81, 2016

• DOI for Dynamic blind source separation based on source-direction prediction

Start time configuration for strictly periodic real-time task systems

Zhang, Tianyu; Guan, Nan; Deng, Qingxu; Yi, Wang

Part of Journal of systems architecture, p. 61-68, 2016

• DOI for Start time configuration for strictly periodic real-time task systems

Feasibility of fork-join real-time task graph models: Hardness and algorithms

Sun, Jinghao; Guan, Nan; Wang, Yang; Deng, Qingxu et al.

Part of ACM Transactions on Embedded Computing Systems, 2016

• DOI for Feasibility of fork-join real-time task graph models: Hardness and algorithms

AutoDietary: A wearable acoustic sensor system for food intake recognition in daily life

Bi, Yin; Lv, Mingsong; Song, Chen; Xu, Wenyao et al.

Part of IEEE Sensors Journal, p. 806-816, 2016

• DOI for AutoDietary: A wearable acoustic sensor system for food intake recognition in daily life

Diffusion-based three-dimensional reconstruction of complex surface using monocular vision

Wei, Yangjie; Wu, Chengdong; Yi, Wang; Wang, Wenxue

Part of Optics Express, p. 30364-30378, 2015

• DOI for Diffusion-based three-dimensional reconstruction of complex surface using monocular vision

Efficient shape reconstruction of microlens using optical microscopy

Wei, Yangjie; Wu, Chengdong; Yi, Wang; Dong, Zaili

Part of IEEE Transactions on Industrial Electronics, p. 7655-7664, 2015

• DOI for Efficient shape reconstruction of microlens using optical microscopy

An optimal resource sharing protocol for generalized multiframe tasks

Ekberg, Pontus; Guan, Nan; Stigge, Martin; Yi, Wang

Part of The Journal of logical and algebraic methods in programming, p. 92-105, 2015

• DOI for An optimal resource sharing protocol for generalized multiframe tasks
• Download full text (pdf) of An optimal resource sharing protocol for generalized multiframe tasks

Graph-based models for real-time workload: a survey

Stigge, Martin; Yi, Wang

Part of Real-time systems, p. 602-636, 2015

• DOI for Graph-based models for real-time workload: a survey

Combinatorial abstraction refinement for feasibility analysis of static priorities

Stigge, Martin; Yi, Wang

Part of Real-time systems, p. 639-674, 2015

• DOI for Combinatorial abstraction refinement for feasibility analysis of static priorities

Noninvasive and continuous blood pressure monitoring using wearable body sensor networks

Lin, Hao; Xu, Wenyao; Guan, Nan; Ji, Dong et al.

Part of IEEE Intelligent Systems, p. 38-48, 2015

• DOI for Noninvasive and continuous blood pressure monitoring using wearable body sensor networks

Bounding and shaping the demand of generalized mixed-criticality sporadic task systems

Ekberg, Pontus; Yi, Wang

Part of Real-time systems, p. 48-86, 2014

• DOI for Bounding and shaping the demand of generalized mixed-criticality sporadic task systems
• Download full text (pdf) of Bounding and shaping the demand of generalized mixed-criticality sporadic task systems

Building timing predictable embedded systems

Axer, Philip; Ernst, Rolf; Falk, Heiko; Girault, Alain et al.

Part of ACM Transactions on Embedded Computing Systems, 2014

• DOI for Building timing predictable embedded systems

WCET Analysis with MRU Cache: Challenging LRU for Predictability

Guan, Nan; Lv, Mingsong; Yi, Wang; Yu, Ge

Part of ACM Transactions on Embedded Computing Systems, 2014

• DOI for WCET Analysis with MRU Cache: Challenging LRU for Predictability

The fork-join real-time task model

Stigge, Martin; Ekberg, Pontus; Yi, Wang

Part of ACM SIGBED Review, p. 20-20, 2013

• DOI for The fork-join real-time task model
• Download full text (pdf) of The fork-join real-time task model

Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling

Guan, Nan; Yi, Wang; Deng, Qingxu; Gu, Zonghua et al.

Part of Journal of systems architecture, p. 536-546, 2011

• DOI for Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling

Developing UPPAAL over 15 years

Behrmann, Gerd; David, Alexandre; Larsen, Kim Guldstrand; Pettersson, Paul et al.

Part of Software, practice & experience, p. 133-142, 2011

• DOI for Developing UPPAAL over 15 years

Sampled semantics of timed automata

Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang

Part of Logical Methods in Computer Science, 2010

• DOI for Sampled semantics of timed automata

Static worst-case execution time analysis of the μC/OS-II real-time kernel

Lv, Mingsong; Guan, Nan; Deng, Qingxu; Yu, Ge et al.

Part of Frontiers of Computer Science in China, p. 17-27, 2010

• DOI for Static worst-case execution time analysis of the μC/OS-II real-time kernel

Universality of R-automata with value copying

Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang

Part of Electronic Notes in Theoretical Computer Science, p. 131-141, 2009

• DOI for Universality of R-automata with value copying

Timed Automata Patterns

Dong, Jin Song; Hao, Ping; Qin, Shengchao; Sun, Jun et al.

Part of IEEE Transactions on Software Engineering, p. 844-859, 2008

• DOI for Timed Automata Patterns

Task automata: Schedulability, decidability and undecidability

Fersman, Elena; Krcal, Pavel; Pettersson, Paul; Yi, Wang

Part of Information and Computation, p. 1149-1172, 2007

• DOI for Task automata: Schedulability, decidability and undecidability

Schedulability Analysis of Fixed Priority Systems using Timed Automata

Fersman, Elena; Mokrushin, Leonid; Pettersson, Paul; Yi, Wang

Part of Theoretical Computer Science, p. 301-317, 2006

Exploring optimal solution to hardware/software partitioning for synchronous model

He, Jifeng; Huang, Dang; Pu, Geguang; Qiu, Zongyan et al.

Part of Formal Aspects of Computing, p. 587-611, 2005

A Generic Approach to Schedulability Analysis of Real-Time Tasks

Fersman, Elena; Yi, Wang

Part of Nordic Journal of Computing, p. 129-147, 2004

A generic approach to schedulability analysis of real-time tasks

Fersman, Elena; Wang, Yi

Part of Nordic Journal of Computing, 2004

Compact Data Structure and State-Space Reduction for Model-Checking Real-Time Systems

Larsen, Kim; Larsson, Fredrik; Pettersson, Paul; Yi, Wang

Part of The International Journal of Time-Critical Computing Systems, p. 255-275, 2003

Code Synthesis for Timed Automata

Amnell, Tobias; Fersman, Elena; Pettersson, Paul; Sun, Hongyan et al.

Part of Nordic Journal of Computing, p. 269-300, 2002

Testing preorders for probabilistic processes can be characterized by simulations

Jonsson, Bengt; Yi, Wang

Part of Theoretical Computer Science, p. 33-51, 2002

Automated Analysis of an Audio Control Protocol Using UPPAAL

Bengtsson, Johan; Griffioen, David; Kristoffersen, Kåre; Larsen, Kim et al.

Part of Journal of Logic and Algebraic Programming, p. 163-181, 2002

UPPAAL in a nutshell

Larsen, Kim Guldstrand; Pettersson, Paul; Yi, Wang

Part of International Journal on Software Tools for Technology Transfer, p. 134-152, 1997

• DOI for UPPAAL in a nutshell

A survey on static cache analysis for real-time systems

Lv, Mingsong; Guan, Nan; Reineke, Jan; Wilhelm, Reinhard et al.

Part of Leibniz Transactions on Embedded Systems, 2016

• DOI for A survey on static cache analysis for real-time systems

Causality Monitoring for MIMOS

Huang, Chengzi; Khodabandeloo, Behnam; Nguyen, Duc Anh; Wang, Yi et al.

Part of Principles of Formal Quantitative Analysis, p. 284-300, Springer, 2025

• DOI for Causality Monitoring for MIMOS

Timing is All You Need

Graf, Susanne; Jonsson, Bengt; Khodabandeloo, Behnam; Huang, Chengzi et al.

Part of The Combined Power of Research, Education, and Dissemination, p. 259-279, Springer, 2025

• DOI for Timing is All You Need

Characterization of simulation by probabilistic testing

Rümmer, Philipp; Yi, Wang

Part of Theory and Practice of Formal Methods, p. 360-372, Springer, 2016

• DOI for Characterization of simulation by probabilistic testing

Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata

Krcal, Pavel; Yi, Wang

Part of ARTES - A network for Real-Time research and graduate Education in Sweden 1997-2006, p. 259-280, Uppsala: Uppsala University, Teknisk-naturvetenskapliga vetenskapsområdet, Mathematics and Computer Science, Department of Information Technology, 2006

Timed Automata: Semantics, Algorithms and Tools

Bengtsson, Johan; Yi, Wang

Part of Lectures on Concurrency and Petri Nets, Advances in Petri Nets, p. 87-124, 2003

A Tool Architecture for the Next Generation of Uppaal

David, Alexandre; Behrmann, Gerd; Larsen, Kim; Yi, Wang

Part of Formal Methods at the Crossroads. From Panacea to Foundational Support, p. 352-366, Springer, 2002

Probabilistic Extensions of Process Algebras

Jonsson, Bengt; Larsen, Kim; Yi, Wang

p. 685-710, ELSEVIER, 2001

Nordic Journal of Computing: Selected Papers of the Sixteenth Nordic Workshop on Programming Theory, October 6-8, 2004

Pettersson, Paul; Wang, Yi

Publishing Accociation Nordic Journal of Computing, Helsinki, 2005

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software

Huber, Nikolaus; Graf, Susanne; Rümmer, Philipp; Wang, Yi

Part of Coordination Models and Languages, p. 90-113, 2025

• DOI for Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software

An Encoding of Interaction Nets in OCaml

Huber, Nikolaus; Wang, Yi

Part of Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models, p. 1-16, 2025

• DOI for An Encoding of Interaction Nets in OCaml
• Download full text (pdf) of An Encoding of Interaction Nets in OCaml

Timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals

Luo, Xiantong; Liang, Haochun; Tang, Yue; Jiang, Xu et al.

Part of Dependable Software Engineering, p. 275-292, 2025

• DOI for Timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals

Control Flow Divergence Optimization by Exploiting Tensor Cores

Pang, Weiguang; Jiang, Xu; Liu, Songran; Qiao, Lei et al.

Part of PROCEEDINGS OF THE 61ST ACM/IEEE DESIGN AUTOMATION CONFERENCE, DAC 2024, 2024

• DOI for Control Flow Divergence Optimization by Exploiting Tensor Cores

Real-Time Performance Analysis of Processing Systems on ROS 2 Executors

Tang, Yue; Guan, Nan; Jiang, Xu; Luo, Xiantong et al.

Part of 2023 IEEE 29th Real-Timea and Embedded Technology and Applications Symposium, RTAS, p. 80-92, 2023

• DOI for Real-Time Performance Analysis of Processing Systems on ROS 2 Executors

Analysis and Optimization of Worst-Case Time Disparity in Cause-Effect Chains

Jiang, Xu; Luo, Xiantong; Guan, Nan; Dong, Zheng et al.

Part of 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), p. 1-6, 2023

• DOI for Analysis and Optimization of Worst-Case Time Disparity in Cause-Effect Chains

Reaction Time Analysis of Event-Triggered Processing Chains with Data Refreshing

Tang, Yue; Guan, Nan; Jiang, Xu; Dong, Zheng et al.

Part of 2023 60th ACM/IEEE Design Automation Conference (DAC), 2023

• DOI for Reaction Time Analysis of Event-Triggered Processing Chains with Data Refreshing

Response Time Analysis and Optimization of DAG Tasks Exploiting Mutually Exclusive Execution

Liang, Haochun; Jiang, Xu; Guan, Nan; He, Qingqiang et al.

Part of 2023 60th ACM/IEEE Design Automation Conference (DAC), 2023

• DOI for Response Time Analysis and Optimization of DAG Tasks Exploiting Mutually Exclusive Execution

Scheduling and Analysis of Real-Time Tasks with Parallel Critical Sections

Wang, Yang; Jiang, Xu; Guan, Nan; Lv, Mingsong et al.

Part of Proceedings of the 59th ACM/IEEE Design Automation Conference, DAC 2022, p. 1255-1260, 2022

• DOI for Scheduling and Analysis of Real-Time Tasks with Parallel Critical Sections

Real-Time Scheduling and Analysis of Processing Chains on Multi-threaded Executor in ROS 2

Jiang, Xu; Ji, Dong; Guan, Nan; Li, Ruoxiang et al.

Part of 2022 IEEE Real-Time Systems Symposium (RTSS 2022), p. 27-39, 2022

• DOI for Real-Time Scheduling and Analysis of Processing Chains on Multi-threaded Executor in ROS 2

MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems

Wang, Yi; Mohaqeqi, Morteza; Graf, Susanne

Part of Coordination Models and Languages, p. 17-34, 2022

• DOI for MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems

Counting Priority Inversions: Computing Maximum Additional Core Requests of DAG Tasks

Mohaqeqi, Morteza; Dai, Gaoyang; Wang, Yi

Part of Proceedings Of The 2022 Design, Automation & Test In Europe Conference & Exhibition (DATE 2022), p. 1281-1286, 2022

• DOI for Counting Priority Inversions: Computing Maximum Additional Core Requests of DAG Tasks

Timing-Anomaly Free Dynamic Scheduling of Periodic DAG Tasks with Non-Preemptive Nodes

Dai, Gaoyang; Mohaqeqi, Morteza; Wang, Yi

Part of 2021 IEEE 27th International Conference On Embedded And Real-Time Computing Systems And Applications (RTCSA 2021), p. 119-128, 2021

• DOI for Timing-Anomaly Free Dynamic Scheduling of Periodic DAG Tasks with Non-Preemptive Nodes

Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors

Tang, Yue; Feng, Zhiwei; Guan, Nan; Jiang, Xu et al.

Part of 2020 IEEE Real-Time Systems Symposium (RTSS), p. 231-243, 2020

• DOI for Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors

On Computing Exact WCRT for DAG Tasks

Sun, Jinghao; Li, Feng; Guan, Nan; Zhu, Wentao et al.

Part of 57th ACM/IEEE Design Automation Conference, DAC 2020, San Francisco, CA, USA, July 20-24, 2020, p. 1-6, 2020

• DOI for On Computing Exact WCRT for DAG Tasks

On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms

Sun, Jinghao; Chi, Yaoyao; Xu, Tianfei; Cao, Lei et al.

Part of PROCEEDINGS OF THE 2020 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2020), p. 204-209, 2020

• DOI for On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms

Design and Dynamic Update of Real-Time Systems

Wang, Yi

Part of 2019 IEEE 40TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2019), p. 1-3, 2019

• DOI for Design and Dynamic Update of Real-Time Systems

Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems

Hao, Xiaochen; Lv, Mingsong; Zheng, Jiesheng; Zhang, Zhengkui et al.

Part of 2019 IEEE 37TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD 2019), p. 237-245, 2019

• DOI for Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems

Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication

Abdullah, Jakaria; Dai, Gaoyang; Wang, Yi

Part of Design, Automation & Test in Europe Conference & Exhibition, p. 1625-1630, 2019

• DOI for Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication

On the Consensus Mechanisms of Blockchain/DLT for Internet of Things

He, Qingqiang; Guan, Nan; Lv, Mingsong; Wang, Yi

Part of 2018 IEEE 13th International Symposium On Industrial Embedded Systems (SIES), p. 150-159, 2018

The Cause-Effect Latency Problem in Real-Time Systems

Wang, Yi

Part of Formal Methods For Industrial Critical Systems, FMICS 2018, 2018

Model Checking Bounded Continuous-time Extended Linear Duration Invariants

An, Jie; Zhan, Naijun; Li, Xiaoshan; Zhang, Miaomiao et al.

Part of HSCC 2018, p. 81-90, 2018

• DOI for Model Checking Bounded Continuous-time Extended Linear Duration Invariants

Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing

Abdullah, Jakaria; Dai, Gaoyang; Mohaqeqi, Morteza; Yi, Wang

Part of Proc. 24th Real-Time and Embedded Technology and Applications Symposium, p. 261-270, 2018

• DOI for Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing

Efficient Drone Hijacking Detection using Onboard Motion Sensors

Feng, Zhiwei; Guan, Nan; Lv, Mingsong; Liu, Weichen et al.

Part of Proceedings Of The 2017 Design, Automation & Test In Europe Conference & Exhibition (DATE), p. 1414-1419, 2017

• DOI for Efficient Drone Hijacking Detection using Onboard Motion Sensors

Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-hard

Ekberg, Pontus; Wang, Yi

Part of 2017 IEEE Real-Time Systems Symposium (RTSS), p. 139-146, 2017

• DOI for Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-hard

Towards Customizable CPS: Composability, Efficiency and Predictability

Wang, Yi

Part of Formal Methods and Software Engineering, p. 3-15, 2017

• DOI for Towards Customizable CPS: Composability, Efficiency and Predictability

Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems

Abdullah, Jakaria; Dai, Gaoyang; Guan, Nan; Mohaqeqi, Morteza et al.

Part of MODELS, ALGORITHMS, LOGICS AND TOOLS, p. 623-639, 2017

• DOI for Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems

An executable semantics for synchronous task graphs: From SDRT to Ada

Mohaqeqi, Morteza; Abdullah, Jakaria; Yi, Wang

Part of Reliable Software Technologies — Ada-Europe 2017, p. 137-152, 2017

• DOI for An executable semantics for synchronous task graphs: From SDRT to Ada

Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors

Jiang, Xu; Guan, Nan; Long, Xiang; Yi, Wang

Part of 2017 IEEE Real-Time Systems Symposium (RTSS), p. 80-91, 2017

• DOI for Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors

Revisiting GPC and AND Connector in Real-Time Calculus

Tang, Yue; Guan, Nan; Liu, Weichen; Phan, Linh Thi Xuan et al.

Part of 2017 IEEE Real-Time Systems Symposium (RTSS), p. 255-265, 2017

• DOI for Revisiting GPC and AND Connector in Real-Time Calculus

Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks

Sun, Jinghao; Guan, Nan; Wang, Yang; He, Qingqiang et al.

Part of 2017 IEEE Real-Time Systems Symposium (RTSS), p. 92-103, 2017

• DOI for Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks

Generalized Finitary Real-Time Calculus

Lampka, Kai; Bondorf, Steffen; Schmitt, Jens B.; Guan, Nan et al.

Part of IEEE INFOCOM 2017 - IEEE Conference on Computer Communications, 2017

• DOI for Generalized Finitary Real-Time Calculus

Benchmarking OpenMP Programs for Real-Time Scheduling

Wang, Yang; Guan, Nan; Sun, Jinghao; Lv, Mingsong et al.

Part of 2017 IEEE 23Rd International Conference On Embedded And Real-Time Computing Systems And Applications (RTSCA), 2017

• DOI for Benchmarking OpenMP Programs for Real-Time Scheduling

Synthesis of Ada code from graph-based task models

Abdullah, Jakaria; Mohaqeqi, Morteza; Yi, Wang

Part of Proc. 32nd ACM Symposium on Applied Computing, p. 1467-1472, 2017

• DOI for Synthesis of Ada code from graph-based task models

Refinement of workload models for engine controllers by state space partitioning

Mohaqeqi, Morteza; Abdullah, Jakaria; Ekberg, Pontus; Yi, Wang

Part of 29th Euromicro Conference on Real-Time Systems, 2017

• DOI for Refinement of workload models for engine controllers by state space partitioning

EDF-VD scheduling of mixed-criticality systems with degraded quality guarantees

Liu, Di; Spasic, Jelena; Guan, Nan; Chen, Gang et al.

Part of Proc. 37th Real-Time Systems Symposium, p. 35-46, 2016

• DOI for EDF-VD scheduling of mixed-criticality systems with degraded quality guarantees

Transforming real-time task graphs to improve schedulability

Gu, Chuancai; Guan, Nan; Feng, Zhiwei; Deng, Qingxu et al.

Part of Proc. 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, p. 29-38, 2016

• DOI for Transforming real-time task graphs to improve schedulability

Schedulability analysis of synchronous digraph real-time tasks

Mohaqeqi, Morteza; Abdullah, Jakaria; Guan, Nan; Yi, Wang

Part of Proc. 28th Euromicro Conference on Real-Time Systems, p. 176-186, 2016

• DOI for Schedulability analysis of synchronous digraph real-time tasks

Improving performance by monitoring while maintaining worst-case guarantees

Abdullah, Syed Md Jakaria; Lampka, Kai; Yi, Wang

Part of Proc. 19th Conference on Design, Automation and Test in Europe, p. 257-260, 2016

Modeling and analysis of data flow graphs using the digraph real-time task model

Mohaqeqi, Morteza; Abdullah, Jakaria; Yi, Wang

Part of Reliable Software Technologies — Ada-Europe 2016, p. 15-29, 2016

• DOI for Modeling and analysis of data flow graphs using the digraph real-time task model

Speed planning for solar-powered electric vehicles

Lv, Mingsong; Guan, Nan; Ma, Ye; Ji, Dong et al.

Part of Proc. 17th International Conference on Future Energy Systems, 2016

• DOI for Speed planning for solar-powered electric vehicles

On fixed-priority schedulability analysis of sporadic tasks with self-suspension

Mohaqeqi, Morteza; Ekberg, Pontus; Yi, Wang

Part of Proc. 24th International Conference on Real-Time Networks and Systems, p. 109-118, 2016

• DOI for On fixed-priority schedulability analysis of sporadic tasks with self-suspension

Uniprocessor feasibility of sporadic tasks with constrained deadlines is strongly coNP-complete

Ekberg, Pontus; Yi, Wang

Part of Proc. 27th Euromicro Conference on Real-Time Systems, p. 281-286, 2015

• DOI for Uniprocessor feasibility of sporadic tasks with constrained deadlines is strongly coNP-complete

Uniprocessor feasibility of sporadic tasks remains coNP-complete under bounded utilization

Ekberg, Pontus; Yi, Wang

Part of Proc. 36th Real-Time Systems Symposium, p. 87-95, 2015

• DOI for Uniprocessor feasibility of sporadic tasks remains coNP-complete under bounded utilization

Delay analysis of structural real-time workload

Guan, Nan; Tang, Yue; Wang, Yang; Yi, Wang

Part of Proc. 18th Conference on Design, Automation and Test in Europe, p. 223-228, 2015

• DOI for Delay analysis of structural real-time workload

Scalable timing analysis with refinement

Guan, Nan; Tang, Yue; Abdullah, Jakaria; Stigge, Martin et al.

Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 3-18, 2015

• DOI for Scalable timing analysis with refinement

The automatic detection and analysis of electrocardiogram based on Lorenz plot

Wang, Wenqi; Wei, Yangjie; Guan, Nan; Yi, Wang

Part of Proc. 12th International Conference on Robotics and Biomimetics, p. 644-649, 2015

• DOI for The automatic detection and analysis of electrocardiogram based on Lorenz plot

Modular performance analysis of energy-harvesting real-time networked systems

Guan, Nan; Zhao, Mengying; Xue, Chun Jason; Liu, Yongpan et al.

Part of Proc. 36th Real-Time Systems Symposium, p. 65-74, 2015

• DOI for Modular performance analysis of energy-harvesting real-time networked systems

Bounding carry-in interference to improve fixed-priority global multiprocessor scheduling analysis

Guan, Nan; Han, Meiling; Gu, Chuancai; Deng, Qingxu et al.

Part of Proc. 21st International Conference on Embedded and Real-Time Computing Systems and Applications, p. 11-20, 2015

• DOI for Bounding carry-in interference to improve fixed-priority global multiprocessor scheduling analysis

Understanding the Dynamic Caches on Intel Processors: Methods and Applications

Zhang, Yi; Guan, Nan; Yi, Wang

Part of 2014 12th IEEE International Conference on Embedded and Ubiquitous Computing, p. 58-64, 2014

• DOI for Understanding the Dynamic Caches on Intel Processors: Methods and Applications

Horn Clauses for Communicating Timed Systems

Hojjat, Hossein; Rümmer, Philipp; Subotic, Pavle; Wang, Yi

Part of Proceedings First Workshop on Horn Clauses for Verification and Synthesis, p. 39-52, 2014

• DOI for Horn Clauses for Communicating Timed Systems
• Download full text (pdf) of Horn Clauses for Communicating Timed Systems

Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks

Flodin, Jonas; Lampka, Kai; Yi, Wang

Part of Proc. 9th International Symposium on Industrial Embedded Systems, p. 151-159, 2014

• DOI for Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks

Performance isolation for real-time systems with Xen hypervisor on multi-cores

Jing, Wei; Guan, Nan; Yi, Wang

Part of Proc. 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

• DOI for Performance isolation for real-time systems with Xen hypervisor on multi-cores

Improving the response time analysis of global fixed-priority multiprocessor scheduling

Sun, Youcheng; Lipari, Giuseppe; Guan, Nan; Yi, Wang

Part of Proc. 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

• DOI for Improving the response time analysis of global fixed-priority multiprocessor scheduling

Refinement-based Exact Response-Time Analysis

Stigge, Martin; Guan, Nan; Yi, Wang

Part of 2014 26TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2014), p. 143-152, 2014

• DOI for Refinement-based Exact Response-Time Analysis

General and Efficient Response Time Analysis for EDF Scheduling

Guan, Nan; Yi, Wang

Part of Proc. 17th Conference on Design, Automation and Test in Europe, 2014

• DOI for General and Efficient Response Time Analysis for EDF Scheduling

Partitioned mixed-criticality scheduling on multiprocessor platforms

Gu, Chuancai; Guan, Nan; Deng, Qingxu; Yi, Wang

Part of Proc. 17th Conference on Design, Automation and Test in Europe, 2014

• DOI for Partitioned mixed-criticality scheduling on multiprocessor platforms

FIFO cache analysis for WCET estimation: A quantitative approach

Guan, Nan; Yang, Xinping; Lv, Mingsong; Yi, Wang

Part of Proc. 16th Conference on Design, Automation and Test in Europe, p. 296-301, 2013

• DOI for FIFO cache analysis for WCET estimation: A quantitative approach

Combinatorial Abstraction Refinement for Feasibility Analysis

Stigge, Martin; Yi, Wang

Part of IEEE 34TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2013), p. 340-349, 2013

• DOI for Combinatorial Abstraction Refinement for Feasibility Analysis

Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems

Guan, Nan; Yi, Wang

Part of Proc. Real-Time Systems Symposium, 2013

Improving OCBP-based scheduling for mixed-criticality sporadic task systems

Gu, Chuancai; Guan, Nan; Deng, Qingxu; Yi, Wang

Part of Proc. 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

Bounding and shaping the demand of mixed-criticality sporadic tasks

Ekberg, Pontus; Yi, Wang

Part of Proc. 24th Euromicro Conference on Real-Time Systems, p. 135-144, 2012

• DOI for Bounding and shaping the demand of mixed-criticality sporadic tasks

Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling

Guan, Nan; Stigge, Martin; Yi, Wang; Yu, Ge

Part of 2012 IEEE 26th International Parallel and Distributed Processing Symposium (IPDPS), p. 261-272, 2012

• DOI for Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling

WCET analysis with MRU caches: Challenging LRU for predictability

Guan, Nan; Lv, Mingsong; Yi, Wang; Yu, Ge

Part of Proc. 18th Real-Time and Embedded Technology and Applications Symposium, p. 55-64, 2012

• DOI for WCET analysis with MRU caches: Challenging LRU for predictability

Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound

Guan, Nan; Yi, Wang

Part of 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW), p. 2470-2473, 2012

• DOI for Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound

Hardness Results for Static Priority Real-Time Scheduling

Stigge, Martin; Yi, Wang

Part of Proceedings Of The 24th Euromicro Conference On Real-Time Systems (Ecrts 2012), p. 189-198, 2012

• DOI for Hardness Results for Static Priority Real-Time Scheduling

Implementation and empirical comparison of partitioning-based multi-core scheduling

Zhang, Yi; Guan, Nan; Xiao, Yanbin; Yi, Wang

Part of Proc. 6th International Symposium on Industrial Embedded Systems, p. 248-255, 2011

• DOI for Implementation and empirical comparison of partitioning-based multi-core scheduling

On the tractability of digraph-based task models

Stigge, Martin; Ekberg, Pontus; Guan, Nan; Yi, Wang

Part of Proc. 23rd Euromicro Conference on Real-Time Systems, p. 162-171, 2011

• DOI for On the tractability of digraph-based task models

McAiT — a timing analyzer for multicore real-time software

Lv, Mingsong; Guan, Nan; Deng, Qingxu; Yu, Ge et al.

Part of Automated Technology for Verification and Analysis, p. 414-417, 2011

• DOI for McAiT — a timing analyzer for multicore real-time software

Memory access aware mapping for networks-on-chip

Jin, Xi; Guan, Nan; Deng, Qingxu; Yi, Wang

Part of Proc. 17th International Conference on Embedded and Real-Time Computing Systems and Applications, p. 339-348, 2011

• DOI for Memory access aware mapping for networks-on-chip

Resource sharing protocols for real-time task graph systems

Guan, Nan; Ekberg, Pontus; Stigge, Martin; Yi, Wang

Part of Proc. 23rd Euromicro Conference on Real-Time Systems, p. 272-281, 2011

• DOI for Resource sharing protocols for real-time task graph systems

Effective and efficient scheduling of certifiable mixed-criticality sporadic task systems

Guan, Nan; Ekberg, Pontus; Stigge, Martin; Yi, Wang

Part of Proc. Real-Time Systems Symposium, p. 13-23, 2011

• DOI for Effective and efficient scheduling of certifiable mixed-criticality sporadic task systems

The digraph real-time task model

Stigge, Martin; Ekberg, Pontus; Guan, Nan; Yi, Wang

Part of 17th Real-Time and Embedded Technology and Applications Symposium, p. 71-80, 2011

• DOI for The digraph real-time task model

Towards the implementation and evaluation of semi-partitioned multi-core scheduling

Zhang, Yi; Guan, Nan; Yi, Wang

Part of Bringing Theory to Practice, p. 42-46, 2011

• DOI for Towards the implementation and evaluation of semi-partitioned multi-core scheduling

Energy-efficient scheduling of real-time tasks on cluster-based multicores

Kong, Fanxin; Yi, Wang; Deng, Qingxu

Part of Proc. 14th Conference on Design, Automation and Test in Europe, 2011

Energy-efficient scheduling for parallel real-time tasks based on level-packing

Kong, Fanxin; Guan, Nan; Deng, Qingxu; Yi, Wang

Part of Proc. 26th ACM Symposium on Applied Computing, p. 635-640, 2011

• DOI for Energy-efficient scheduling for parallel real-time tasks based on level-packing

Minimizing Multi-Resource Energy for Real-Time Systems with Discrete Operation Modes

Kong, Fanxin; Wang, Yiqun; Deng, Qingxu; Yi, Wang

Part of Proc. 22nd Euromicro Conference on Real-Time Systems, p. 113-122, 2010

• DOI for Minimizing Multi-Resource Energy for Real-Time Systems with Discrete Operation Modes

Multicore embedded systems: The timing problem and possible solutions

Yi, Wang

Part of Formal Methods and Software Engineering, p. 22-23, 2010

• DOI for Multicore embedded systems: The timing problem and possible solutions

Fixed-Priority Multiprocessor Scheduling with Liu & Layland's Utilization Bound

Guan, Nan; Stigge, Martin; Yi, Wang; Yu, Ge

Part of Proc. 16th Real-Time and Embedded Technology and Applications Symposium, p. 165-174, 2010

• DOI for Fixed-Priority Multiprocessor Scheduling with Liu & Layland's Utilization Bound

Combining abstract interpretation with model checking for timing analysis of multicore software

Lv, Mingsong; Yi, Wang; Guan, Nan; Yu, Ge

Part of Proc. Real-Time Systems Symposium, p. 339-349, 2010

• DOI for Combining abstract interpretation with model checking for timing analysis of multicore software

Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs

Guan, Nan; Gu, Zonghua; Yi, Wang; Yu, Ge

Part of Proc. 14th Asia and South Pacific Design Automation Conference, p. 715-720, 2009

• DOI for Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs

WCET Analysis of the μC/OS-II Real-Time Kernel

Lv, Mingsong; Guan, Nan; Zhang, Yi; Chen, Rui et al.

Part of Proc. 12th International Conference on Computational Science and Engineering, p. 270-276, 2009

• DOI for WCET Analysis of the μC/OS-II Real-Time Kernel

Cache-aware scheduling and analysis for multicores

Guan, Nan; Stigge, Martin; Yi, Wang; Yu, Ge

Part of Proc. 9th ACM International Conference on Embedded Software, p. 245-254, 2009

• DOI for Cache-aware scheduling and analysis for multicores

New Response Time Bounds for Fixed Priority Multiprocessor Scheduling

Guan, Nan; Stigge, Martin; Yi, Wang; Yu, Ge

Part of Proc. Real-Time Systems Symposium, p. 387-397, 2009

• DOI for New Response Time Bounds for Fixed Priority Multiprocessor Scheduling

Modeling and analysis of thread-pools in an industrial communication platform

de Boer, Frank S.; Grabe, Immo; Jaghoori, Mohammad Mahdi; Stam, Andries et al.

Part of Formal Methods and Software Engineering, p. 367-386, 2009

• DOI for Modeling and analysis of thread-pools in an industrial communication platform

Model-based validation of QoS properties of biomedical sensor networks

Tschirner, Simon; Xuedong, Liang; Yi, Wang

Part of Proc. 8th ACM International Conference on Embedded Software, p. 69-78, 2008

• DOI for Model-based validation of QoS properties of biomedical sensor networks

Cyclic dependencies in modular performance analysis

Jonsson, Bengt; Perathoner, Simon; Thiele, Lothar; Yi, Wang

Part of Proc. 8th ACM International Conference on Embedded Software, p. 179-188, 2008

• DOI for Cyclic dependencies in modular performance analysis

R-automata

Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang

Part of CONCUR 2008 - Concurrency Theory, p. 67-81, 2008

• DOI for R-automata

On-line placement of real-time tasks on 2D partially run-time reconfigurable FPGAs

Deng, Qingxu; Kong, Fanxin; Guan, Nan; Lv, Mingsong et al.

Part of Proc. 5th IEEE International Symposium on Embedded Computing, p. 20-25, 2008

• DOI for On-line placement of real-time tasks on 2D partially run-time reconfigurable FPGAs

New schedulability test conditions for non-preemptive scheduling on multiprocessor platforms

Guan, Nan; Yi, Wang; Gu, Zonghua; Deng, Qingxu et al.

Part of Proc. Real-Time Systems Symposium, p. 137-146, 2008

• DOI for New schedulability test conditions for non-preemptive scheduling on multiprocessor platforms

Multi-processor schedulability analysis of preemptive real-time tasks with variable execution times

Krcal, Pavel; Stigge, Martin; Yi, Wang

Part of Formal Modeling and Analysis of Timed Systems, p. 274-289, 2007

• DOI for Multi-processor schedulability analysis of preemptive real-time tasks with variable execution times

Sampled universality of timed automata

Abdulla, Parosh Aziz; Krcal, Pavel; Yi, Wang

Part of Foundations of Software Science and Computational Structures, Proceedings, p. 2-16, 2007

• DOI for Sampled universality of timed automata

Communicating Timed Automata: The More Synchronous, the More Difficult to Verify

Krcal, Pavel; Yi, Wang

Part of Computer Aided Verification (CAV 2006), p. 14, 2006

Uppaal 4.0

Behrmann, Gerd; David, Alexandre; Larsen, Kim G.; Håkansson, John et al.

Part of Proceedings of 3rd International Conference on Quantitative Evaluation of Systems, 2006

An Optimal Approach to Hardware/Software Partitioning for Synchronous Model

Pu, Geguang; Dang, Hung; He, Jifeng; Yi, Wang

Part of Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004., 2004

An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model

Pu, Geguang; Zhao, Xiangpeng; Wang, Shuling; Qiu, Zhongyan et al.

Part of 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China, 2004

Timed vs Time Triggered Automata

Krcal, Pavel; Thiagarajan, P.S.; Wang, Yi; Mokrushin, Leonid

Part of CONCUR 2004, London, UK, p. 340-354, 2004

An Approach to Hardware/Software Partitioning for Pultiple Hardware Devices Model

Pu, Geguang; Zhao, Xiaopeng; Qiu, Zongyan; He, Jifeng et al.

Part of 3rd IEEE International Conf. on Software Engineering and Formal Methods, 2004

Timed Automata: Semantics, Algorithms and Tools

Bengtsson, Johan; Wang, Yi

Part of In Lecture Notes on Concurrency and Petri Nets, 2004

Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata

Krcal, Pavel; Wang, Yi

Part of TACAS 2004, LNCS 2988, 2004

Timed Patterns: TCOZ to Timed Automata

Ping, Hao; Jin, Song Dong; Sheng, Chao Qin; Jun, Sun et al.

Part of 6th International Conf. on Formal Engineering Methods, 2004

An Analysis Tool for UML Models with SPT Annotations

Håkansson, John; Mokrushin, Leonid; Pettersson, Paul; Wang, Yi

Part of Proceedings of the International Workshop on Specification and Validation of UML models for Real Time and Embedded Systems, 2004

Unification & Sharing in Timed Automata Verification

David, Alexandre; Behrmann, Gerd; Larsen, Kim; Yi, Wang

Part of Model Checking Software, 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, 2003

On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata

Bengtsson, Johan; Yi, Wang

Part of Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, 2003

Schedulability Analysis using Two Clocks

Fersman, Elena; Mokrushin, Leonid; Pettersson, Paul; Yi, Wang

Part of Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2003

TIMES: a Tool for Schedulability Analysis and Code Generation of Real-Time Systems

Amnell, Tobias; Fersman, Elena; Mokrushin, Leonid; Pettersson, Paul et al.

Part of Proceedings of the International Conference of Formal Modeling and Analysis of Timed Systems, 2003

TIMES: A Tool for Modelling and Implementation of Embedded Systems

Amnell, Tobias; Fersman, Elena; Mokrushin, Leonid; Pettersson, Paul et al.

Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 460-464, 2002

• DOI for TIMES: A Tool for Modelling and Implementation of Embedded Systems

New UPPAAL Architecture

Behrmann, Gerd; David, Alexandre; Larsen, Kim; yi, Wang

Part of Workshop on Real-Time Tools, 2002

Formal Verification of UML Statecharts with Real-Time Extensions

David, Alexandre; Möller, Oliver; Yi, Wang

Part of Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, p. 218-232, 2002

UPPAAL Implementation Secrets

Behrmann Gerd, undefined; Bengtsson, Johan; David, Alexandre; Larsen, Kim et al.

Part of International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, p. 3, 2002

UPPAAL - Present and Future

Behrmann, Gerd; David, Alexandre; Larsen, Kim; Möller, Oliver et al.

Part of Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Tools for Real-Time UML: Formal Verification and Code Synthesis

Amnell, Tobias; David, Alexandre; Fersman, Elena; Möller, Oliver et al.

Part of Proceedings of the Workshop on Specification, Implementation and Validation of Object-oriented Embedded Systems, 2001

A complete axiomatisation for timed automata

Lin, Huimin; Yi, Wang

Part of FST TCS 2000, p. 277-289, 2000

On memory-block traversal problems in model-checking timed systems

Larsson, Fredrik; Pettersson, Paul; Yi, Wang

Part of Tools and Algorithms for the Construction and Analysis of Systems, p. 127-141, 2000

Fully Abstract Characterization of Probabilistic May Testin

Jonsson, Bengt; Wang, Yi

1999

Proceedings of the 6th ACM & IEEE International conference on Embedded software

Min, Sang; Yi, Wang

2006

Nordic Journal of Computing

Pettersson, Paul; Wang, Yi

2005

Formal Modeling and Analysis of Timed Systems, Third International Conference

Pettersson, Paul; Wang, Yi

2005

Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala Sweden, September 2005, Proceedings

Pettersson, Paul; Wang, Yi

2005

Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001, Genova, Italy, April 2-6, 2001

Margaria, Tiziana; Yi, Wang

2001

Proceedings of the 11th Nordic Workshop on Programming Theory

Victor, Björn; Yi, Wang

1999

Compiling the Mimosa programming language to RTOS tasks

Huber, Nikolaus; Graf, Susanne; Rümmer, Philipp; Wang, Yi

2025

Communicating Timed Automata: The More Synchronous, the More Difficult to Verify

Krcal, Pavel; Yi, Wang

2006

Proceedings of the 16th Nordic Workshop on Programming Theory

Pettersson, Paul; Yi, Wang

2004

Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata

Krcal, Pavel; Yi, Wang

2003

• Download full text (pdf) of Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata

Verification of UML Statecharts with Real-Time Extensions

David, Alexandre; Möller, M. Oliver; Yi, Wang

2003

• Download full text (ps) of Verification of UML Statecharts with Real-Time Extensions

Workshop on Real-Time Tools

Pettersson, Paul; Yi, Wang

2002

A Proof System for Timed Automata

Lin, Huimin; Wang, Yi

1999

• Download full text (pdf) of A Proof System for Timed Automata