![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Wang Yi 0001
Person information
- affiliation: Uppsala University, Sweden
Other persons with the same name
- Wang Yi — disambiguation page
- Wang Yi 0002 — Jilin University, Changchun, China
- Wang Yi 0003 — Bioinformatics Institute, Singapore
- Wang Yi 0004 — Huazhong University of Science & Technology, Wuhan, China
- Wang Yi 0005 — McGill University, Canada
- Wang Yi 0006 — Samsung Electronics
- Wang Yi 0007 — State Grid Hubei Electric Power Research Institute, Wuhan, China
- Wang Yi 0008 — Northeastern University, Department of Computer Science and Engineering, Shenyang, China
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j70]Ye Ma
, Xu Jiang, Nan Guan
, Wang Yi:
Anomaly detection based on multi-teacher knowledge distillation. J. Syst. Archit. 138: 102861 (2023) - [j69]Weiguang Pang
, Xiantong Luo, Kailun Chen, Dong Ji, Lei Qiao, Wang Yi:
Efficient CUDA stream management for multi-DNN real-time inference on embedded GPUs. J. Syst. Archit. 139: 102888 (2023) - [j68]Gang Chen, Yi Zheng, Zhaoheng Zhou, Shengyu He, Wang Yi:
A GPU-accelerated real-time human voice separation framework for mobile phones. J. Syst. Archit. 145: 103005 (2023) - [j67]Xu Jiang
, Zewei Chen, Maolin Yang
, Nan Guan
, Yue Tang, Wang Yi:
A Unified Blocking Analysis for Parallel Tasks With Spin Locks Under Global Fixed Priority Scheduling. IEEE Trans. Computers 72(1): 15-28 (2023) - [j66]Yue Tang
, Xu Jiang
, Nan Guan
, Dong Ji
, Xiantong Luo, Wang Yi
:
Comparing Communication Paradigms in Cause-Effect Chains. IEEE Trans. Computers 72(1): 82-96 (2023) - [j65]Yang Wang
, Yu Li, Xuemei Peng
, Dong Ji
, Nan Guan
, Wang Yi:
Design and Blocking Analysis of Locking Protocols for Real-Time DAG Tasks Under Federated Scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(11): 3720-3732 (2023) - [j64]Xu Jiang
, Haochun Liang, Nan Guan
, Yue Tang, Lei Qiao, Wang Yi:
Scheduling Parallel Real-Time Tasks on Virtual Processors. IEEE Trans. Parallel Distributed Syst. 34(1): 33-47 (2023) - [c158]Xu Jiang, Jinghao Sun, Wang Yi:
Characterizations of Parallel Real-Time Workloads. Theories of Programming and Formal Methods 2023: 235-256 - [c157]Haochun Liang, Xu Jiang, Nan Guan
, Qingqiang He, Wang Yi:
Response Time Analysis and Optimization of DAG Tasks Exploiting Mutually Exclusive Execution. DAC 2023: 1-6 - [c156]Yue Tang, Nan Guan
, Xu Jiang, Zheng Dong
, Wang Yi:
Reaction Time Analysis of Event-Triggered Processing Chains with Data Refreshing. DAC 2023: 1-6 - [c155]Xu Jiang, Xiantong Luo, Nan Guan
, Zheng Dong
, Shaoshan Liu, Wang Yi:
Analysis and Optimization of Worst-Case Time Disparity in Cause-Effect Chains. DATE 2023: 1-6 - [c154]Songran Liu, Mingsong Lv, Wei Zhang, Xu Jiang, Chuancai Gu, Tao Yang, Wang Yi, Nan Guan
:
Light Flash Write for Efficient Firmware Update on Energy-harvesting IoT Devices. DATE 2023: 1-6 - [c153]Yue Tang, Nan Guan
, Xu Jiang, Xiantong Luo, Wang Yi:
Real-Time Performance Analysis of Processing Systems on ROS 2 Executors. RTAS 2023: 80-92 - [c152]Xiantong Luo, Xu Jiang, Nan Guan
, Haochun Liang, Songran Liu, Wang Yi:
Modeling and Analysis of Inter-Process Communication Delay in ROS 2. RTSS 2023: 198-209 - [c151]Yue Tang, Xu Jiang, Nan Guan
, Songran Liu, Xiantong Luo, Wang Yi:
Optimizing End-to-End Latency of Sporadic Cause-Effect Chains Using Priority Inheritance. RTSS 2023: 411-422 - 2022
- [j63]Desheng Wang
, Yangjie Wei
, Ke Zhang, Dong Ji
, Wang Yi:
Automatic Speech Recognition Performance Improvement for Mandarin Based on Optimizing Gain Control Strategy. Sensors 22(8): 3027 (2022) - [j62]Weiguang Pang
, Xu Jiang
, Mingsong Lv, Teng Gao, Di Liu
, Wang Yi:
Toward the Predictability of Dynamic Real-Time DNN Inference. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(9): 2849-2862 (2022) - [j61]Gaoyang Dai
, Morteza Mohaqeqi
, Petros Voudouris, Wang Yi
:
Response-Time Analysis of Limited-Preemptive Sporadic DAG Tasks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 3673-3684 (2022) - [j60]Desheng Wang
, Yangjie Wei
, Dong Ji
, Ye Ma
, Wang Yi:
Optimized Volume Control Architecture for Cascaded Audio System. IEEE Trans. Consumer Electron. 68(2): 170-180 (2022) - [j59]Xu Jiang
, Nan Guan
, Maolin Yang, Yang Wang, Yue Tang, Wang Yi:
Real-Time Scheduling of Parallel Task Graphs With Critical Sections Across Different Vertices. IEEE Trans. Parallel Distributed Syst. 33(10): 4117-4133 (2022) - [c150]Wang Yi, Morteza Mohaqeqi, Susanne Graf:
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. COORDINATION 2022: 17-34 - [c149]Yang Wang, Xu Jiang, Nan Guan
, Mingsong Lv, Dong Ji, Wang Yi:
Scheduling and analysis of real-time tasks with parallel critical sections. DAC 2022: 1255-1260 - [c148]Morteza Mohaqeqi, Gaoyang Dai
, Wang Yi:
Counting Priority Inversions: Computing Maximum Additional Core Requests of DAG Tasks. DATE 2022: 1281-1286 - [c147]Gang Chen, Zhaoheng Zhou, Shengyu He, Yi Zheng, Wang Yi:
VoiceBit: GPU-Accelerated Real-Time Human Voice Separation for Mobile Phones. HPCC/DSS/SmartCity/DependSys 2022: 1987-1994 - [c146]Xu Jiang, Dong Ji, Nan Guan
, Ruoxiang Li
, Yue Tang, Wang Yi:
Real-Time Scheduling and Analysis of Processing Chains on Multi-threaded Executor in ROS 2. RTSS 2022: 27-39 - [p4]Yue Tang, Nan Guan, Wang Yi:
Real-Time Task Models. Handbook of Real-Time Computing 2022: 469-487 - [p3]Pontus Ekberg, Wang Yi:
Complexity of Uniprocessor Scheduling Analysis. Handbook of Real-Time Computing 2022: 489-506 - 2021
- [j58]Xinyang Dong, Gang Chen, Mingsong Lv, Weiguang Pang, Wang Yi:
Flexible Mixed-Criticality Scheduling with Dynamic Slack Management. J. Circuits Syst. Comput. 30(10): 2150306:1-2150306:20 (2021) - [j57]He Du, Xu Jiang, Mingsong Lv
, Tao Yang, Wang Yi:
Scheduling and analysis of real-time task graph models with nested locks. J. Syst. Archit. 114: 101969 (2021) - [j56]Xu Jiang
, Nan Guan
, He Du, Weichen Liu, Wang Yi:
On the Analysis of Parallel Real-Time Tasks With Spin Locks. IEEE Trans. Computers 70(2): 199-211 (2021) - [j55]Jinghao Sun, Nan Guan
, Rongxiao Shi, Guozhen Tan, Wang Yi:
Schedulability Analysis for Timed Automata With Tasks. ACM Trans. Embed. Comput. Syst. 20(5s): 89:1-89:26 (2021) - [j54]Ye Ma
, Gang Chen
, Mingsong Lv
, Wang Yi, Xue Liu
, Hao Chen
, Bo Zhu
:
Efficient and Effective Dimension Control in Automotive Applications. IEEE Trans. Ind. Informatics 17(3): 1583-1591 (2021) - [j53]Yang Wang
, Xu Jiang
, Nan Guan
, Zhishan Guo
, Xue Liu
, Wang Yi:
Partitioning-Based Scheduling of OpenMP Task Systems With Tied Tasks. IEEE Trans. Parallel Distributed Syst. 32(6): 1322-1339 (2021) - [c145]Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi:
Model Checking, Synthesis, and Learning. Model Checking, Synthesis, and Learning 2021: 1-7 - [c144]Jakaria Abdullah
, Wang Yi:
Cause-Effect Reaction Latency in Real-Time Systems. Model Checking, Synthesis, and Learning 2021: 41-56 - [c143]Yue Tang, Nan Guan
, Zhiwei Feng, Xu Jiang, Wang Yi:
Response Time Analysis of Lazy Round Robin. DATE 2021: 258-263 - [c142]Gaoyang Dai
, Morteza Mohaqeqi, Wang Yi:
Timing-Anomaly Free Dynamic Scheduling of Periodic DAG Tasks with Non-Preemptive Nodes. RTCSA 2021: 119-128 - [c141]Xu Jiang, Nan Guan
, Haochun Liang, Yue Tang, Lei Qiao, Wang Yi:
Virtually-Federated Scheduling of Parallel Real-Time Tasks. RTSS 2021: 482-494 - [e7]Ernst-Rüdiger Olderog, Bernhard Steffen
, Wang Yi:
Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday. Lecture Notes in Computer Science 13030, Springer 2021, ISBN 978-3-030-91383-0 [contents] - 2020
- [j52]Dong Ji
, Mingsong Lv
, Jiayu Yang
, Wang Yi:
Optimizing the Locations and Sizes of Solar Assisted Electric Vehicle Charging Stations in an Urban Area. IEEE Access 8: 112772-112782 (2020) - [j51]Gang Chen
, Nan Guan
, Kai Huang, Wang Yi:
Fault-tolerant real-time tasks scheduling with dynamic fault handling. J. Syst. Archit. 102 (2020) - [j50]Zhiwei Feng
, Nan Guan
, Mingsong Lv
, Wenchen Liu, Qingxu Deng, Xue Liu, Wang Yi:
Efficient drone hijacking detection using two-step GA-XGBoost. J. Syst. Archit. 103: 101694 (2020) - [j49]Jinghao Sun
, Nan Guan
, Feng Li
, Huimin Gao, Chang Shi, Wang Yi:
Real-Time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism. IEEE Trans. Computers 69(9): 1335-1348 (2020) - [j48]Jinghao Sun
, Nan Guan
, Shuangshuang Chang, Feng Li
, Qingxu Deng
, Wang Yi:
Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(12): 4537-4548 (2020) - [c140]Jinghao Sun, Feng Li, Nan Guan
, Wentao Zhu, Minjie Xiang, Zhishan Guo
, Wang Yi:
On Computing Exact WCRT for DAG Tasks†. DAC 2020: 1-6 - [c139]Jinghao Sun, Yaoyao Chi, Tianfei Xu, Lei Cao, Nan Guan
, Zhishan Guo
, Wang Yi:
On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms*. DATE 2020: 204-209 - [c138]He Du, Xu Jiang, Tao Yang, Mingsong Lv, Wang Yi:
Real-Time Scheduling and Analysis of OpenMP Programs with Spin Locks. ICPADS 2020: 99-108 - [c137]Yue Tang, Zhiwei Feng, Nan Guan
, Xu Jiang, Mingsong Lv, Qingxu Deng, Wang Yi:
Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors. RTSS 2020: 231-243 - [i6]Xu Jiang, Nan Guan, He Du, Weichen Liu, Wang Yi:
On the Analysis of Parallel Real-Time Tasks with Spin Locks. CoRR abs/2003.08233 (2020) - [i5]Xu Jiang, Nan Guan, Maolin Yang, Yue Tang, Wang Yi:
Schedulability Bounds for Parallel Real-Time Tasks under Global Rate-Monotonic Scheduling. CoRR abs/2011.06762 (2020) - [i4]Wang Yi, Morteza Mohaqeqi, Susanne Graf:
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. CoRR abs/2011.13234 (2020)
2010 – 2019
- 2019
- [j47]Yongjun Liu
, Yangjie Wei, Wang Yi:
Depth from defocus (DFD) based on VFISTA optimization algorithm in micro/nanometer vision. Clust. Comput. 22(Suppl 1): 1459-1467 (2019) - [j46]Songran Liu
, Nan Guan
, Dong Ji, Weichen Liu
, Xue Liu, Wang Yi:
Leaking your engine speed by spectrum analysis of real-Time scheduling sequences. J. Syst. Archit. 97: 455-466 (2019) - [j45]He Du, Wei Zhang
, Nan Guan
, Wang Yi:
Scope-aware data cache analysis for OpenMP programs on multi-core processors. J. Syst. Archit. 98: 443-452 (2019) - [j44]Zhiwei Feng
, Nan Guan
, Mingsong Lv
, Weichen Liu
, Qingxu Deng, Xue Liu, Wang Yi:
An Efficient UAV Hijacking Detection Method Using Onboard Inertial Measurement Unit. ACM Trans. Embed. Comput. Syst. 17(6): 96:1-96:19 (2019) - [c136]Jakaria Abdullah
, Gaoyang Dai
, Wang Yi:
Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication. DATE 2019: 1625-1630 - [c135]Xiaochen Hao, Mingsong Lv
, Jiesheng Zheng, Zhengkui Zhang, Wang Yi:
Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems. ICCD 2019: 237-245 - [c134]Desheng Wang, Yangjie Wei, Ke Zhang, Wang Yi:
Evaluating Audio System Dynamic Range Performance under Variable Distortion Condition. ISCID (2) 2019: 279-284 - [c133]Wang Yi:
Design and Dynamic Update of Real-Time Systems. RTSS 2019: 1-3 - 2018
- [j43]Gang Chen
, Nan Guan
, Di Liu
, Qingqiang He
, Kai Huang
, Todor P. Stefanov
, Wang Yi:
Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks. IEEE Trans. Computers 67(4): 543-558 (2018) - [j42]Di Liu
, Nan Guan
, Jelena Spasic, Gang Chen
, Songran Liu, Todor P. Stefanov
, Wang Yi:
Scheduling Analysis of Imprecise Mixed-Criticality Real-Time Tasks. IEEE Trans. Computers 67(7): 975-991 (2018) - [j41]Jinghao Sun
, Nan Guan
, Xu Jiang, Shuangshuang Chang, Zhishan Guo
, Qingxu Deng, Wang Yi:
A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2200-2211 (2018) - [j40]Gang Chen
, Nan Guan
, Biao Hu, Wang Yi:
EDF-VD Scheduling of Flexible Mixed-Criticality System With Multiple-Shot Transitions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2393-2403 (2018) - [c132]Jie An
, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi:
Model Checking Bounded Continuous-time Extended Linear Duration Invariants. HSCC 2018: 81-90 - [c131]Jakaria Abdullah
, Gaoyang Dai
, Morteza Mohaqeqi, Wang Yi:
Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. RTAS 2018: 261-270 - [c130]Qingqiang He
, Nan Guan
, Mingsong Lv
, Wang Yi:
On the Consensus Mechanisms of Blockchain/DLT for Internet of Things. SIES 2018: 1-10 - 2017
- [c129]Morteza Mohaqeqi, Jakaria Abdullah
, Wang Yi:
An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada. Ada-Europe 2017: 137-152 - [c128]Jakaria Abdullah
, Gaoyang Dai
, Nan Guan
, Morteza Mohaqeqi, Wang Yi:
Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. Models, Algorithms, Logics and Tools 2017: 623-639 - [c127]Zhiwei Feng
, Nan Guan
, Mingsong Lv
, Weichen Liu
, Qingxu Deng, Xue Liu, Wang Yi:
Efficient drone hijacking detection using onboard motion sensors. DATE 2017: 1414-1419 - [c126]Morteza Mohaqeqi
, Syed Md Jakaria Abdullah
, Pontus Ekberg, Wang Yi:
Refinement of Workload Models for Engine Controllers by State Space Partitioning. ECRTS 2017: 11:1-11:22 - [c125]Wang Yi:
Towards Customizable CPS: Composability, Efficiency and Predictability. ICFEM 2017: 3-15 - [c124]Kai Lampka, Steffen Bondorf
, Jens B. Schmitt, Nan Guan
, Wang Yi:
Generalized finitary real-time calculus. INFOCOM 2017: 1-9 - [c123]Yang Wang, Nan Guan
, Jinghao Sun, Mingsong Lv
, Qingqiang He
, Tianzhang He
, Wang Yi:
Benchmarking OpenMP programs for real-time scheduling. RTCSA 2017: 1-10 - [c122]Xu Jiang, Nan Guan
, Xiang Long, Wang Yi:
Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors. RTSS 2017: 80-91 - [c121]Jinghao Sun, Nan Guan
, Yang Wang, Qingqiang He
, Wang Yi:
Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks. RTSS 2017: 92-103 - [c120]Pontus Ekberg, Wang Yi:
Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-Hard. RTSS 2017: 139-146 - [c119]Yue Tang, Nan Guan
, Weichen Liu, Linh Thi Xuan Phan, Wang Yi:
Revisiting GPC and AND Connector in Real-Time Calculus. RTSS 2017: 255-265 - [c118]Jakaria Abdullah
, Morteza Mohaqeqi, Wang Yi:
Synthesis of ada code from graph-based task models. SAC 2017: 1467-1472 - [i3]Xu Jiang, Nan Guan, Xiang Long, Wang Yi:
Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors. CoRR abs/1705.03245 (2017) - [i2]Gang Chen, Nan Guan, Di Liu, Qingqiang He, Kai Huang, Todor P. Stefanov, Wang Yi:
Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks. CoRR abs/1711.00100 (2017) - 2016
- [j39]Yangjie Wei, Wang Yi:
Dynamic blind source separation based on source-direction prediction. Neurocomputing 185: 73-81 (2016) - [j38]Tianyu Zhang
, Nan Guan
, Qingxu Deng, Wang Yi:
Start time configuration for strictly periodic real-time task systems. J. Syst. Archit. 66-67: 61-68 (2016) - [j37]Mingsong Lv, Nan Guan, Jan Reineke
, Reinhard Wilhelm
, Wang Yi:
A Survey on Static Cache Analysis for Real-Time Systems. Leibniz Trans. Embed. Syst. 3(1): 05:1-05:48 (2016) - [j36]Pontus Ekberg, Wang Yi:
Schedulability analysis of a graph-based task model for mixed-criticality systems. Real Time Syst. 52(1): 1-37 (2016) - [j35]Jinghao Sun, Nan Guan
, Yang Wang, Qingxu Deng, Peng Zeng
, Wang Yi:
Feasibility of Fork-Join Real-Time Task Graph Models: Hardness and Algorithms. ACM Trans. Embed. Comput. Syst. 15(1): 14:1-14:28 (2016) - [c117]Morteza Mohaqeqi, Jakaria Abdullah
, Wang Yi:
Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model. Ada-Europe 2016: 15-29 - [c116]Philipp Rümmer, Wang Yi:
Characterization of Simulation by Probabilistic Testing. Theory and Practice of Formal Methods 2016: 360-372 - [c115]Syed Md Jakaria Abdullah
, Kai Lampka, Wang Yi:
Improving performance by monitoring while maintaining worst-case guarantees. DATE 2016: 257-260 - [c114]Morteza Mohaqeqi
, Jakaria Abdullah
, Nan Guan
, Wang Yi:
Schedulability Analysis of Synchronous Digraph Real-Time Tasks. ECRTS 2016: 176-186 - [c113]Mingsong Lv
, Nan Guan
, Ye Ma, Dong Ji, Erwin Knippel, Xue Liu, Wang Yi:
Speed planning for solar-powered electric vehicles. e-Energy 2016: 6:1-6:10 - [c112]Chuancai Gu, Nan Guan
, Zhiwei Feng
, Qingxu Deng, Xiaobo Sharon Hu
, Wang Yi:
Transforming Real-Time Task Graphs to Improve Schedulability. RTCSA 2016: 29-38 - [c111]Morteza Mohaqeqi, Pontus Ekberg, Wang Yi:
On Fixed-Priority Schedulability Analysis of Sporadic Tasks with Self-Suspension. RTNS 2016: 109-118 - [c110]Di Liu, Jelena Spasic, Nan Guan
, Gang Chen, Songran Liu, Todor P. Stefanov
, Wang Yi:
EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees. RTSS 2016: 35-46 - [i1]Di Liu, Jelena Spasic, Gang Chen, Nan Guan, Songran Liu, Todor P. Stefanov, Wang Yi:
EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees. CoRR abs/1605.01302 (2016) - 2015
- [j34]Hao Lin, Wenyao Xu, Nan Guan
, Dong Ji, Yangjie Wei, Wang Yi:
Noninvasive and Continuous Blood Pressure Monitoring Using Wearable Body Sensor Networks. IEEE Intell. Syst. 30(6): 38-48 (2015) - [j33]Pontus Ekberg, Nan Guan
, Martin Stigge, Wang Yi:
An optimal resource sharing protocol for generalized multiframe tasks. J. Log. Algebraic Methods Program. 84(1): 92-105 (2015) - [j32]Martin Stigge, Wang Yi:
Graph-based models for real-time workload: a survey. Real Time Syst. 51(5): 602-636 (2015) - [j31]Martin Stigge, Wang Yi:
Combinatorial abstraction refinement for feasibility analysis of static priorities. Real Time Syst. 51(6): 639-674 (2015) - [j30]Yangjie Wei, Chengdong Wu, Wang Yi, Zaili Dong:
Efficient Shape Reconstruction of Microlens Using Optical Microscopy. IEEE Trans. Ind. Electron. 62(12): 7655-7664 (2015) - [c109]Nan Guan, Yue Tang, Yang Wang, Wang Yi:
Delay analysis of structural real-time workload. DATE 2015: 223-228 - [c108]Pontus Ekberg, Wang Yi:
Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines Is Strongly coNP-Complete. ECRTS 2015: 281-286 - [c107]Wenqi Wang, Yangjie Wei, Nan Guan
, Wang Yi:
The automatic detection and analysis of electrocardiogram based on Lorenz Plot. ROBIO 2015: 644-649 - [c106]Nan Guan
, Meiling Han, Chuancai Gu, Qingxu Deng, Wang Yi:
Bounding Carry-in Interference to Improve Fixed-Priority Global Multiprocessor Scheduling Analysis. RTCSA 2015: 11-20 - [c105]Nan Guan
, Mengying Zhao, Chun Jason Xue, Yongpan Liu, Wang Yi:
Modular Performance Analysis of Energy-Harvesting Real-Time Networked Systems. RTSS 2015: 65-74 - [c104]Pontus Ekberg, Wang Yi:
Uniprocessor Feasibility of Sporadic Tasks Remains coNP-Complete under Bounded Utilization. RTSS 2015: 87-95 - [c103]Nan Guan
, Yue Tang, Jakaria Abdullah
, Martin Stigge, Wang Yi:
Scalable Timing Analysis with Refinement. TACAS 2015: 3-18 - [e6]Xuandong Li, Zhiming Liu, Wang Yi:
Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Lecture Notes in Computer Science 9409, Springer 2015, ISBN 978-3-319-25941-3 [contents] - 2014
- [j29]Changqing Xia
, Nan Guan
, Qingxu Deng, Wang Yi:
Maximizing Lifetime of Three-Dimensional Corona-Based Wireless Sensor Networks. Int. J. Distributed Sens. Networks 10 (2014) - [j28]Chuanwen Li, Yu Gu, Jianzhong Qi, Ge Yu, Rui Zhang, Wang Yi:
Processing Moving kNN Queries Using Influential Neighbor Sets. Proc. VLDB Endow. 8(2): 113-124 (2014) - [j27]Pontus Ekberg, Wang Yi:
Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. Real Time Syst. 50(1): 48-86 (2014) - [j26]Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan
, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard von Hanxleden, Reinhard Wilhelm, Wang Yi:
Building timing predictable embedded systems. ACM Trans. Embed. Comput. Syst. 13(4): 82:1-82:37 (2014) - [j25]Nan Guan
, Mingsong Lv
, Wang Yi, Ge Yu:
WCET analysis with MRU cache: Challenging LRU for predictability. ACM Trans. Embed. Comput. Syst. 13(4s): 123:1-123:26 (2014) - [c102]Yao Chen, Yangjie Wei, Nan Guan
, Wang Yi:
An Intelligent Hearing Aid System Based on Real-Time Signal Processing. CPSNA 2014: 55-58 - [c101]Chuancai Gu, Nan Guan, Qingxu Deng, Wang Yi:
Partitioned mixed-criticality scheduling on multiprocessor platforms. DATE 2014: 1-6 - [c100]Nan Guan, Wang Yi:
General and efficient Response Time Analysis for EDF scheduling. DATE 2014: 1-6 - [c99]Martin Stigge, Nan Guan
, Wang Yi:
Refinement-Based Exact Response-Time Analysis. ECRTS 2014: 143-152 - [c98]Yi Zhang, Nan Guan
, Wang Yi:
Understanding the Dynamic Caches on Intel Processors: Methods and Applications. EUC 2014: 58-64 - [c97]Yin Bi, Wenyao Xu, Nan Guan
, Yangjie Wei, Wang Yi:
Pervasive eating habits monitoring and recognition through a wearable acoustic sensor. PervasiveHealth 2014: 174-177 - [c96]Wei Jing, Nan Guan
, Wang Yi:
Performance isolation for real-time systems with Xen hypervisor on multi-cores. RTCSA 2014: 1-7 - [c95]Youcheng Sun
, Giuseppe Lipari
, Nan Guan, Wang Yi:
Improving the response time analysis of global fixed-priority multiprocessor scheduling. RTCSA 2014: 1-9 - [c94]Nan Guan
, Chuancai Gu, Martin Stigge, Qingxu Deng, Wang Yi:
Approximate Response Time Analysis of Real-Time Task Graphs. RTSS 2014: 304-313 - [c93]Jonas Flodin, Kai Lampka, Wang Yi:
Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks. SIES 2014: 151-159 - [c92]Tianyu Zhang
, Nan Guan
, Qingxu Deng, Wang Yi:
On the analysis of EDF-VD scheduled mixed-criticality real-time systems. SIES 2014: 179-188 - [c91]Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi:
Horn Clauses for Communicating Timed Systems. HCVS 2014: 39-52 - 2013
- [j24]Martin Stigge, Pontus Ekberg, Wang Yi:
The fork-join real-time task model. SIGBED Rev. 10(2): 20 (2013) - [c90]Xiaoyi Zhang, Ming-Chun Huang
, Fengbo Ren
, Wenyao Xu, Nan Guan
, Wang Yi:
Proper Running Posture Guide: A Wearable Biomechanics Capture System. BODYNETS 2013: 83-89 - [c89]Nan Guan
, Xinping Yang, Mingsong Lv
, Wang Yi:
FIFO cache analysis for WCET estimation: a quantitative approach. DATE 2013: 296-301 - [c88]Chuancai Gu, Nan Guan
, Qingxu Deng, Wang Yi:
Improving OCBP-based scheduling for mixed-criticality sporadic task systems. RTCSA 2013: 247-256 - [c87]Nan Guan
, Wang Yi:
Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems. RTSS 2013: 330-339 - [c86]Martin Stigge, Wang Yi:
Combinatorial Abstraction Refinement for Feasibility Analysis. RTSS 2013: 340-349 - [p2]Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen
, Paul Pettersson
, Jacob Illum Rasmussen, Jirí Srba
, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime
, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez:
Tools for Model-Checking Timed Systems. Communicating Embedded Systems 2013: 165-225 - 2012
- [c85]Pontus Ekberg, Wang Yi:
Outstanding Paper Award: Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks. ECRTS 2012: 135-144 - [c84]Martin Stigge, Wang Yi:
Hardness Results for Static Priority Real-Time Scheduling. ECRTS 2012: 189-198 - [c83]Nan Guan
, Martin Stigge, Wang Yi, Ge Yu:
Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling. IPDPS 2012: 261-272 - [c82]Nan Guan
, Wang Yi:
Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound. IPDPS Workshops 2012: 2470-2473 - [c81]Nan Guan
, Mingsong Lv
, Wang Yi, Ge Yu:
WCET Analysis with MRU Caches: Challenging LRU for Predictability. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 55-64 - [e5]Reinhard Wilhelm, Heiko Falk, Wang Yi:
SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2012, LCTES '12, Beijing, China - June 12 - 13, 2012. ACM 2012, ISBN 978-1-4503-1212-7 [contents] - 2011
- [j23]Nan Guan
, Wang Yi, Qingxu Deng, Zonghua Gu
, Ge Yu:
Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling. J. Syst. Archit. 57(5): 536-546 (2011) - [j22]Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen
, Paul Pettersson
, Wang Yi:
Developing UPPAAL over 15 years. Softw. Pract. Exp. 41(2): 133-142 (2011) - [c80]Mingsong Lv
, Nan Guan
, Qingxu Deng, Ge Yu, Wang Yi:
McAiT - A Timing Analyzer for Multicore Real-Time Software. ATVA 2011: 414-417 - [c79]Yi Zhang, Nan Guan
, Wang Yi:
Towards the Implementation and Evaluation of Semi-Partitioned Multi-Core Scheduling. PPES 2011: 42-46 - [c78]Fanxin Kong, Wang Yi, Qingxu Deng:
Energy-efficient scheduling of real-time tasks on cluster-based multicores. DATE 2011: 1135-1140 - [c77]Martin Stigge, Pontus Ekberg, Nan Guan
, Wang Yi:
On the Tractability of Digraph-Based Task Models. ECRTS 2011: 162-171 - [c76]Nan Guan
, Pontus Ekberg, Martin Stigge, Wang Yi:
Resource Sharing Protocols for Real-Time Task Graph Systems. ECRTS 2011: 272-281 - [c75]Xiaoquan Gong, Zhenji Zhang, Jinsong Pei, Wang Yi:
Research on the Information Integration of China's Basic Industries Trademark Information Service. ICEIS (1) 2011: 495-503 - [c74]Martin Stigge, Pontus Ekberg, Nan Guan
, Wang Yi:
The Digraph Real-Time Task Model. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 71-80 - [c73]Xi Jin, Nan Guan
, Qingxu Deng, Wang Yi:
Memory Access Aware Mapping for Networks-on-Chip. RTCSA (1) 2011: 339-348 - [c72]Nan Guan
, Pontus Ekberg, Martin Stigge, Wang Yi:
Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems. RTSS 2011: 13-23 - [c71]Fanxin Kong, Nan Guan
, Qingxu Deng, Wang Yi:
Energy-efficient scheduling for parallel real-time tasks based on level-packing. SAC 2011: 635-640 - [c70]Yi Zhang, Nan Guan
, Yanbin Xiao, Wang Yi:
Implementation and empirical comparison of partitioning-based multi-core scheduling. SIES 2011: 248-255 - 2010
- [j21]Parosh Aziz Abdulla, Pavel Krcál, Wang Yi:
Sampled Semantics of Timed Automata. Log. Methods Comput. Sci. 6(3) (2010) - [j20]Mingsong Lv
, Nan Guan
, Qingxu Deng, Ge Yu, Wang Yi:
Static worst-case execution time analysis of the µC/OS-II real-time kernel. Frontiers Comput. Sci. China 4(1): 17-27 (2010) - [c69]Fanxin Kong, Yiqun Wang, Qingxu Deng, Wang Yi:
Minimizing Multi-resource Energy for Real-Time Systems with Discrete Operation Modes. ECRTS 2010: 113-122 - [c68]Wang Yi:
Multicore Embedded Systems: The Timing Problem and Possible Solutions. ICFEM 2010: 22-23 - [c67]Nan Guan
, Martin Stigge, Wang Yi, Ge Yu:
Fixed-Priority Multiprocessor Scheduling with Liu and Layland's Utilization Bound. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 165-174 - [c66]Mingsong Lv
, Wang Yi, Nan Guan
, Ge Yu:
Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software. RTSS 2010: 339-349 - [e4]Karl Henrik Johansson, Wang Yi:
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010. ACM 2010, ISBN 978-1-60558-955-8 [contents]
2000 – 2009
- 2009
- [c65]Nan Guan
, Zonghua Gu
, Wang Yi, Ge Yu:
Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs. ASP-DAC 2009: 715-720 - [c64]Mingsong Lv
, Nan Guan
, Yi Zhang, Rui Chen, Qingxu Deng, Ge Yu, Wang Yi:
WCET Analysis of the mC/OS-II Real-Time Kernel. CSE (2) 2009: 270-276 - [c63]Nan Guan
, Martin Stigge, Wang Yi, Ge Yu:
Cache-aware scheduling and analysis for multicores. EMSOFT 2009: 245-254 - [c62]Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi:
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. ICFEM 2009: 367-386 - [c61]Wang Yi:
Applying SLEUTH for Simulating and Assessing Urban Growth Scenarios on a Case Study of Beijing. JCAI 2009: 215-218 - [c60]Nan Guan
, Martin Stigge, Wang Yi, Ge Yu:
New Response Time Bounds for Fixed Priority Multiprocessor Scheduling. RTSS 2009: 387-397 - [c59]Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig
, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen
, Joachim Klein
, Sascha Klüppelholz
, Marcel Kyas
, Wolfgang Leister
, Rudolf Schlatte
, Andries Stam, Martin Steffen, Simon Tschirner
, Liang Xuedong, Wang Yi:
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. TTSS 2009: 33-48 - [c58]Parosh Aziz Abdulla, Pavel Krcál, Wang Yi:
Universality of R-automata with Value Copying. INFINITY 2009: 131-141 - 2008
- [j19]Soonhoi Ha, Kiyoung Choi, Taewhan Kim, Krisztián Flautner, Sang Lyul Min, Wang Yi:
Introduction to embedded systems week 2006 special issue. ACM Trans. Embed. Comput. Syst. 7(2): 8:1-8:3 (2008) - [j18]Jin Song Dong, Ping Hao, Shengchao Qin
, Jun Sun
, Wang Yi:
Timed Automata Patterns. IEEE Trans. Software Eng. 34(6): 844-859 (2008) - [c57]Parosh Aziz Abdulla, Pavel Krcál, Wang Yi:
R-Automata. CONCUR 2008: 67-81 - [c56]Simon Tschirner, Liang Xuedong, Wang Yi:
Model-based validation of QoS properties of biomedical sensor networks. EMSOFT 2008: 69-78 - [c55]Bengt Jonsson, Simon Perathoner, Lothar Thiele, Wang Yi:
Cyclic dependencies in modular performance analysis. EMSOFT 2008: 179-188 - [c54]Nan Guan
, Wang Yi, Zonghua Gu
, Qingxu Deng, Ge Yu:
New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms. RTSS 2008: 137-146 - 2007
- [j17]Elena Fersman, Pavel Krcál, Paul Pettersson
, Wang Yi:
Task automata: Schedulability, decidability and undecidability. Inf. Comput. 205(8): 1149-1172 (2007) - [c53]Pavel Krcál, Martin Stigge, Wang Yi:
Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times. FORMATS 2007: 274-289 - [c52]Parosh Aziz Abdulla, Pavel Krcál, Wang Yi:
Sampled Universality of Timed Automata. FoSSaCS 2007: 2-16 - 2006
- [j16]Elena Fersman, Leonid Mokrushin, Paul Pettersson
, Wang Yi:
Schedulability analysis of fixed-priority systems using timed automata. Theor. Comput. Sci. 354(2): 301-317 (2006) - [c51]Pavel Krcál, Wang Yi:
Communicating Timed Automata: The More Synchronous, the More Difficult to Verify. CAV 2006: 249-262 - [c50]Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi:
Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. ICECCS 2006: 131-138 - [c49]Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks:
UPPAAL 4.0. QEST 2006: 125-126 - [e3]Sang Lyul Min, Wang Yi:
Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea. ACM 2006, ISBN 1-59593-542-8 [contents] - 2005
- [j15]Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi:
Exploring optimal solution to hardware/software partitioning for synchronous model. Formal Aspects Comput. 17(4): 443-460 (2005) - [j14]Paul Pettersson, Wang Yi:
Guest Editors' Foreword. Nord. J. Comput. 12(2): 67- (2005) - [j13]Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida
, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic
, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls
, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente
, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren
, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse
, Wang Yi:
Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. 4(3): 587-611 (2005) - [e2]Paul Pettersson
, Wang Yi:
Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings. Lecture Notes in Computer Science 3829, Springer 2005, ISBN 3-540-30946-2 [contents] - 2004
- [j12]Elena Fersman, Wang Yi:
A Generic Approach to Schedulability Analysis of Real-Time Tasks. Nord. J. Comput. 11(2): 129-147 (2004) - [c48]Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi:
Timed vs. Time-Triggered Automata. CONCUR 2004: 340-354 - [c47]Jin Song Dong, Ping Hao, Shengchao Qin
, Jun Sun, Wang Yi:
Timed Patterns: TCOZ to Timed Automata. ICFEM 2004: 483-498 - [c46]Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi:
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. IFM 2004: 363-381 - [c45]Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi:
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. SEFM 2004: 376-385 - [c44]Pavel Krcál, Wang Yi:
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. TACAS 2004: 236-250 - 2003
- [j11]Kim Guldstrand Larsen
, Fredrik Larsson, Paul Pettersson
, Wang Yi:
Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. Real Time Syst. 25(2-3): 255-275 (2003) - [j10]Tiziana Margaria
, Wang Yi:
Introductory paper: scalability aspects of validation. Int. J. Softw. Tools Technol. Transf. 5(1): 1-3 (2003) - [c43]Johan Bengtsson, Wang Yi:
Timed Automata: Semantics, Algorithms and Tools. Lectures on Concurrency and Petri Nets 2003: 87-124 - [c42]Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson
, Wang Yi:
TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. FORMATS 2003: 60-72 - [c41]Johan Bengtsson, Wang Yi:
On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. ICFEM 2003: 491-503 - [c40]Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi:
Unification & Sharing in Timed Automata Verification. SPIN 2003: 225-229 - [c39]Elena Fersman, Leonid Mokrushin, Paul Pettersson
, Wang Yi:
Schedulability Analysis Using Two Clocks. TACAS 2003: 224-239 - 2002
- [j9]Huimin Lin, Wang Yi:
Axiomatising timed automata. Acta Informatica 38(4): 277-305 (2002) - [j8]Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson
, Wang Yi:
Automated verification of an audio-control protocol using UPPAAL. J. Log. Algebraic Methods Program. 52-53: 163-181 (2002) - [j7]Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi:
Code Synthesis for Timed Automata. Nord. J. Comput. 9(4): 269-300 (2002) - [j6]Bengt Jonsson, Wang Yi:
Testing preorders for probabilistic processes can be characterized by simulations. Theor. Comput. Sci. 282(1): 33-51 (2002) - [c38]Alexandre David, M. Oliver Möller, Wang Yi:
Formal Verification of UML Statecharts with Real-Time Extensions. FASE 2002: 218-232 - [c37]Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson
, Wang Yi:
UPPAAL Implementation Secrets. FTRTFT 2002: 3-22 - [c36]Elena Fersman, Paul Pettersson
, Wang Yi:
Timed Automata with Asynchronous Processes: Schedulability and Decidability. TACAS 2002: 67-82 - [c35]Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson
, Wang Yi:
TIMES - A Tool for Modelling and Implementation of Embedded Systems. TACAS 2002: 460-464 - [c34]Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi:
A Tool Architecture for the Next Generation of Uppaal. 10th Anniversary Colloquium of UNU/IIST 2002: 352-366 - 2001
- [j5]Dawu Gu, Wang Yi:
On the Techniques of Enhancing the Security of Block Ciphers. ACM SIGOPS Oper. Syst. Rev. 35(4): 94-96 (2001) - [j4]Magnus Lindahl, Paul Pettersson, Wang Yi:
Formal design and analysis of a gear controller. Int. J. Softw. Tools Technol. Transf. 3(3): 353-368 (2001) - [c33]Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi:
UPPAAL - present and future. CDC 2001: 2881-2886 - [p1]Bengt Jonsson, Wang Yi, Kim G. Larsen:
Probabilistic Extensions of Process Algebras. Handbook of Process Algebra 2001: 685-710 - [e1]Tiziana Margaria, Wang Yi:
Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science 2031, Springer 2001, ISBN 3-540-41865-2 [contents] - 2000
- [c32]Alexandre David, Wang Yi:
Modelling and analysis of a commercial field bus protocol. ECRTS 2000: 165-172 - [c31]Huimin Lin, Wang Yi:
A Proof System for Timed Automata. FoSSaCS 2000: 208-222 - [c30]Huimin Lin, Wang Yi:
A Complete Axiomatisation for Timed Automata. FSTTCS 2000: 277-289 - [c29]Tobias Amnell, Alexandre David, Wang Yi:
A Real-Time Animator for Hybrid Systems. LCTES 2000: 134-145 - [c28]Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker
, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson
, Carsten Weise, Wang Yi:
UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124 - [c27]Anders Wall, Kristian Sandström, Jukka Mäki-Turja, Christer Norström, Wang Yi:
Verifying temporal constraints on data in multi-rate transactions using timed automata. RTCSA 2000: 263-270 - [c26]Fredrik Larsson, Paul Pettersson
, Wang Yi:
On Memory-Block Traversal Problems in Model-Checking Timed-Systems. TACAS 2000: 127-141
1990 – 1999
- 1999
- [j3]Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi:
Clock Difference Diagrams. Nord. J. Comput. 6(3): 271-298 (1999) - [c25]Bengt Jonsson, Wang Yi:
Fully Abstract Characterization of Probabilistic May Testing. ARTS 1999: 1-18 - [c24]Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi:
Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV 1999: 341-353 - [c23]Christer Norström, Anders Wall, Wang Yi:
Timed Automata as Task Models for Event-Driven Systems. RTCSA 1999: 182-189 - 1998
- [c22]Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi:
Partial Order Reductions for Timed Systems. CONCUR 1998: 485-500 - [c21]Magnus Lindahl, Paul Pettersson
, Wang Yi:
Formal Design and Analysis of a Gear Controller. TACAS 1998: 281-297 - 1997
- [j2]Kim Guldstrand Larsen, Wang Yi:
Time-abstracted Bisimulation: Implicit Specifications and Decidability. Inf. Comput. 134(2): 75-101 (1997) - [j1]Kim Guldstrand Larsen, Paul Pettersson
, Wang Yi:
UPPAAL in a Nutshell. Int. J. Softw. Tools Technol. Transf. 1(1-2): 134-152 (1997) - [c20]Kim Guldstrand Larsen, Paul Pettersson
, Wang Yi:
UPPAAL: Status & Developments. CAV 1997: 456-459 - [c19]Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
Efficient verification of real-time systems: compact data structure and state-space reduction. RTSS 1997: 14-24 - [c18]Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson
, Wang Yi:
A Compositional Proof of a Real-Time Mutual Exclusion Protocol. TAPSOFT 1997: 565-579 - 1996
- [c17]Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson
, Wang Yi:
Verification of an Audio Protocol with Bus Collision Using UPPAAL. CAV 1996: 244-256 - [c16]Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson
, Wang Yi:
UPPAAL in 1995. TACAS 1996: 431-434 - 1995
- [c15]Kim Guldstrand Larsen, Paul Pettersson
, Wang Yi:
Model-Checking for Real-Time Systems. FCT 1995: 62-88 - [c14]Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson
, Wang Yi:
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. Hybrid Systems 1995: 232-243 - [c13]Kim Guldstrand Larsen, Paul Pettersson
, Wang Yi:
Diagnostic Model-Checking for Real-Time Systems. Hybrid Systems 1995: 575-586 - [c12]Bengt Jonsson, Wang Yi:
Compositional Testing Preorders for Probabilistic Processes. LICS 1995: 431-441 - [c11]Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
Compositional and Symbolic Model-Checking of Real-Time Systems. RTSS 1995: 76-87 - 1994
- [c10]Wang Yi, Paul Pettersson, Mats Daniels:
Automatic verification of real-time communicating systems by constraint-solving. FORTE 1994: 243-258 - [c9]Wang Yi, Bengt Jonsson:
Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes. FSTTCS 1994: 243-255 - [c8]Bengt Jonsson, Chris Ho-Stuart, Wang Yi:
Testing and Refinement for Nondeterministic and Probabilistic Processes. FTRTFT 1994: 418-430 - [c7]Wang Yi:
Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information. FTRTFT 1994: 680-693 - 1993
- [c6]Kim Guldstrand Larsen, Wang Yi:
Time Abstracted Bisimiulation: Implicit Specifications and Decidability. MFPS 1993: 160-176 - 1992
- [c5]Wang Yi, Kim Guldstrand Larsen:
Testing Probabilistic and Nondeterministic Processes. PSTV 1992: 47-61 - 1991
- [c4]Uno Holmer, Kim Guldstrand Larsen, Wang Yi:
Deciding Properties of Regular Real Time Processes. CAV 1991: 443-453 - [c3]Wang Yi:
CCS + Time = An Interleaving Model for Real Time Systems. ICALP 1991: 217-228 - 1990
- [c2]Wang Yi:
Real-Time Behaviour of Asynchronous Agents. CONCUR 1990: 502-520
1980 – 1989
- 1988
- [c1]Wang Yi:
Specifying Processes in Terms of Their Environments. Specification and Verification of Concurrent Systems 1988: 276-293
Coauthor Index
aka: Jakaria Abdullah
aka: Kim Guldstrand Larsen
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 18:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint