Yi Wang

Causality Monitoring for MIMOS

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

Ingår i Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday, Springer, 2025

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

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

Ingår i IEEE Transactions on Parallel and Distributed Systems, s. 2621-2634, 2025

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

Compiling the Mimosa programming language to RTOS tasks

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

2025

• DOI för Compiling the Mimosa programming language to RTOS tasks

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software

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

Ingår i Coordination Models and Languages, s. 90-113, 2025

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

An Encoding of Interaction Nets in OCaml

Huber, Nikolaus; Wang, Yi

Ingår i Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models, s. 1-16, 2025

• DOI för An Encoding of Interaction Nets in OCaml
• Ladda ner fulltext (pdf) av An Encoding of Interaction Nets in OCaml

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

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

Ingår i IEEE Transactions on Parallel and Distributed Systems, s. 2621-2634, 2025

• DOI för 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

Ingår i Journal of systems architecture, 2025

• DOI för 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.

Ingår i Journal of systems architecture, 2025

• DOI för 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.

Ingår i Journal of systems architecture, 2024

• DOI för 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.

Ingår i IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, s. 2578-2591, 2024

• DOI för 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.

Ingår i Journal of systems architecture, 2023

• DOI för 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

Ingår i Journal of systems architecture, 2023

• DOI för 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.

Ingår i IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, s. 3720-3732, 2023

• DOI för 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.

Ingår i Journal of systems architecture, 2023

• DOI för 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.

Ingår i IEEE Transactions on Parallel and Distributed Systems, s. 33-47, 2023

• DOI för 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.

Ingår i IEEE Transactions on Parallel and Distributed Systems, s. 4117-4133, 2022

• DOI för 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.

Ingår i IEEE transactions on consumer electronics, s. 170-180, 2022

• DOI för 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

Ingår i IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, s. 3673-3684, 2022

• DOI för 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.

Ingår i Journal of systems architecture, 2021

• DOI för 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.

Ingår i IEEE Transactions on Computers, s. 199-211, 2021

• DOI för 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.

Ingår i Journal of Circuits, Systems and Computers, 2021

• DOI för Flexible Mixed-Criticality Scheduling with Dynamic Slack Management
• Ladda ner fulltext (pdf) av 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.

Ingår i IEEE Transactions on Parallel and Distributed Systems, s. 1322-1339, 2021

• DOI för 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.

Ingår i IEEE Transactions on Industrial Informatics, s. 1583-1591, 2021

• DOI för 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.

Ingår i ACM Transactions on Embedded Computing Systems, 2021

• DOI för 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.

Ingår i Journal of systems architecture, 2020

• DOI för 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.

Ingår i IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, s. 4537-4548, 2020

• DOI för 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.

Ingår i IEEE Transactions on Computers, s. 1335-1348, 2020

• DOI för 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

Ingår i IEEE transactions on rehabilitation engineering, s. 112772-112782, 2020

• DOI för 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

Ingår i Journal of systems architecture, 2020

• DOI för 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.

Ingår i ACM Transactions on Embedded Computing Systems, 2019

• DOI för 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

Ingår i Journal of systems architecture, s. 443-452, 2019

• DOI för 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

Ingår i Cluster Computing, s. 1459-1467, 2019

• DOI för 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.

Ingår i IEEE Transactions on Computers, s. 543-558, 2018

• DOI för 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.

Ingår i IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, s. 2200-2211, 2018

• DOI för 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

Ingår i IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, s. 2393-2403, 2018

• DOI för 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

Ingår i Real-time systems, s. 1-37, 2016

• DOI för 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.

Ingår i Infrared physics & technology, s. 366-374, 2016

• DOI för Multi-feature fusion for thermal face recognition

Dynamic blind source separation based on source-direction prediction

Wei, Yangjie; Yi, Wang

Ingår i Neurocomputing, s. 73-81, 2016

• DOI för 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

Ingår i Journal of systems architecture, s. 61-68, 2016

• DOI för 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.

Ingår i ACM Transactions on Embedded Computing Systems, 2016

• DOI för 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.

Ingår i IEEE Sensors Journal, s. 806-816, 2016

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

Efficient shape reconstruction of microlens using optical microscopy

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

Ingår i IEEE Transactions on Industrial Electronics, s. 7655-7664, 2015

• DOI för Efficient shape reconstruction of microlens using optical microscopy

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

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

Ingår i Optics Express, s. 30364-30378, 2015

• DOI för Diffusion-based three-dimensional reconstruction of complex surface using monocular vision

An optimal resource sharing protocol for generalized multiframe tasks

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

Ingår i The Journal of logical and algebraic methods in programming, s. 92-105, 2015

• DOI för An optimal resource sharing protocol for generalized multiframe tasks
• Ladda ner fulltext (pdf) av An optimal resource sharing protocol for generalized multiframe tasks

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

Stigge, Martin; Yi, Wang

Ingår i Real-time systems, s. 602-636, 2015

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

Combinatorial abstraction refinement for feasibility analysis of static priorities

Stigge, Martin; Yi, Wang

Ingår i Real-time systems, s. 639-674, 2015

• DOI för 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.

Ingår i IEEE Intelligent Systems, s. 38-48, 2015

• DOI för 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

Ingår i Real-time systems, s. 48-86, 2014

• DOI för Bounding and shaping the demand of generalized mixed-criticality sporadic task systems
• Ladda ner fulltext (pdf) av 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.

Ingår i ACM Transactions on Embedded Computing Systems, 2014

• DOI för Building timing predictable embedded systems

WCET Analysis with MRU Cache: Challenging LRU for Predictability

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

Ingår i ACM Transactions on Embedded Computing Systems, 2014

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

The fork-join real-time task model

Stigge, Martin; Ekberg, Pontus; Yi, Wang

Ingår i ACM SIGBED Review, s. 20-20, 2013

• DOI för The fork-join real-time task model
• Ladda ner fulltext (pdf) av The fork-join real-time task model

Developing UPPAAL over 15 years

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

Ingår i Software, practice & experience, s. 133-142, 2011

• DOI för Developing UPPAAL over 15 years

Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling

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

Ingår i Journal of systems architecture, s. 536-546, 2011

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

Sampled semantics of timed automata

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

Ingår i Logical Methods in Computer Science, 2010

• DOI för 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.

Ingår i Frontiers of Computer Science in China, s. 17-27, 2010

• DOI för 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

Ingår i Electronic Notes in Theoretical Computer Science, s. 131-141, 2009

• DOI för Universality of R-automata with value copying

Timed Automata Patterns

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

Ingår i IEEE Transactions on Software Engineering, s. 844-859, 2008

• DOI för Timed Automata Patterns

Task automata: Schedulability, decidability and undecidability

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

Ingår i Information and Computation, s. 1149-1172, 2007

• DOI för Task automata: Schedulability, decidability and undecidability

Schedulability Analysis of Fixed Priority Systems using Timed Automata

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

Ingår i Theoretical Computer Science, s. 301-317, 2006

Exploring optimal solution to hardware/software partitioning for synchronous model

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

Ingår i Formal Aspects of Computing, s. 587-611, 2005

A Generic Approach to Schedulability Analysis of Real-Time Tasks

Fersman, Elena; Yi, Wang

Ingår i Nordic Journal of Computing, s. 129-147, 2004

A generic approach to schedulability analysis of real-time tasks

Fersman, Elena; Wang, Yi

Ingår i 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

Ingår i The International Journal of Time-Critical Computing Systems, s. 255-275, 2003

Code Synthesis for Timed Automata

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

Ingår i Nordic Journal of Computing, s. 269-300, 2002

Testing preorders for probabilistic processes can be characterized by simulations

Jonsson, Bengt; Yi, Wang

Ingår i Theoretical Computer Science, s. 33-51, 2002

Automated Analysis of an Audio Control Protocol Using UPPAAL

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

Ingår i Journal of Logic and Algebraic Programming, s. 163-181, 2002

UPPAAL in a nutshell

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

Ingår i International Journal on Software Tools for Technology Transfer, s. 134-152, 1997

• DOI för UPPAAL in a nutshell

A survey on static cache analysis for real-time systems

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

Ingår i Leibniz Transactions on Embedded Systems, 2016

• DOI för 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.

Ingår i Principles of Formal Quantitative Analysis - Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday, Springer, 2025

Timing is All You Need

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

Ingår i The Combined Power of Research, Education, and Dissemination, s. 259-279, Springer, 2025

• DOI för Timing is All You Need

Characterization of simulation by probabilistic testing

Rümmer, Philipp; Yi, Wang

Ingår i Theory and Practice of Formal Methods, s. 360-372, Springer, 2016

• DOI för Characterization of simulation by probabilistic testing

Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata

Krcal, Pavel; Yi, Wang

Ingår i ARTES - A network for Real-Time research and graduate Education in Sweden 1997-2006, s. 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

Ingår i Lectures on Concurrency and Petri Nets, Advances in Petri Nets, s. 87-124, 2003

A Tool Architecture for the Next Generation of Uppaal

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

Ingår i Formal Methods at the Crossroads. From Panacea to Foundational Support, s. 352-366, Springer, 2002

Probabilistic Extensions of Process Algebras

Jonsson, Bengt; Larsen, Kim; Yi, Wang

s. 685-710, ELSEVIER, 2001

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software

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

Ingår i Coordination Models and Languages, s. 90-113, 2025

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

An Encoding of Interaction Nets in OCaml

Huber, Nikolaus; Wang, Yi

Ingår i Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models, s. 1-16, 2025

• DOI för An Encoding of Interaction Nets in OCaml
• Ladda ner fulltext (pdf) av 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.

Ingår i Dependable Software Engineering, s. 275-292, 2025

• DOI för 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.

Ingår i PROCEEDINGS OF THE 61ST ACM/IEEE DESIGN AUTOMATION CONFERENCE, DAC 2024, 2024

• DOI för 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.

Ingår i 2023 IEEE 29th Real-Timea and Embedded Technology and Applications Symposium, RTAS, s. 80-92, 2023

• DOI för 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.

Ingår i 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), s. 1-6, 2023

• DOI för 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.

Ingår i 2023 60th ACM/IEEE Design Automation Conference (DAC), 2023

• DOI för 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.

Ingår i 2023 60th ACM/IEEE Design Automation Conference (DAC), 2023

• DOI för 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.

Ingår i Proceedings of the 59th ACM/IEEE Design Automation Conference, DAC 2022, s. 1255-1260, 2022

• DOI för 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.

Ingår i 2022 IEEE Real-Time Systems Symposium (RTSS 2022), s. 27-39, 2022

• DOI för 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

Ingår i Coordination Models and Languages, s. 17-34, 2022

• DOI för 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

Ingår i Proceedings Of The 2022 Design, Automation & Test In Europe Conference & Exhibition (DATE 2022), s. 1281-1286, 2022

• DOI för 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

Ingår i 2021 IEEE 27th International Conference On Embedded And Real-Time Computing Systems And Applications (RTCSA 2021), s. 119-128, 2021

• DOI för 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.

Ingår i 2020 IEEE Real-Time Systems Symposium (RTSS), s. 231-243, 2020

• DOI för 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.

Ingår i 57th ACM/IEEE Design Automation Conference, DAC 2020, San Francisco, CA, USA, July 20-24, 2020, s. 1-6, 2020

• DOI för 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.

Ingår i PROCEEDINGS OF THE 2020 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2020), s. 204-209, 2020

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

Design and Dynamic Update of Real-Time Systems

Wang, Yi

Ingår i 2019 IEEE 40TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2019), s. 1-3, 2019

• DOI för 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.

Ingår i 2019 IEEE 37TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD 2019), s. 237-245, 2019

• DOI för 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

Ingår i Design, Automation & Test in Europe Conference & Exhibition, s. 1625-1630, 2019

• DOI för 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

Ingår i 2018 IEEE 13th International Symposium On Industrial Embedded Systems (SIES), s. 150-159, 2018

The Cause-Effect Latency Problem in Real-Time Systems

Wang, Yi

Ingår i 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.

Ingår i HSCC 2018, s. 81-90, 2018

• DOI för 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

Ingår i Proc. 24th Real-Time and Embedded Technology and Applications Symposium, s. 261-270, 2018

• DOI för 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.

Ingår i Proceedings Of The 2017 Design, Automation & Test In Europe Conference & Exhibition (DATE), s. 1414-1419, 2017

• DOI för Efficient Drone Hijacking Detection using Onboard Motion Sensors

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

Ekberg, Pontus; Wang, Yi

Ingår i 2017 IEEE Real-Time Systems Symposium (RTSS), s. 139-146, 2017

• DOI för Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-hard

Towards Customizable CPS: Composability, Efficiency and Predictability

Wang, Yi

Ingår i Formal Methods and Software Engineering, s. 3-15, 2017

• DOI för 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.

Ingår i MODELS, ALGORITHMS, LOGICS AND TOOLS, s. 623-639, 2017

• DOI för 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

Ingår i Reliable Software Technologies — Ada-Europe 2017, s. 137-152, 2017

• DOI för 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

Ingår i 2017 IEEE Real-Time Systems Symposium (RTSS), s. 80-91, 2017

• DOI för 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.

Ingår i 2017 IEEE Real-Time Systems Symposium (RTSS), s. 255-265, 2017

• DOI för 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.

Ingår i 2017 IEEE Real-Time Systems Symposium (RTSS), s. 92-103, 2017

• DOI för 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.

Ingår i IEEE INFOCOM 2017 - IEEE Conference on Computer Communications, 2017

• DOI för Generalized Finitary Real-Time Calculus

Benchmarking OpenMP Programs for Real-Time Scheduling

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

Ingår i 2017 IEEE 23Rd International Conference On Embedded And Real-Time Computing Systems And Applications (RTSCA), 2017

• DOI för Benchmarking OpenMP Programs for Real-Time Scheduling

Synthesis of Ada code from graph-based task models

Abdullah, Jakaria; Mohaqeqi, Morteza; Yi, Wang

Ingår i Proc. 32nd ACM Symposium on Applied Computing, s. 1467-1472, 2017

• DOI för 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

Ingår i 29th Euromicro Conference on Real-Time Systems, 2017

• DOI för 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.

Ingår i Proc. 37th Real-Time Systems Symposium, s. 35-46, 2016

• DOI för 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.

Ingår i Proc. 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, s. 29-38, 2016

• DOI för Transforming real-time task graphs to improve schedulability

Schedulability analysis of synchronous digraph real-time tasks

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

Ingår i Proc. 28th Euromicro Conference on Real-Time Systems, s. 176-186, 2016

• DOI för 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

Ingår i Proc. 19th Conference on Design, Automation and Test in Europe, s. 257-260, 2016

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

Mohaqeqi, Morteza; Abdullah, Jakaria; Yi, Wang

Ingår i Reliable Software Technologies — Ada-Europe 2016, s. 15-29, 2016

• DOI för 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.

Ingår i Proc. 17th International Conference on Future Energy Systems, 2016

• DOI för Speed planning for solar-powered electric vehicles

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

Mohaqeqi, Morteza; Ekberg, Pontus; Yi, Wang

Ingår i Proc. 24th International Conference on Real-Time Networks and Systems, s. 109-118, 2016

• DOI för On fixed-priority schedulability analysis of sporadic tasks with self-suspension

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

Ekberg, Pontus; Yi, Wang

Ingår i Proc. 36th Real-Time Systems Symposium, s. 87-95, 2015

• DOI för Uniprocessor feasibility of sporadic tasks remains coNP-complete under bounded utilization

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

Ekberg, Pontus; Yi, Wang

Ingår i Proc. 27th Euromicro Conference on Real-Time Systems, s. 281-286, 2015

• DOI för Uniprocessor feasibility of sporadic tasks with constrained deadlines is strongly coNP-complete

Scalable timing analysis with refinement

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

Ingår i Tools and Algorithms for the Construction and Analysis of Systems, s. 3-18, 2015

• DOI för Scalable timing analysis with refinement

Delay analysis of structural real-time workload

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

Ingår i Proc. 18th Conference on Design, Automation and Test in Europe, s. 223-228, 2015

• DOI för Delay analysis of structural real-time workload

The automatic detection and analysis of electrocardiogram based on Lorenz plot

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

Ingår i Proc. 12th International Conference on Robotics and Biomimetics, s. 644-649, 2015

• DOI för The automatic detection and analysis of electrocardiogram based on Lorenz plot

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

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

Ingår i Proc. 21st International Conference on Embedded and Real-Time Computing Systems and Applications, s. 11-20, 2015

• DOI för Bounding carry-in interference to improve fixed-priority global multiprocessor scheduling analysis

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

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

Ingår i Proc. 36th Real-Time Systems Symposium, s. 65-74, 2015

• DOI för Modular performance analysis of energy-harvesting real-time networked systems

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

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

Ingår i Proc. 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

• DOI för Improving the response time analysis of global fixed-priority multiprocessor scheduling

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

Jing, Wei; Guan, Nan; Yi, Wang

Ingår i Proc. 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

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

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

Flodin, Jonas; Lampka, Kai; Yi, Wang

Ingår i Proc. 9th International Symposium on Industrial Embedded Systems, s. 151-159, 2014

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

Horn Clauses for Communicating Timed Systems

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

Ingår i Proceedings First Workshop on Horn Clauses for Verification and Synthesis, s. 39-52, 2014

• DOI för Horn Clauses for Communicating Timed Systems
• Ladda ner fulltext (pdf) av Horn Clauses for Communicating Timed Systems

Understanding the Dynamic Caches on Intel Processors: Methods and Applications

Zhang, Yi; Guan, Nan; Yi, Wang

Ingår i 2014 12th IEEE International Conference on Embedded and Ubiquitous Computing, s. 58-64, 2014

• DOI för Understanding the Dynamic Caches on Intel Processors: Methods and Applications

Refinement-based Exact Response-Time Analysis

Stigge, Martin; Guan, Nan; Yi, Wang

Ingår i 2014 26TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2014), s. 143-152, 2014

• DOI för Refinement-based Exact Response-Time Analysis

Partitioned mixed-criticality scheduling on multiprocessor platforms

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

Ingår i Proc. 17th Conference on Design, Automation and Test in Europe, 2014

• DOI för Partitioned mixed-criticality scheduling on multiprocessor platforms

General and Efficient Response Time Analysis for EDF Scheduling

Guan, Nan; Yi, Wang

Ingår i Proc. 17th Conference on Design, Automation and Test in Europe, 2014

• DOI för General and Efficient Response Time Analysis for EDF Scheduling

Combinatorial Abstraction Refinement for Feasibility Analysis

Stigge, Martin; Yi, Wang

Ingår i IEEE 34TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2013), s. 340-349, 2013

• DOI för Combinatorial Abstraction Refinement for Feasibility Analysis

FIFO cache analysis for WCET estimation: A quantitative approach

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

Ingår i Proc. 16th Conference on Design, Automation and Test in Europe, s. 296-301, 2013

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

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

Guan, Nan; Yi, Wang

Ingår i Proc. Real-Time Systems Symposium, 2013

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

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

Ingår i 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

Ingår i Proc. 24th Euromicro Conference on Real-Time Systems, s. 135-144, 2012

