Yi Wang

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 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

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

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

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

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

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

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

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

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

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

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

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

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

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

Testing preorders for probabilistic processes can be characterized by simulations

Jonsson, Bengt; Yi, Wang

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata

Krcal, Pavel; Wang, Yi

Ingår i TACAS 2004, LNCS 2988, 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

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

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

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

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

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

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

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

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

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

A complete axiomatisation for timed automata

Lin, Huimin; Yi, Wang

Ingår i FST TCS 2000, s. 277-289, 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

Formal Modeling and Analysis of Timed Systems, Third International Conference

Pettersson, Paul; Wang, Yi

2005

Nordic Journal of Computing

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

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

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

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