Wang Yi - RankMe

259 papers A* 13A 50B 35C 10Misc 11Journal 84Unranked 49

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Analysis and optimization of communication delay in multi-subscriber environments of ROS 2. J. Syst. Archit. Xiantong Luo, Xu Jiang, Yue Tang, Haochun Liang, Nan Guan, Wang Yi
2025	—	`conf`	Causality Monitoring for MIMOS. Principles of Formal Quantitative Analysis Chengzi Huang, Behnam Khodabandeloo, Duc Anh Nguyen, Wang Yi, Jie An, Zhang Zhenya
2025	J	`jnl`	Compiling the Mimosa programming language to RTOS tasks. CoRR Nikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi
2025	J	`jnl`	Exploring Busy Period for Worst-Case Deadline Failure Probability Analysis. CoRR Junyi Liu, Xu Jiang, Yuanzhen Mu, Wang Yi, Nan Guan
2025	C	`conf`	Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software. COORDINATION Nikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi
2025	J	`jnl`	Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software. CoRR Nikolaus Huber, Susanne Graf, Philipp Rümmer, Wang Yi
2025	J	`jnl`	New Scheduling Algorithm and Analysis for Partitioned Periodic DAG Tasks on Multiprocessors. IEEE Trans. Parallel Distributed Syst. Haochun Liang, Xu Jiang, Junyi Liu, Xiantong Luo, Songran Liu, Nan Guan, Wang Yi
2025	—	`conf`	Timing is All You Need. The Combined Power of Research, Education, and Dissemination Susanne Graf, Bengt Jonsson, Behnam Khodabandeloo, Chengzi Huang, Nikolaus Huber, Philipp Rümmer, Wang Yi
2025	J	`jnl`	Utilization-Based Safety Aware Scheduling of Mixed-Criticality Real-Time System With Gradual Performance Degradation. IEEE Access Xinyang Dong, Wang Yi
2024	—	`conf`	An Encoding of Interaction Nets in OCaml. GCM Nikolaus Huber, Wang Yi
2024	A*	`conf`	Control Flow Divergence Optimization by Exploiting Tensor Cores. DAC Weiguang Pang, Xu Jiang, Songran Liu, Lei Qiao, Kexue Fu, Longxiang Gao, Wang Yi
2024	J	`jnl`	RTeX: An Efficient and Timing-Predictable Multithreaded Executor for ROS 2. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Songran Liu, Xu Jiang, Nan Guan, Zilong Wang, Minghe Yu, Wang Yi
2024	Misc	`conf`	Timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals. SETTA Xiantong Luo, Haochun Liang, Yue Tang, Xu Jiang, Nan Guan, Wang Yi
2024	J	`jnl`	Timing analysis of processing chains with data refreshing in ROS 2. J. Syst. Archit. Yue Tang, Xu Jiang, Nan Guan, Xiantong Luo, Maolin Yang, Wang Yi
2023	J	`jnl`	A GPU-accelerated real-time human voice separation framework for mobile phones. J. Syst. Archit. Gang Chen, Yi Zheng, Zhaoheng Zhou, Shengyu He, Wang Yi
2023	J	`jnl`	A Unified Blocking Analysis for Parallel Tasks With Spin Locks Under Global Fixed Priority Scheduling. IEEE Trans. Computers Xu Jiang, Zewei Chen, Maolin Yang, Nan Guan, Yue Tang, Wang Yi
2023	A	`conf`	Analysis and Optimization of Worst-Case Time Disparity in Cause-Effect Chains. DATE Xu Jiang, Xiantong Luo, Nan Guan, Zheng Dong, Shaoshan Liu, Wang Yi
2023	J	`jnl`	Anomaly detection based on multi-teacher knowledge distillation. J. Syst. Archit. Ye Ma, Xu Jiang, Nan Guan, Wang Yi
2023	—	`conf`	Characterizations of Parallel Real-Time Workloads. Theories of Programming and Formal Methods Xu Jiang, Jinghao Sun, Wang Yi
2023	J	`jnl`	Comparing Communication Paradigms in Cause-Effect Chains. IEEE Trans. Computers Yue Tang, Xu Jiang, Nan Guan, Dong Ji, Xiantong Luo, Wang Yi
2023	J	`jnl`	Design and Blocking Analysis of Locking Protocols for Real-Time DAG Tasks Under Federated Scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Yang Wang, Yu Li, Xuemei Peng, Dong Ji, Nan Guan, Wang Yi
2023	J	`jnl`	Efficient CUDA stream management for multi-DNN real-time inference on embedded GPUs. J. Syst. Archit. Weiguang Pang, Xiantong Luo, Kailun Chen, Dong Ji, Lei Qiao, Wang Yi
2023	A	`conf`	Light Flash Write for Efficient Firmware Update on Energy-harvesting IoT Devices. DATE Songran Liu, Mingsong Lv, Wei Zhang, Xu Jiang, Chuancai Gu, Tao Yang, Wang Yi, Nan Guan
2023	A	`conf`	Modeling and Analysis of Inter-Process Communication Delay in ROS 2. RTSS Xiantong Luo, Xu Jiang, Nan Guan, Haochun Liang, Songran Liu, Wang Yi
2023	A	`conf`	Optimizing End-to-End Latency of Sporadic Cause-Effect Chains Using Priority Inheritance. RTSS Yue Tang, Xu Jiang, Nan Guan, Songran Liu, Xiantong Luo, Wang Yi
2023	A*	`conf`	Reaction Time Analysis of Event-Triggered Processing Chains with Data Refreshing. DAC Yue Tang, Nan Guan, Xu Jiang, Zheng Dong, Wang Yi
2023	A	`conf`	Real-Time Performance Analysis of Processing Systems on ROS 2 Executors. RTAS Yue Tang, Nan Guan, Xu Jiang, Xiantong Luo, Wang Yi
2023	A*	`conf`	Response Time Analysis and Optimization of DAG Tasks Exploiting Mutually Exclusive Execution. DAC Haochun Liang, Xu Jiang, Nan Guan, Qingqiang He, Wang Yi
2023	J	`jnl`	Scheduling Parallel Real-Time Tasks on Virtual Processors. IEEE Trans. Parallel Distributed Syst. Xu Jiang, Haochun Liang, Nan Guan, Yue Tang, Lei Qiao, Wang Yi
2022	J	`jnl`	Automatic Speech Recognition Performance Improvement for Mandarin Based on Optimizing Gain Control Strategy. Sensors Desheng Wang, Yangjie Wei, Ke Zhang, Dong Ji, Wang Yi
2022	—	`ch.`	Complexity of Uniprocessor Scheduling Analysis. Handbook of Real-Time Computing Pontus Ekberg, Wang Yi
2022	A	`conf`	Counting Priority Inversions: Computing Maximum Additional Core Requests of DAG Tasks. DATE Morteza Mohaqeqi, Gaoyang Dai, Wang Yi
2022	C	`conf`	MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. COORDINATION Wang Yi, Morteza Mohaqeqi, Susanne Graf
2022	J	`jnl`	Optimized Volume Control Architecture for Cascaded Audio System. IEEE Trans. Consumer Electron. Desheng Wang, Yangjie Wei, Dong Ji, Ye Ma, Wang Yi
2022	A	`conf`	Real-Time Scheduling and Analysis of Processing Chains on Multi-threaded Executor in ROS 2. RTSS Xu Jiang, Dong Ji, Nan Guan, Ruoxiang Li, Yue Tang, Wang Yi
2022	J	`jnl`	Real-Time Scheduling of Parallel Task Graphs With Critical Sections Across Different Vertices. IEEE Trans. Parallel Distributed Syst. Xu Jiang, Nan Guan, Maolin Yang, Yang Wang, Yue Tang, Wang Yi
2022	—	`ch.`	Real-Time Task Models. Handbook of Real-Time Computing Yue Tang, Nan Guan, Wang Yi
2022	J	`jnl`	Response-Time Analysis of Limited-Preemptive Sporadic DAG Tasks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Gaoyang Dai, Morteza Mohaqeqi, Petros Voudouris, Wang Yi
2022	A*	`conf`	Scheduling and analysis of real-time tasks with parallel critical sections. DAC Yang Wang, Xu Jiang, Nan Guan, Mingsong Lv, Dong Ji, Wang Yi
2022	J	`jnl`	Toward the Predictability of Dynamic Real-Time DNN Inference. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Weiguang Pang, Xu Jiang, Mingsong Lv, Teng Gao, Di Liu, Wang Yi
2022	—	`conf`	VoiceBit: GPU-Accelerated Real-Time Human Voice Separation for Mobile Phones. HPCC/DSS/SmartCity/DependSys Gang Chen, Zhaoheng Zhou, Shengyu He, Yi Zheng, Wang Yi
2021	—	`conf`	Cause-Effect Reaction Latency in Real-Time Systems. Model Checking, Synthesis, and Learning Jakaria Abdullah, Wang Yi
2021	J	`jnl`	Efficient and Effective Dimension Control in Automotive Applications. IEEE Trans. Ind. Informatics Ye Ma, Gang Chen, Mingsong Lv, Wang Yi, Xue Liu, Hao Chen, Bo Zhu
2021	J	`jnl`	Flexible Mixed-Criticality Scheduling with Dynamic Slack Management. J. Circuits Syst. Comput. Xinyang Dong, Gang Chen, Mingsong Lv, Weiguang Pang, Wang Yi
2021	—	`ed.`	Model Checking, Synthesis, and Learning - Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday Model Checking, Synthesis, and Learning Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
2021	—	`conf`	Model Checking, Synthesis, and Learning. Model Checking, Synthesis, and Learning Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
2021	J	`jnl`	On the Analysis of Parallel Real-Time Tasks With Spin Locks. IEEE Trans. Computers Xu Jiang, Nan Guan, He Du, Weichen Liu, Wang Yi
2021	J	`jnl`	Partitioning-Based Scheduling of OpenMP Task Systems With Tied Tasks. IEEE Trans. Parallel Distributed Syst. Yang Wang, Xu Jiang, Nan Guan, Zhishan Guo, Xue Liu, Wang Yi
2021	A	`conf`	Response Time Analysis of Lazy Round Robin. DATE Yue Tang, Nan Guan, Zhiwei Feng, Xu Jiang, Wang Yi
2021	J	`jnl`	Schedulability Analysis for Timed Automata With Tasks. ACM Trans. Embed. Comput. Syst. Jinghao Sun, Nan Guan, Rongxiao Shi, Guozhen Tan, Wang Yi
2021	J	`jnl`	Scheduling and analysis of real-time task graph models with nested locks. J. Syst. Archit. He Du, Xu Jiang, Mingsong Lv, Tao Yang, Wang Yi
2021	B	`conf`	Timing-Anomaly Free Dynamic Scheduling of Periodic DAG Tasks with Non-Preemptive Nodes. RTCSA Gaoyang Dai, Morteza Mohaqeqi, Wang Yi
2021	A	`conf`	Virtually-Federated Scheduling of Parallel Real-Time Tasks. RTSS Xu Jiang, Nan Guan, Haochun Liang, Yue Tang, Lei Qiao, Wang Yi
2020	J	`jnl`	Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jinghao Sun, Nan Guan, Shuangshuang Chang, Feng Li, Qingxu Deng, Wang Yi
2020	J	`jnl`	Efficient drone hijacking detection using two-step GA-XGBoost. J. Syst. Archit. Zhiwei Feng, Nan Guan, Mingsong Lv, Wenchen Liu, Qingxu Deng, Xue Liu, Wang Yi
2020	J	`jnl`	Fault-tolerant real-time tasks scheduling with dynamic fault handling. J. Syst. Archit. Gang Chen, Nan Guan, Kai Huang, Wang Yi
2020	J	`jnl`	MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. CoRR Wang Yi, Morteza Mohaqeqi, Susanne Graf
2020	A*	`conf`	On Computing Exact WCRT for DAG Tasks†. DAC Jinghao Sun, Feng Li, Nan Guan, Wentao Zhu, Minjie Xiang, Zhishan Guo, Wang Yi
2020	J	`jnl`	On the Analysis of Parallel Real-Time Tasks with Spin Locks. CoRR Xu Jiang, Nan Guan, He Du, Weichen Liu, Wang Yi
2020	A	`conf`	On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms DATE Jinghao Sun, Yaoyao Chi, Tianfei Xu, Lei Cao, Nan Guan, Zhishan Guo, Wang Yi
2020	J	`jnl`	Optimizing the Locations and Sizes of Solar Assisted Electric Vehicle Charging Stations in an Urban Area. IEEE Access Dong Ji, Mingsong Lv, Jiayu Yang, Wang Yi
2020	J	`jnl`	Real-Time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism. IEEE Trans. Computers Jinghao Sun, Nan Guan, Feng Li, Huimin Gao, Chang Shi, Wang Yi
2020	B	`conf`	Real-Time Scheduling and Analysis of OpenMP Programs with Spin Locks. ICPADS He Du, Xu Jiang, Tao Yang, Mingsong Lv, Wang Yi
2020	A	`conf`	Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors. RTSS Yue Tang, Zhiwei Feng, Nan Guan, Xu Jiang, Mingsong Lv, Qingxu Deng, Wang Yi
2020	J	`jnl`	Schedulability Bounds for Parallel Real-Time Tasks under Global Rate-Monotonic Scheduling. CoRR Xu Jiang, Nan Guan, Maolin Yang, Yue Tang, Wang Yi
2019	J	`jnl`	An Efficient UAV Hijacking Detection Method Using Onboard Inertial Measurement Unit. ACM Trans. Embed. Comput. Syst. Zhiwei Feng, Nan Guan, Mingsong Lv, Weichen Liu, Qingxu Deng, Xue Liu, Wang Yi
2019	J	`jnl`	Depth from defocus (DFD) based on VFISTA optimization algorithm in micro/nanometer vision. Clust. Comput. Yongjun Liu, Yangjie Wei, Wang Yi
2019	A	`conf`	Design and Dynamic Update of Real-Time Systems. RTSS Wang Yi
2019	—	`conf`	Evaluating Audio System Dynamic Range Performance under Variable Distortion Condition. ISCID (2) Desheng Wang, Yangjie Wei, Ke Zhang, Wang Yi
2019	C	`conf`	Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems. ICCD Xiaochen Hao, Mingsong Lv, Jiesheng Zheng, Zhengkui Zhang, Wang Yi
2019	J	`jnl`	Leaking your engine speed by spectrum analysis of real-Time scheduling sequences. J. Syst. Archit. Songran Liu, Nan Guan, Dong Ji, Weichen Liu, Xue Liu, Wang Yi
2019	J	`jnl`	Scope-aware data cache analysis for OpenMP programs on multi-core processors. J. Syst. Archit. He Du, Wei Zhang, Nan Guan, Wang Yi
2019	A	`conf`	Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication. DATE Jakaria Abdullah, Gaoyang Dai, Wang Yi
2018	J	`jnl`	A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jinghao Sun, Nan Guan, Xu Jiang, Shuangshuang Chang, Zhishan Guo, Qingxu Deng, Wang Yi
2018	J	`jnl`	EDF-VD Scheduling of Flexible Mixed-Criticality System With Multiple-Shot Transitions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Gang Chen, Nan Guan, Biao Hu, Wang Yi
2018	—	`conf`	Model Checking Bounded Continuous-time Extended Linear Duration Invariants. HSCC Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi
2018	—	`conf`	On the Consensus Mechanisms of Blockchain/DLT for Internet of Things. SIES Qingqiang He, Nan Guan, Mingsong Lv, Wang Yi
2018	A	`conf`	Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. RTAS Jakaria Abdullah, Gaoyang Dai, Morteza Mohaqeqi, Wang Yi
2018	J	`jnl`	Scheduling Analysis of Imprecise Mixed-Criticality Real-Time Tasks. IEEE Trans. Computers Di Liu, Nan Guan, Jelena Spasic, Gang Chen, Songran Liu, Todor P. Stefanov, Wang Yi
2018	J	`jnl`	Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks. IEEE Trans. Computers Gang Chen, Nan Guan, Di Liu, Qingqiang He, Kai Huang, Todor P. Stefanov, Wang Yi
2017	Misc	`conf`	An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada. Ada-Europe Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi
2017	B	`conf`	Benchmarking OpenMP programs for real-time scheduling. RTCSA Yang Wang, Nan Guan, Jinghao Sun, Mingsong Lv, Qingqiang He, TianZhang He, Wang Yi
2017	A	`conf`	Efficient drone hijacking detection using onboard motion sensors. DATE Zhiwei Feng, Nan Guan, Mingsong Lv, Weichen Liu, Qingxu Deng, Xue Liu, Wang Yi
2017	A	`conf`	Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-Hard. RTSS Pontus Ekberg, Wang Yi
2017	A*	`conf`	Generalized finitary real-time calculus. INFOCOM Kai Lampka, Steffen Bondorf, Jens B. Schmitt, Nan Guan, Wang Yi
2017	A	`conf`	Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks. RTSS Jinghao Sun, Nan Guan, Yang Wang, Qingqiang He, Wang Yi
2017	B	`conf`	Refinement of Workload Models for Engine Controllers by State Space Partitioning. ECRTS Morteza Mohaqeqi, Syed Md Jakaria Abdullah, Pontus Ekberg, Wang Yi
2017	A	`conf`	Revisiting GPC and AND Connector in Real-Time Calculus. RTSS Yue Tang, Nan Guan, Weichen Liu, Linh Thi Xuan Phan, Wang Yi
2017	A	`conf`	Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors. RTSS Xu Jiang, Nan Guan, Xiang Long, Wang Yi
2017	J	`jnl`	Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors. CoRR Xu Jiang, Nan Guan, Xiang Long, Wang Yi
2017	Misc	`conf`	Synthesis of ada code from graph-based task models. SAC Jakaria Abdullah, Morteza Mohaqeqi, Wang Yi
2017	C	`conf`	Towards Customizable CPS: Composability, Efficiency and Predictability. ICFEM Wang Yi
2017	—	`conf`	Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. Models, Algorithms, Logics and Tools Jakaria Abdullah, Gaoyang Dai, Nan Guan, Morteza Mohaqeqi, Wang Yi
2017	J	`jnl`	Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks. CoRR Gang Chen, Nan Guan, Di Liu, Qingqiang He, Kai Huang, Todor P. Stefanov, Wang Yi
2016	J	`jnl`	A Survey on Static Cache Analysis for Real-Time Systems. Leibniz Trans. Embed. Syst. Mingsong Lv, Nan Guan, Jan Reineke, Reinhard Wilhelm, Wang Yi
2016	—	`conf`	Characterization of Simulation by Probabilistic Testing. Theory and Practice of Formal Methods Philipp Rümmer, Wang Yi
2016	J	`jnl`	Dynamic blind source separation based on source-direction prediction. Neurocomputing Yangjie Wei, Wang Yi
2016	A	`conf`	EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees. RTSS Di Liu, Jelena Spasic, Nan Guan, Gang Chen, Songran Liu, Todor P. Stefanov, Wang Yi
2016	J	`jnl`	EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees. CoRR Di Liu, Jelena Spasic, Gang Chen, Nan Guan, Songran Liu, Todor P. Stefanov, Wang Yi
2016	J	`jnl`	Feasibility of Fork-Join Real-Time Task Graph Models: Hardness and Algorithms. ACM Trans. Embed. Comput. Syst. Jinghao Sun, Nan Guan, Yang Wang, Qingxu Deng, Peng Zeng, Wang Yi
2016	A	`conf`	Improving performance by monitoring while maintaining worst-case guarantees. DATE Syed Md Jakaria Abdullah, Kai Lampka, Wang Yi
2016	Misc	`conf`	Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model. Ada-Europe Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi
2016	Misc	`conf`	On Fixed-Priority Schedulability Analysis of Sporadic Tasks with Self-Suspension. RTNS Morteza Mohaqeqi, Pontus Ekberg, Wang Yi
2016	B	`conf`	Schedulability Analysis of Synchronous Digraph Real-Time Tasks. ECRTS Morteza Mohaqeqi, Jakaria Abdullah, Nan Guan, Wang Yi
2016	J	`jnl`	Schedulability analysis of a graph-based task model for mixed-criticality systems. Real Time Syst. Pontus Ekberg, Wang Yi
2016	—	`conf`	Speed planning for solar-powered electric vehicles. e-Energy Mingsong Lv, Nan Guan, Ye Ma, Dong Ji, Erwin Knippel, Xue Liu, Wang Yi
2016	J	`jnl`	Start time configuration for strictly periodic real-time task systems. J. Syst. Archit. Tianyu Zhang, Nan Guan, Qingxu Deng, Wang Yi
2016	B	`conf`	Transforming Real-Time Task Graphs to Improve Schedulability. RTCSA Chuancai Gu, Nan Guan, Zhiwei Feng, Qingxu Deng, Xiaobo Sharon Hu, Wang Yi
2015	J	`jnl`	An optimal resource sharing protocol for generalized multiframe tasks. J. Log. Algebraic Methods Program. Pontus Ekberg, Nan Guan, Martin Stigge, Wang Yi
2015	B	`conf`	Bounding Carry-in Interference to Improve Fixed-Priority Global Multiprocessor Scheduling Analysis. RTCSA Nan Guan, Meiling Han, Chuancai Gu, Qingxu Deng, Wang Yi
2015	J	`jnl`	Combinatorial abstraction refinement for feasibility analysis of static priorities. Real Time Syst. Martin Stigge, Wang Yi
2015	A	`conf`	Delay analysis of structural real-time workload. DATE Nan Guan, Yue Tang, Yang Wang, Wang Yi
2015	Misc	`ed.`	Dependable Software Engineering: Theories, Tools, and Applications - First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings SETTA Xuandong Li, Zhiming Liu, Wang Yi
2015	J	`jnl`	Efficient Shape Reconstruction of Microlens Using Optical Microscopy. IEEE Trans. Ind. Electron. Yangjie Wei, Chengdong Wu, Wang Yi, Zaili Dong
2015	J	`jnl`	Graph-based models for real-time workload: a survey. Real Time Syst. Martin Stigge, Wang Yi
2015	A	`conf`	Modular Performance Analysis of Energy-Harvesting Real-Time Networked Systems. RTSS Nan Guan, Mengying Zhao, Chun Jason Xue, Yongpan Liu, Wang Yi
2015	J	`jnl`	Noninvasive and Continuous Blood Pressure Monitoring Using Wearable Body Sensor Networks. IEEE Intell. Syst. Hao Lin, Wenyao Xu, Nan Guan, Dong Ji, Yangjie Wei, Wang Yi
2015	A	`conf`	Scalable Timing Analysis with Refinement. TACAS Nan Guan, Yue Tang, Jakaria Abdullah, Martin Stigge, Wang Yi
2015	—	`conf`	The automatic detection and analysis of electrocardiogram based on Lorenz Plot. ROBIO Wenqi Wang, Yangjie Wei, Nan Guan, Wang Yi
2015	A	`conf`	Uniprocessor Feasibility of Sporadic Tasks Remains coNP-Complete under Bounded Utilization. RTSS Pontus Ekberg, Wang Yi
2015	B	`conf`	Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines Is Strongly coNP-Complete. ECRTS Pontus Ekberg, Wang Yi
2014	—	`conf`	An Intelligent Hearing Aid System Based on Real-Time Signal Processing. CPSNA Yao Chen, Yangjie Wei, Nan Guan, Wang Yi
2014	A	`conf`	Approximate Response Time Analysis of Real-Time Task Graphs. RTSS Nan Guan, Chuancai Gu, Martin Stigge, Qingxu Deng, Wang Yi
2014	J	`jnl`	Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. Real Time Syst. Pontus Ekberg, Wang Yi
2014	J	`jnl`	Building timing predictable embedded systems. ACM Trans. Embed. Comput. Syst. 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
2014	—	`conf`	Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks. SIES Jonas Flodin, Kai Lampka, Wang Yi
2014	A	`conf`	General and efficient Response Time Analysis for EDF scheduling. DATE Nan Guan, Wang Yi
2014	—	`conf`	Horn Clauses for Communicating Timed Systems. HCVS Hossein Hojjat, Philipp Rümmer, Pavle Subotic, Wang Yi
2014	B	`conf`	Improving the response time analysis of global fixed-priority multiprocessor scheduling. RTCSA Youcheng Sun, Giuseppe Lipari, Nan Guan, Wang Yi
2014	J	`jnl`	Maximizing Lifetime of Three-Dimensional Corona-Based Wireless Sensor Networks. Int. J. Distributed Sens. Networks Changqing Xia, Nan Guan, Qingxu Deng, Wang Yi
2014	—	`conf`	On the analysis of EDF-VD scheduled mixed-criticality real-time systems. SIES Tianyu Zhang, Nan Guan, Qingxu Deng, Wang Yi
2014	A	`conf`	Partitioned mixed-criticality scheduling on multiprocessor platforms. DATE Chuancai Gu, Nan Guan, Qingxu Deng, Wang Yi
2014	B	`conf`	Performance isolation for real-time systems with Xen hypervisor on multi-cores. RTCSA Wei Jing, Nan Guan, Wang Yi
2014	—	`conf`	Pervasive eating habits monitoring and recognition through a wearable acoustic sensor. PervasiveHealth Yin Bi, Wenyao Xu, Nan Guan, Yangjie Wei, Wang Yi
2014	J	`jnl`	Processing Moving kNN Queries Using Influential Neighbor Sets. Proc. VLDB Endow. Chuanwen Li, Yu Gu, Jianzhong Qi, Ge Yu, Rui Zhang, Wang Yi
2014	B	`conf`	Refinement-Based Exact Response-Time Analysis. ECRTS Martin Stigge, Nan Guan, Wang Yi
2014	C	`conf`	Understanding the Dynamic Caches on Intel Processors: Methods and Applications. EUC Yi Zhang, Nan Guan, Wang Yi
2014	J	`jnl`	WCET analysis with MRU cache: Challenging LRU for predictability. ACM Trans. Embed. Comput. Syst. Nan Guan, Mingsong Lv, Wang Yi, Ge Yu
2013	A	`conf`	Combinatorial Abstraction Refinement for Feasibility Analysis. RTSS Martin Stigge, Wang Yi
2013	A	`conf`	FIFO cache analysis for WCET estimation: a quantitative approach. DATE Nan Guan, Xinping Yang, Mingsong Lv, Wang Yi
2013	A	`conf`	Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems. RTSS Nan Guan, Wang Yi
2013	B	`conf`	Improving OCBP-based scheduling for mixed-criticality sporadic task systems. RTCSA Chuancai Gu, Nan Guan, Qingxu Deng, Wang Yi
2013	—	`conf`	Proper Running Posture Guide: A Wearable Biomechanics Capture System. BODYNETS Xiaoyi Zhang, Ming-Chun Huang, Fengbo Ren, Wenyao Xu, Nan Guan, Wang Yi
2013	J	`jnl`	The fork-join real-time task model. SIGBED Rev. Martin Stigge, Pontus Ekberg, Wang Yi
2013	—	`ch.`	Tools for Model-Checking Timed Systems. Communicating Embedded Systems 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
2012	—	`conf`	Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound. IPDPS Workshops Nan Guan, Wang Yi
2012	B	`conf`	Hardness Results for Static Priority Real-Time Scheduling. ECRTS Martin Stigge, Wang Yi
2012	B	`conf`	Outstanding Paper Award: Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks. ECRTS Pontus Ekberg, Wang Yi
2012	A	`conf`	Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling. IPDPS Nan Guan, Martin Stigge, Wang Yi, Ge Yu
2012	B	`ed.`	SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2012, LCTES '12, Beijing, China - June 12 - 13, 2012 LCTES Reinhard Wilhelm, Heiko Falk, Wang Yi
2012	A	`conf`	WCET Analysis with MRU Caches: Challenging LRU for Predictability. IEEE Real-Time and Embedded Technology and Applications Symposium Nan Guan, Mingsong Lv, Wang Yi, Ge Yu
2011	J	`jnl`	Developing UPPAAL over 15 years. Softw. Pract. Exp. Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
2011	A	`conf`	Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems. RTSS Nan Guan, Pontus Ekberg, Martin Stigge, Wang Yi
2011	Misc	`conf`	Energy-efficient scheduling for parallel real-time tasks based on level-packing. SAC Fanxin Kong, Nan Guan, Qingxu Deng, Wang Yi
2011	A	`conf`	Energy-efficient scheduling of real-time tasks on cluster-based multicores. DATE Fanxin Kong, Wang Yi, Qingxu Deng
2011	—	`conf`	Implementation and empirical comparison of partitioning-based multi-core scheduling. SIES Yi Zhang, Nan Guan, Yanbin Xiao, Wang Yi
2011	B	`conf`	McAiT - A Timing Analyzer for Multicore Real-Time Software. ATVA Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi
2011	—	`conf`	Memory Access Aware Mapping for Networks-on-Chip. RTCSA (1) Xi Jin, Nan Guan, Qingxu Deng, Wang Yi
2011	B	`conf`	On the Tractability of Digraph-Based Task Models. ECRTS Martin Stigge, Pontus Ekberg, Nan Guan, Wang Yi
2011	—	`conf`	Research on the Information Integration of China's Basic Industries Trademark Information Service. ICEIS (1) Xiaoquan Gong, Zhenji Zhang, Jinsong Pei, Wang Yi
2011	B	`conf`	Resource Sharing Protocols for Real-Time Task Graph Systems. ECRTS Nan Guan, Pontus Ekberg, Martin Stigge, Wang Yi
2011	J	`jnl`	Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling. J. Syst. Archit. Nan Guan, Wang Yi, Qingxu Deng, Zonghua Gu, Ge Yu
2011	A	`conf`	The Digraph Real-Time Task Model. IEEE Real-Time and Embedded Technology and Applications Symposium Martin Stigge, Pontus Ekberg, Nan Guan, Wang Yi
2011	—	`conf`	Towards the Implementation and Evaluation of Semi-Partitioned Multi-Core Scheduling. PPES Yi Zhang, Nan Guan, Wang Yi
2010	A	`conf`	Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software. RTSS Mingsong Lv, Wang Yi, Nan Guan, Ge Yu
2010	A	`conf`	Fixed-Priority Multiprocessor Scheduling with Liu and Layland's Utilization Bound. IEEE Real-Time and Embedded Technology and Applications Symposium Nan Guan, Martin Stigge, Wang Yi, Ge Yu
2010	B	`conf`	Minimizing Multi-resource Energy for Real-Time Systems with Discrete Operation Modes. ECRTS Fanxin Kong, Yiqun Wang, Qingxu Deng, Wang Yi
2010	C	`conf`	Multicore Embedded Systems: The Timing Problem and Possible Solutions. ICFEM Wang Yi
2010	—	`ed.`	Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010 HSCC Karl Henrik Johansson, Wang Yi
2010	J	`jnl`	Sampled Semantics of Timed Automata Log. Methods Comput. Sci. Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
2010	J	`jnl`	Static worst-case execution time analysis of the Frontiers Comput. Sci. China Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi
2009	—	`conf`	Applying SLEUTH for Simulating and Assessing Urban Growth Scenarios on a Case Study of Beijing. JCAI Wang Yi
2009	Misc	`conf`	Cache-aware scheduling and analysis for multicores. EMSOFT Nan Guan, Martin Stigge, Wang Yi, Ge Yu
2009	—	`conf`	Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. TTSS 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
2009	—	`conf`	Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs. ASP-DAC Nan Guan, Zonghua Gu, Wang Yi, Ge Yu
2009	C	`conf`	Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. ICFEM Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi
2009	A	`conf`	New Response Time Bounds for Fixed Priority Multiprocessor Scheduling. RTSS Nan Guan, Martin Stigge, Wang Yi, Ge Yu
2009	—	`conf`	Universality of R-automata with Value Copying. INFINITY Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
2009	—	`conf`	WCET Analysis of the mC/OS-II Real-Time Kernel. CSE (2) Mingsong Lv, Nan Guan, Yi Zhang, Rui Chen, Qingxu Deng, Ge Yu, Wang Yi
2008	Misc	`conf`	Cyclic dependencies in modular performance analysis. EMSOFT Bengt Jonsson, Simon Perathoner, Lothar Thiele, Wang Yi
2008	J	`jnl`	Introduction to embedded systems week 2006 special issue. ACM Trans. Embed. Comput. Syst. Soonhoi Ha, Kiyoung Choi, Taewhan Kim, Krisztián Flautner, Sang Lyul Min, Wang Yi
2008	Misc	`conf`	Model-based validation of QoS properties of biomedical sensor networks. EMSOFT Simon Tschirner, Liang Xuedong, Wang Yi
2008	A	`conf`	New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms. RTSS Nan Guan, Wang Yi, Zonghua Gu, Qingxu Deng, Ge Yu
2008	B	`conf`	R-Automata. CONCUR Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
2008	J	`jnl`	Timed Automata Patterns. IEEE Trans. Software Eng. Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi
2007	—	`conf`	Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times. FORMATS Pavel Krcál, Martin Stigge, Wang Yi
2007	B	`conf`	Sampled Universality of Timed Automata. FoSSaCS Parosh Aziz Abdulla, Pavel Krcál, Wang Yi
2007	J	`jnl`	Task automata: Schedulability, decidability and undecidability. Inf. Comput. Elena Fersman, Pavel Krcál, Paul Pettersson, Wang Yi
2006	A*	`conf`	Communicating Timed Automata: The More Synchronous, the More Difficult to Verify. CAV Pavel Krcál, Wang Yi
2006	B	`conf`	Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. ICECCS Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi
2006	Misc	`ed.`	Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea EMSOFT Sang Lyul Min, Wang Yi
2006	J	`jnl`	Schedulability analysis of fixed-priority systems using timed automata. Theor. Comput. Sci. Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
2006	—	`conf`	UPPAAL 4.0. QEST Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks
2005	J	`jnl`	Exploring optimal solution to hardware/software partitioning for synchronous model. Formal Aspects Comput. Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi
2005	—	`ed.`	Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings FORMATS Paul Pettersson, Wang Yi
2005	J	`jnl`	Guest Editors' Foreword. Nord. J. Comput. Paul Pettersson, Wang Yi
2005	J	`jnl`	Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. 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
2004	J	`jnl`	A Generic Approach to Schedulability Analysis of Real-Time Tasks. Nord. J. Comput. Elena Fersman, Wang Yi
2004	B	`conf`	An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. SEFM Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi
2004	B	`conf`	An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. IFM Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi
2004	A	`conf`	Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. TACAS Pavel Krcál, Wang Yi
2004	C	`conf`	Timed Patterns: TCOZ to Timed Automata. ICFEM Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi
2004	B	`conf`	Timed vs. Time-Triggered Automata. CONCUR Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi
2003	J	`jnl`	Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. Real Time Syst. Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
2003	J	`jnl`	Introductory paper: scalability aspects of validation. Int. J. Softw. Tools Technol. Transf. Tiziana Margaria, Wang Yi
2003	C	`conf`	On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. ICFEM Johan Bengtsson, Wang Yi
2003	A	`conf`	Schedulability Analysis Using Two Clocks. TACAS Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
2003	—	`conf`	TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. FORMATS Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
2003	—	`conf`	Timed Automata: Semantics, Algorithms and Tools. Lectures on Concurrency and Petri Nets Johan Bengtsson, Wang Yi
2003	—	`conf`	Unification & Sharing in Timed Automata Verification. SPIN Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
2002	—	`conf`	A Tool Architecture for the Next Generation of Uppaal. 10th Anniversary Colloquium of UNU/IIST Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
2002	J	`jnl`	Automated verification of an audio-control protocol using UPPAAL. J. Log. Algebraic Methods Program. Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
2002	J	`jnl`	Axiomatising timed automata. Acta Informatica Huimin Lin, Wang Yi
2002	J	`jnl`	Code Synthesis for Timed Automata. Nord. J. Comput. Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi
2002	B	`conf`	Formal Verification of UML Statecharts with Real-Time Extensions. FASE Alexandre David, M. Oliver Möller, Wang Yi
2002	A	`conf`	TIMES - A Tool for Modelling and Implementation of Embedded Systems. TACAS Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi
2002	J	`jnl`	Testing preorders for probabilistic processes can be characterized by simulations. Theor. Comput. Sci. Bengt Jonsson, Wang Yi
2002	A	`conf`	Timed Automata with Asynchronous Processes: Schedulability and Decidability. TACAS Elena Fersman, Paul Pettersson, Wang Yi
2002	—	`conf`	UPPAAL Implementation Secrets. FTRTFT Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
2001	J	`jnl`	Formal design and analysis of a gear controller. Int. J. Softw. Tools Technol. Transf. Magnus Lindahl, Paul Pettersson, Wang Yi
2001	J	`jnl`	On the Techniques of Enhancing the Security of Block Ciphers. ACM SIGOPS Oper. Syst. Rev. Dawu Gu, Wang Yi
2001	—	`ch.`	Probabilistic Extensions of Process Algebras. Handbook of Process Algebra Bengt Jonsson, Wang Yi, Kim G. Larsen
2001	A	`ed.`	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 TACAS Tiziana Margaria, Wang Yi
2001	—	`conf`	UPPAAL - present and future. CDC Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi
2000	—	`conf`	A Complete Axiomatisation for Timed Automata. FSTTCS Huimin Lin, Wang Yi
2000	B	`conf`	A Proof System for Timed Automata. FoSSaCS Huimin Lin, Wang Yi
2000	B	`conf`	A Real-Time Animator for Hybrid Systems. LCTES Tobias Amnell, Alexandre David, Wang Yi
2000	B	`conf`	Modelling and analysis of a commercial field bus protocol. ECRTS Alexandre David, Wang Yi
2000	A	`conf`	On Memory-Block Traversal Problems in Model-Checking Timed-Systems. TACAS Fredrik Larsson, Paul Pettersson, Wang Yi
2000	—	`conf`	UPPAAL - Now, Next, and Future. MOVEP 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
2000	B	`conf`	Verifying temporal constraints on data in multi-rate transactions using timed automata. RTCSA Anders Wall, Kristian Sandström, Jukka Mäki-Turja, Christer Norström, Wang Yi
1999	J	`jnl`	Clock Difference Diagrams. Nord. J. Comput. Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi
1999	A*	`conf`	Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi
1999	—	`conf`	Fully Abstract Characterization of Probabilistic May Testing. ARTS Bengt Jonsson, Wang Yi
1999	B	`conf`	Timed Automata as Task Models for Event-Driven Systems. RTCSA Christer Norström, Anders Wall, Wang Yi
1998	A	`conf`	Formal Design and Analysis of a Gear Controller. TACAS Magnus Lindahl, Paul Pettersson, Wang Yi
1998	B	`conf`	Partial Order Reductions for Timed Systems. CONCUR Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi
1997	—	`conf`	A Compositional Proof of a Real-Time Mutual Exclusion Protocol. TAPSOFT Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
1997	A	`conf`	Efficient verification of real-time systems: compact data structure and state-space reduction. RTSS Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
1997	J	`jnl`	Time-abstracted Bisimulation: Implicit Specifications and Decidability. Inf. Comput. Kim Guldstrand Larsen, Wang Yi
1997	J	`jnl`	UPPAAL in a Nutshell. Int. J. Softw. Tools Technol. Transf. Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
1997	A*	`conf`	UPPAAL: Status & Developments. CAV Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
1996	A	`conf`	UPPAAL in 1995. TACAS Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
1996	A*	`conf`	Verification of an Audio Protocol with Bus Collision Using UPPAAL. CAV Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
1995	A*	`conf`	Compositional Testing Preorders for Probabilistic Processes LICS Bengt Jonsson, Wang Yi
1995	A	`conf`	Compositional and Symbolic Model-Checking of Real-Time Systems. RTSS Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
1995	—	`conf`	Diagnostic Model-Checking for Real-Time Systems. Hybrid Systems Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
1995	B	`conf`	Model-Checking for Real-Time Systems. FCT Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
1995	—	`conf`	UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. Hybrid Systems Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
1994	—	`conf`	Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information. FTRTFT Wang Yi
1994	C	`conf`	Automatic verification of real-time communicating systems by constraint-solving. FORTE Wang Yi, Paul Pettersson, Mats Daniels
1994	—	`conf`	Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes. FSTTCS Wang Yi, Bengt Jonsson
1994	—	`conf`	Testing and Refinement for Nondeterministic and Probabilistic Processes. FTRTFT Bengt Jonsson, Chris Ho-Stuart, Wang Yi
1993	B	`conf`	Time Abstracted Bisimiulation: Implicit Specifications and Decidability. MFPS Kim Guldstrand Larsen, Wang Yi
1992	—	`conf`	Testing Probabilistic and Nondeterministic Processes. PSTV Wang Yi, Kim Guldstrand Larsen
1991	A*	`conf`	CCS + Time = An Interleaving Model for Real Time Systems. ICALP Wang Yi
1991	A*	`conf`	Deciding Properties of Regular Real Time Processes. CAV Uno Holmer, Kim Guldstrand Larsen, Wang Yi
1990	B	`conf`	Real-Time Behaviour of Asynchronous Agents. CONCUR Wang Yi
1988	—	`conf`	Specifying Processes in Terms of Their Environments. Specification and Verification of Concurrent Systems Wang Yi