• DOI för Bounding and shaping the demand of mixed-criticality sporadic tasks

WCET analysis with MRU caches: Challenging LRU for predictability

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

Ingår i Proc. 18th Real-Time and Embedded Technology and Applications Symposium, s. 55-64, 2012

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

Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling

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

Ingår i 2012 IEEE 26th International Parallel and Distributed Processing Symposium (IPDPS), s. 261-272, 2012

• DOI för Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling

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

Guan, Nan; Yi, Wang

Ingår i 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW), s. 2470-2473, 2012

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

Hardness Results for Static Priority Real-Time Scheduling

Stigge, Martin; Yi, Wang

Ingår i Proceedings Of The 24th Euromicro Conference On Real-Time Systems (Ecrts 2012), s. 189-198, 2012

• DOI för Hardness Results for Static Priority Real-Time Scheduling

Memory access aware mapping for networks-on-chip

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

Ingår i Proc. 17th International Conference on Embedded and Real-Time Computing Systems and Applications, s. 339-348, 2011

• DOI för Memory access aware mapping for networks-on-chip

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

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

Ingår i Proc. Real-Time Systems Symposium, s. 13-23, 2011

• DOI för Effective and efficient scheduling of certifiable mixed-criticality sporadic task systems

McAiT — a timing analyzer for multicore real-time software

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

Ingår i Automated Technology for Verification and Analysis, s. 414-417, 2011

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

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

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

Ingår i Proc. 26th ACM Symposium on Applied Computing, s. 635-640, 2011

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

The digraph real-time task model

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

Ingår i 17th Real-Time and Embedded Technology and Applications Symposium, s. 71-80, 2011

• DOI för The digraph real-time task model

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

Zhang, Yi; Guan, Nan; Yi, Wang

Ingår i Bringing Theory to Practice, s. 42-46, 2011

• DOI för Towards the implementation and evaluation of semi-partitioned multi-core scheduling

On the tractability of digraph-based task models

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

Ingår i Proc. 23rd Euromicro Conference on Real-Time Systems, s. 162-171, 2011

• DOI för On the tractability of digraph-based task models

Resource sharing protocols for real-time task graph systems

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

Ingår i Proc. 23rd Euromicro Conference on Real-Time Systems, s. 272-281, 2011

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

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

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

Ingår i Proc. 6th International Symposium on Industrial Embedded Systems, s. 248-255, 2011

• DOI för Implementation and empirical comparison of partitioning-based multi-core scheduling

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

Kong, Fanxin; Yi, Wang; Deng, Qingxu

Ingår i Proc. 14th Conference on Design, Automation and Test in Europe, 2011

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

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

Ingår i Proc. 22nd Euromicro Conference on Real-Time Systems, s. 113-122, 2010

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

Multicore embedded systems: The timing problem and possible solutions

Yi, Wang

Ingår i Formal Methods and Software Engineering, s. 22-23, 2010

• DOI för Multicore embedded systems: The timing problem and possible solutions

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

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

Ingår i Proc. Real-Time Systems Symposium, s. 339-349, 2010

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

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

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

Ingår i Proc. 16th Real-Time and Embedded Technology and Applications Symposium, s. 165-174, 2010

• DOI för Fixed-Priority Multiprocessor Scheduling with Liu & Layland's Utilization Bound

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

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

Ingår i Proc. 14th Asia and South Pacific Design Automation Conference, s. 715-720, 2009

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

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

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

Ingår i Formal Methods and Software Engineering, s. 367-386, 2009

• DOI för Modeling and analysis of thread-pools in an industrial communication platform

Cache-aware scheduling and analysis for multicores

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

Ingår i Proc. 9th ACM International Conference on Embedded Software, s. 245-254, 2009

• DOI för Cache-aware scheduling and analysis for multicores

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

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

Ingår i Proc. 12th International Conference on Computational Science and Engineering, s. 270-276, 2009

• DOI för WCET Analysis of the μC/OS-II Real-Time Kernel

New Response Time Bounds for Fixed Priority Multiprocessor Scheduling

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

Ingår i Proc. Real-Time Systems Symposium, s. 387-397, 2009

• DOI för New Response Time Bounds for Fixed Priority Multiprocessor Scheduling

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

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

Ingår i Proc. Real-Time Systems Symposium, s. 137-146, 2008

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

R-automata

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

Ingår i CONCUR 2008 - Concurrency Theory, s. 67-81, 2008

• DOI för 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.

Ingår i Proc. 5th IEEE International Symposium on Embedded Computing, s. 20-25, 2008

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

Model-based validation of QoS properties of biomedical sensor networks

Tschirner, Simon; Xuedong, Liang; Yi, Wang

Ingår i Proc. 8th ACM International Conference on Embedded Software, s. 69-78, 2008

• DOI för Model-based validation of QoS properties of biomedical sensor networks

Cyclic dependencies in modular performance analysis

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

Ingår i Proc. 8th ACM International Conference on Embedded Software, s. 179-188, 2008

• DOI för Cyclic dependencies in modular performance analysis

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

Krcal, Pavel; Stigge, Martin; Yi, Wang

Ingår i Formal Modeling and Analysis of Timed Systems, s. 274-289, 2007

• DOI för 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

Ingår i Foundations of Software Science and Computational Structures, Proceedings, s. 2-16, 2007

• DOI för Sampled universality of timed automata

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

Krcal, Pavel; Yi, Wang

Ingår i Computer Aided Verification (CAV 2006), s. 14, 2006

Uppaal 4.0

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

Ingår i 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

Ingår i 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.

Ingår i 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

Ingår i CONCUR 2004, London, UK, s. 340-354, 2004

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

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

Ingår i 3rd IEEE International Conf. on Software Engineering and Formal Methods, 2004

Timed Automata: Semantics, Algorithms and Tools

Bengtsson, Johan; Wang, Yi

Ingår i In Lecture Notes on Concurrency and Petri Nets, 2004

Timed Patterns: TCOZ to Timed Automata

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

Ingår i 6th International Conf. on Formal Engineering Methods, 2004

Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata

Krcal, Pavel; Wang, Yi

Ingår i TACAS 2004, LNCS 2988, 2004

An Analysis Tool for UML Models with SPT Annotations

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

Ingår i Proceedings of the International Workshop on Specification and Validation of UML models for Real Time and Embedded Systems, 2004

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

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

Ingår i Proceedings of the International Conference of Formal Modeling and Analysis of Timed Systems, 2003

Schedulability Analysis using Two Clocks

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

Ingår i Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2003

Unification & Sharing in Timed Automata Verification

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

Ingår i 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

Ingår i Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, 2003

TIMES: A Tool for Modelling and Implementation of Embedded Systems

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

Ingår i Tools and Algorithms for the Construction and Analysis of Systems, s. 460-464, 2002

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

New UPPAAL Architecture

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

Ingår i Workshop on Real-Time Tools, 2002

Formal Verification of UML Statecharts with Real-Time Extensions

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

Ingår i 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, s. 218-232, 2002

UPPAAL Implementation Secrets

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

Ingår i International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, s. 3, 2002

UPPAAL - Present and Future

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

Ingår i 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.

Ingår i 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

Ingår i FST TCS 2000, s. 277-289, 2000

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

Larsson, Fredrik; Pettersson, Paul; Yi, Wang

Ingår i Tools and Algorithms for the Construction and Analysis of Systems, s. 127-141, 2000

Fully Abstract Characterization of Probabilistic May Testin

Jonsson, Bengt; Wang, Yi

1999

Compiling the Mimosa programming language to RTOS tasks

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

2025

• DOI för Compiling the Mimosa programming language to RTOS tasks

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

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

• Ladda ner fulltext (pdf) av 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

• Ladda ner fulltext (ps) av 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

• Ladda ner fulltext (pdf) av A Proof System for Timed Automata

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