Specifying Processes in Terms of Their Environments. - Wang Yi 001 (Specification and Verification of Concurrent Systems, 1988)

Real-Time Behaviour of Asynchronous Agents. - Wang Yi 001 (CONCUR, 1990)

Deciding Properties of Regular Real Time Processes. - Uno Holmer; Kim Guldstrand Larsen; Wang Yi 001 (CAV, 1991)

CCS + Time = An Interleaving Model for Real Time Systems. - Wang Yi 001 (ICALP, 1991)

Testing Probabilistic and Nondeterministic Processes. - Wang Yi 001; Kim Guldstrand Larsen (PSTV, 1992)

Time Abstracted Bisimiulation: Implicit Specifications and Decidability. - Kim Guldstrand Larsen; Wang Yi 001 (MFPS, 1993)

Automatic verification of real-time communicating systems by constraint-solving. - Wang Yi 001; Paul Pettersson; Mats Daniels (FORTE, 1994)

Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes. - Wang Yi 001; Bengt Jonsson 001 (FSTTCS, 1994)

Testing and Refinement for Nondeterministic and Probabilistic Processes. - Bengt Jonsson 001; Chris Ho-Stuart; Wang Yi 001 (FTRTFT, 1994)

Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information. - Wang Yi 001 (FTRTFT, 1994)

Model-Checking for Real-Time Systems. - Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (FCT, 1995)

UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. - Johan Bengtsson; Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (Hybrid Systems, 1995)

Diagnostic Model-Checking for Real-Time Systems. - Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (Hybrid Systems, 1995)

Compositional Testing Preorders for Probabilistic Processes - Bengt Jonsson 001; Wang Yi 001 (LICS, 1995)

Compositional and Symbolic Model-Checking of Real-Time Systems. - Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (RTSS, 1995)

Verification of an Audio Protocol with Bus Collision Using UPPAAL. - Johan Bengtsson; W. O. David Griffioen; Kåre J. Kristoffersen; Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (CAV, 1996)

UPPAAL in 1995. - Johan Bengtsson; Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (TACAS, 1996)

UPPAAL: Status & Developments. - Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (CAV, 1997)

Efficient verification of real-time systems: compact data structure and state-space reduction. - Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (RTSS, 1997)

A Compositional Proof of a Real-Time Mutual Exclusion Protocol. - Kåre J. Kristoffersen; François Laroussinie; Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (TAPSOFT, 1997)

Time-abstracted Bisimulation: Implicit Specifications and Decidability. - Kim Guldstrand Larsen; Wang Yi 001 (Inf. Comput., 1997)

UPPAAL in a Nutshell. - Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (Int. J. Softw. Tools Technol. Transf., 1997)

Partial Order Reductions for Timed Systems. - Johan Bengtsson; Bengt Jonsson 001; Johan Lilius; Wang Yi 001 (CONCUR, 1998)

Fully Abstract Characterization of Probabilistic May Testing. - Bengt Jonsson 001; Wang Yi 001 (ARTS, 1999)

Efficient Timed Reachability Analysis Using Clock Difference Diagrams. - Gerd Behrmann; Kim Guldstrand Larsen; Justin Pearson; Carsten Weise; Wang Yi 001 (CAV, 1999)

Timed Automata as Task Models for Event-Driven Systems. - Christer Norström; Anders Wall; Wang Yi 001 (RTCSA, 1999)

Clock Difference Diagrams. - Kim Guldstrand Larsen; Justin Pearson; Carsten Weise; Wang Yi 001 (Nord. J. Comput., 1999)

Modelling and analysis of a commercial field bus protocol. - Alexandre David; Wang Yi 001 (ECRTS, 2000)

A Proof System for Timed Automata. - Huimin Lin; Wang Yi 001 (FoSSaCS, 2000)

A Complete Axiomatisation for Timed Automata. - Huimin Lin; Wang Yi 001 (FSTTCS, 2000)

A Real-Time Animator for Hybrid Systems. - Tobias Amnell; Alexandre David; Wang Yi 001 (LCTES, 2000)

UPPAAL - Now, Next, and Future. - 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; et al. (MOVEP, 2000)

Verifying temporal constraints on data in multi-rate transactions using timed automata. - Anders Wall; Kristian Sandström; Jukka Mäki-Turja; Christer Norström; Wang Yi 001 (RTCSA, 2000)

On Memory-Block Traversal Problems in Model-Checking Timed-Systems. - Fredrik Larsson; Paul Pettersson; Wang Yi 001 (TACAS, 2000)

Probabilistic Extensions of Process Algebras. - Bengt Jonsson 001; Wang Yi 001; Kim G. Larsen (Handbook of Process Algebra, 2001)

UPPAAL - present and future. - Gerd Behrmann; Kim G. Larsen; Oliver Möller; Alexandre David; Paul Pettersson; Wang Yi 001 (CDC, 2001)

On the Techniques of Enhancing the Security of Block Ciphers. - Dawu Gu; Wang Yi 001 (ACM SIGOPS Oper. Syst. Rev., 2001)

Formal design and analysis of a gear controller. - Magnus Lindahl; Paul Pettersson; Wang Yi 001 (Int. J. Softw. Tools Technol. Transf., 2001)

Formal Verification of UML Statecharts with Real-Time Extensions. - Alexandre David; M. Oliver Möller; Wang Yi 001 (FASE, 2002)

UPPAAL Implementation Secrets. - Gerd Behrmann; Johan Bengtsson; Alexandre David; Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (FTRTFT, 2002)

TIMES - A Tool for Modelling and Implementation of Embedded Systems. - Tobias Amnell; Elena Fersman; Leonid Mokrushin; Paul Pettersson; Wang Yi 001 (TACAS, 2002)

Timed Automata with Asynchronous Processes: Schedulability and Decidability. - Elena Fersman; Paul Pettersson; Wang Yi 001 (TACAS, 2002)

A Tool Architecture for the Next Generation of Uppaal. - Alexandre David; Gerd Behrmann; Kim Guldstrand Larsen; Wang Yi 001 (10th Anniversary Colloquium of UNU/IIST, 2002)

Axiomatising timed automata. - Huimin Lin; Wang Yi 001 (Acta Informatica, 2002)

Automated verification of an audio-control protocol using UPPAAL. - Johan Bengtsson; W. O. David Griffioen; Kåre J. Kristoffersen; Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (J. Log. Algebraic Methods Program., 2002)

Code Synthesis for Timed Automata. - Tobias Amnell; Elena Fersman; Paul Pettersson; Hongyan Sun; Wang Yi 001 (Nord. J. Comput., 2002)

Testing preorders for probabilistic processes can be characterized by simulations. - Bengt Jonsson 001; Wang Yi 001 (Theor. Comput. Sci., 2002)

Timed Automata: Semantics, Algorithms and Tools. - Johan Bengtsson; Wang Yi 001 (Lectures on Concurrency and Petri Nets, 2003)

TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. - Tobias Amnell; Elena Fersman; Leonid Mokrushin; Paul Pettersson; Wang Yi 001 (FORMATS, 2003)

On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. - Johan Bengtsson; Wang Yi 001 (ICFEM, 2003)

Unification & Sharing in Timed Automata Verification. - Alexandre David; Gerd Behrmann; Kim Guldstrand Larsen; Wang Yi 001 (SPIN, 2003)

Schedulability Analysis Using Two Clocks. - Elena Fersman; Leonid Mokrushin; Paul Pettersson; Wang Yi 001 (TACAS, 2003)

Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. - Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (Real Time Syst., 2003)

Introductory paper: scalability aspects of validation. - Tiziana Margaria; Wang Yi 001 (Int. J. Softw. Tools Technol. Transf., 2003)

Timed vs. Time-Triggered Automata. - Pavel Krcál; Leonid Mokrushin; P. S. Thiagarajan; Wang Yi 001 (CONCUR, 2004)

Timed Patterns: TCOZ to Timed Automata. - Jin Song Dong; Ping Hao; Shengchao Qin; Jun Sun 001; Wang Yi 001 (ICFEM, 2004)

An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. - Geguang Pu; Dang Van Hung; Jifeng He 001; Wang Yi 001 (IFM, 2004)

An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. - Geguang Pu; Xiangpeng Zhao; Shuling Wang; Zongyan Qiu; Jifeng He 001; Wang Yi 001 (SEFM, 2004)

Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. - Pavel Krcál; Wang Yi 001 (TACAS, 2004)

A Generic Approach to Schedulability Analysis of Real-Time Tasks. - Elena Fersman; Wang Yi 001 (Nord. J. Comput., 2004)

Exploring optimal solution to hardware/software partitioning for synchronous model. - Jifeng He 001; Dang Van Hung; Geguang Pu; Zongyan Qiu; Wang Yi 001 (Formal Aspects Comput., 2005)

Guest Editors' Foreword. - Paul Pettersson; Wang Yi 001 (Nord. J. Comput., 2005)

Guidelines for a graduate curriculum on embedded software and systems. - Paul Caspi; Alberto L. Sangiovanni-Vincentelli; Luís Almeida 001; Albert Benveniste; Bruno Bouyssounouse; Giorgio C. Buttazzo; Ivica Crnkovic; Werner Damm; Jakob Engblom; Gerhard Fohler; Marisol García-Valls; Hermann Kopetz; et al. (ACM Trans. Embed. Comput. Syst., 2005)

Communicating Timed Automata: The More Synchronous, the More Difficult to Verify. - Pavel Krcál; Wang Yi 001 (CAV, 2006)

Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. - Geguang Pu; Chong Zhang; Zongyan Qiu; Jifeng He 001; Wang Yi 001 (ICECCS, 2006)

UPPAAL 4.0. - Gerd Behrmann; Alexandre David; Kim Guldstrand Larsen; John Håkansson; Paul Pettersson; Wang Yi 001; Martijn Hendriks (QEST, 2006)

Schedulability analysis of fixed-priority systems using timed automata. - Elena Fersman; Leonid Mokrushin; Paul Pettersson; Wang Yi 001 (Theor. Comput. Sci., 2006)

Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times. - Pavel Krcál; Martin Stigge; Wang Yi 001 (FORMATS, 2007)

Sampled Universality of Timed Automata. - Parosh Aziz Abdulla; Pavel Krcál; Wang Yi 001 (FoSSaCS, 2007)

Task automata: Schedulability, decidability and undecidability. - Elena Fersman; Pavel Krcál; Paul Pettersson; Wang Yi 001 (Inf. Comput., 2007)

R-Automata. - Parosh Aziz Abdulla; Pavel Krcál; Wang Yi 001 (CONCUR, 2008)

Cyclic dependencies in modular performance analysis. - Bengt Jonsson 001; Simon Perathoner; Lothar Thiele; Wang Yi 001 (EMSOFT, 2008)

Model-based validation of QoS properties of biomedical sensor networks. - Simon Tschirner; Liang Xuedong; Wang Yi 001 (EMSOFT, 2008)

New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms. - Nan Guan; Wang Yi 001; Zonghua Gu 001; Qingxu Deng; Ge Yu 001 (RTSS, 2008)

Introduction to embedded systems week 2006 special issue. - Soonhoi Ha; Kiyoung Choi; Taewhan Kim; Krisztián Flautner; Sang Lyul Min; Wang Yi 001 (ACM Trans. Embed. Comput. Syst., 2008)

Timed Automata Patterns. - Jin Song Dong; Ping Hao; Shengchao Qin; Jun Sun 001; Wang Yi 001 (IEEE Trans. Software Eng., 2008)

Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs. - Nan Guan; Zonghua Gu 001; Wang Yi 001; Ge Yu 001 (ASP-DAC, 2009)

WCET Analysis of the mC/OS-II Real-Time Kernel. - Mingsong Lv; Nan Guan; Yi Zhang 056; Rui Chen; Qingxu Deng; Ge Yu 001; Wang Yi 001 (CSE (2), 2009)

Cache-aware scheduling and analysis for multicores. - Nan Guan; Martin Stigge; Wang Yi 001; Ge Yu 001 (EMSOFT, 2009)

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. - Frank S. de Boer; Immo Grabe; Mohammad Mahdi Jaghoori; Andries Stam; Wang Yi 001 (ICFEM, 2009)

Applying SLEUTH for Simulating and Assessing Urban Growth Scenarios on a Case Study of Beijing. - Wang Yi 001 (JCAI, 2009)

New Response Time Bounds for Fixed Priority Multiprocessor Scheduling. - Nan Guan; Martin Stigge; Wang Yi 001; Ge Yu 001 (RTSS, 2009)

Universality of R-automata with Value Copying. - Parosh Aziz Abdulla; Pavel Krcál; Wang Yi 001 (INFINITY, 2009)

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. - Immo Grabe; Mohammad Mahdi Jaghoori; Bernhard K. Aichernig; Christel Baier; Tobias Blechmann 001; Frank S. de Boer; Andreas Griesmayer; Einar Broch Johnsen; Joachim Klein 001; Sascha Klüppelholz; Marcel Kyas; Wolfgang Leister; et al. (TTSS, 2009)

Minimizing Multi-resource Energy for Real-Time Systems with Discrete Operation Modes. - Fanxin Kong; Yiqun Wang; Qingxu Deng; Wang Yi 001 (ECRTS, 2010)

Multicore Embedded Systems: The Timing Problem and Possible Solutions. - Wang Yi 001 (ICFEM, 2010)

Fixed-Priority Multiprocessor Scheduling with Liu and Layland's Utilization Bound. - Nan Guan; Martin Stigge; Wang Yi 001; Ge Yu 001 (IEEE Real-Time and Embedded Technology and Applications Symposium, 2010)

Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software. - Mingsong Lv; Wang Yi 001; Nan Guan; Ge Yu 001 (RTSS, 2010)

Sampled Semantics of Timed Automata - Parosh Aziz Abdulla; Pavel Krcál; Wang Yi 001 (Log. Methods Comput. Sci., 2010)

Static worst-case execution time analysis of the µC/OS-II real-time kernel. - Mingsong Lv; Nan Guan; Qingxu Deng; Ge Yu 001; Wang Yi 001 (Frontiers Comput. Sci. China, 2010)

McAiT - A Timing Analyzer for Multicore Real-Time Software. - Mingsong Lv; Nan Guan; Qingxu Deng; Ge Yu 001; Wang Yi 001 (ATVA, 2011)

Energy-efficient scheduling of real-time tasks on cluster-based multicores. - Fanxin Kong; Wang Yi 001; Qingxu Deng (DATE, 2011)

Towards the Implementation and Evaluation of Semi-Partitioned Multi-Core Scheduling. - Yi Zhang 056; Nan Guan; Wang Yi 001 (PPES, 2011)

Resource Sharing Protocols for Real-Time Task Graph Systems. - Nan Guan; Pontus Ekberg; Martin Stigge; Wang Yi 001 (ECRTS, 2011)

On the Tractability of Digraph-Based Task Models. - Martin Stigge; Pontus Ekberg; Nan Guan; Wang Yi 001 (ECRTS, 2011)

Research on the Information Integration of China's Basic Industries Trademark Information Service. - Xiaoquan Gong; Zhenji Zhang; Jinsong Pei; Wang Yi 001 (ICEIS (1), 2011)

The Digraph Real-Time Task Model. - Martin Stigge; Pontus Ekberg; Nan Guan; Wang Yi 001 (IEEE Real-Time and Embedded Technology and Applications Symposium, 2011)

Memory Access Aware Mapping for Networks-on-Chip. - Xi Jin 001; Nan Guan; Qingxu Deng; Wang Yi 001 (RTCSA (1), 2011)

Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems. - Nan Guan; Pontus Ekberg; Martin Stigge; Wang Yi 001 (RTSS, 2011)

Energy-efficient scheduling for parallel real-time tasks based on level-packing. - Fanxin Kong; Nan Guan; Qingxu Deng; Wang Yi 001 (SAC, 2011)

Implementation and empirical comparison of partitioning-based multi-core scheduling. - Yi Zhang 056; Nan Guan; Yanbin Xiao; Wang Yi 001 (SIES, 2011)

Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling. - Nan Guan; Wang Yi 001; Qingxu Deng; Zonghua Gu 001; Ge Yu 001 (J. Syst. Archit., 2011)

Developing UPPAAL over 15 years. - Gerd Behrmann; Alexandre David; Kim Guldstrand Larsen; Paul Pettersson; Wang Yi 001 (Softw. Pract. Exp., 2011)

Outstanding Paper Award: Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks. - Pontus Ekberg; Wang Yi 001 (ECRTS, 2012)

Hardness Results for Static Priority Real-Time Scheduling. - Martin Stigge; Wang Yi 001 (ECRTS, 2012)

Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling. - Nan Guan; Martin Stigge; Wang Yi 001; Ge Yu 001 (IPDPS, 2012)

Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound. - Nan Guan; Wang Yi 001 (IPDPS Workshops, 2012)

WCET Analysis with MRU Caches: Challenging LRU for Predictability. - Nan Guan; Mingsong Lv; Wang Yi 001; Ge Yu 001 (IEEE Real-Time and Embedded Technology and Applications Symposium, 2012)

Tools for Model-Checking Timed Systems. - Alexandre David; Gerd Behrmann; Peter E. Bulychev; Joakim Byg; Thomas Chatain; Kim G. Larsen; Paul Pettersson; Jacob Illum Rasmussen; Jirí Srba; Wang Yi 001; Kenneth Yrke Jørgensen; Didier Lime; et al. (Communicating Embedded Systems, 2013)

Proper Running Posture Guide: A Wearable Biomechanics Capture System. - Xiaoyi Zhang 006; Ming-Chun Huang; Fengbo Ren; Wenyao Xu; Nan Guan; Wang Yi 001 (BODYNETS, 2013)

FIFO cache analysis for WCET estimation: a quantitative approach. - Nan Guan; Xinping Yang; Mingsong Lv; Wang Yi 001 (DATE, 2013)

Improving OCBP-based scheduling for mixed-criticality sporadic task systems. - Chuancai Gu; Nan Guan; Qingxu Deng; Wang Yi 001 (RTCSA, 2013)

Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems. - Nan Guan; Wang Yi 001 (RTSS, 2013)

Combinatorial Abstraction Refinement for Feasibility Analysis. - Martin Stigge; Wang Yi 001 (RTSS, 2013)

The fork-join real-time task model. - Martin Stigge; Pontus Ekberg; Wang Yi 001 (SIGBED Rev., 2013)

An Intelligent Hearing Aid System Based on Real-Time Signal Processing. - Yao Chen; Yangjie Wei; Nan Guan; Wang Yi 001 (CPSNA, 2014)

Partitioned mixed-criticality scheduling on multiprocessor platforms. - Chuancai Gu; Nan Guan; Qingxu Deng; Wang Yi 001 (DATE, 2014)

General and efficient Response Time Analysis for EDF scheduling. - Nan Guan; Wang Yi 001 (DATE, 2014)

Refinement-Based Exact Response-Time Analysis. - Martin Stigge; Nan Guan; Wang Yi 001 (ECRTS, 2014)

Understanding the Dynamic Caches on Intel Processors: Methods and Applications. - Yi Zhang 056; Nan Guan; Wang Yi 001 (EUC, 2014)

Pervasive eating habits monitoring and recognition through a wearable acoustic sensor. - Yin Bi; Wenyao Xu; Nan Guan; Yangjie Wei; Wang Yi 001 (PervasiveHealth, 2014)

Performance isolation for real-time systems with Xen hypervisor on multi-cores. - Wei Jing; Nan Guan; Wang Yi 001 (RTCSA, 2014)

Improving the response time analysis of global fixed-priority multiprocessor scheduling. - Youcheng Sun; Giuseppe Lipari; Nan Guan; Wang Yi 001 (RTCSA, 2014)

Approximate Response Time Analysis of Real-Time Task Graphs. - Nan Guan; Chuancai Gu; Martin Stigge; Qingxu Deng; Wang Yi 001 (RTSS, 2014)

Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks. - Jonas Flodin; Kai Lampka; Wang Yi 001 (SIES, 2014)

On the analysis of EDF-VD scheduled mixed-criticality real-time systems. - Tianyu Zhang 001; Nan Guan; Qingxu Deng; Wang Yi 001 (SIES, 2014)

Horn Clauses for Communicating Timed Systems. - Hossein Hojjat; Philipp Rümmer; Pavle Subotic; Wang Yi 001 (HCVS, 2014)

Maximizing Lifetime of Three-Dimensional Corona-Based Wireless Sensor Networks. - Changqing Xia; Nan Guan; Qingxu Deng; Wang Yi 001 (Int. J. Distributed Sens. Networks, 2014)

Processing Moving kNN Queries Using Influential Neighbor Sets. - Chuanwen Li; Yu Gu 002; Jianzhong Qi 001; Ge Yu 001; Rui Zhang 003; Wang Yi 001 (Proc. VLDB Endow., 2014)

Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. - Pontus Ekberg; Wang Yi 001 (Real Time Syst., 2014)

Building timing predictable embedded systems. - Philip Axer; Rolf Ernst; Heiko Falk; Alain Girault; Daniel Grund; Nan Guan; Bengt Jonsson 001; Peter Marwedel; Jan Reineke 001; Christine Rochange; Maurice Sebastian; Reinhard von Hanxleden; et al. (ACM Trans. Embed. Comput. Syst., 2014)

WCET analysis with MRU cache: Challenging LRU for predictability. - Nan Guan; Mingsong Lv; Wang Yi 001; Ge Yu 001 (ACM Trans. Embed. Comput. Syst., 2014)

Delay analysis of structural real-time workload. - Nan Guan; Yue Tang 001; Yang Wang 082; Wang Yi 001 (DATE, 2015)

Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines Is Strongly coNP-Complete. - Pontus Ekberg; Wang Yi 001 (ECRTS, 2015)

The automatic detection and analysis of electrocardiogram based on Lorenz Plot. - Wenqi Wang; Yangjie Wei; Nan Guan; Wang Yi 001 (ROBIO, 2015)

Bounding Carry-in Interference to Improve Fixed-Priority Global Multiprocessor Scheduling Analysis. - Nan Guan; Meiling Han; Chuancai Gu; Qingxu Deng; Wang Yi 001 (RTCSA, 2015)

Uniprocessor Feasibility of Sporadic Tasks Remains coNP-Complete under Bounded Utilization. - Pontus Ekberg; Wang Yi 001 (RTSS, 2015)

Modular Performance Analysis of Energy-Harvesting Real-Time Networked Systems. - Nan Guan; Mengying Zhao; Chun Jason Xue; Yongpan Liu; Wang Yi 001 (RTSS, 2015)

Scalable Timing Analysis with Refinement. - Nan Guan; Yue Tang 001; Jakaria Abdullah; Martin Stigge; Wang Yi 001 (TACAS, 2015)

Noninvasive and Continuous Blood Pressure Monitoring Using Wearable Body Sensor Networks. - Hao Lin; Wenyao Xu; Nan Guan; Dong Ji; Yangjie Wei; Wang Yi 001 (IEEE Intell. Syst., 2015)

An optimal resource sharing protocol for generalized multiframe tasks. - Pontus Ekberg; Nan Guan; Martin Stigge; Wang Yi 001 (J. Log. Algebraic Methods Program., 2015)

Graph-based models for real-time workload: a survey. - Martin Stigge; Wang Yi 001 (Real Time Syst., 2015)

Combinatorial abstraction refinement for feasibility analysis of static priorities. - Martin Stigge; Wang Yi 001 (Real Time Syst., 2015)

Efficient Shape Reconstruction of Microlens Using Optical Microscopy. - Yangjie Wei; Chengdong Wu 001; Wang Yi 001; Zaili Dong (IEEE Trans. Ind. Electron., 2015)

Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model. - Morteza Mohaqeqi; Jakaria Abdullah; Wang Yi 001 (Ada-Europe, 2016)

Characterization of Simulation by Probabilistic Testing. - Philipp Rümmer; Wang Yi 001 (Theory and Practice of Formal Methods, 2016)

Improving performance by monitoring while maintaining worst-case guarantees. - Syed Md Jakaria Abdullah; Kai Lampka; Wang Yi 001 (DATE, 2016)

Schedulability Analysis of Synchronous Digraph Real-Time Tasks. - Morteza Mohaqeqi; Jakaria Abdullah; Nan Guan; Wang Yi 001 (ECRTS, 2016)

Speed planning for solar-powered electric vehicles. - Mingsong Lv; Nan Guan; Ye Ma; Dong Ji; Erwin Knippel; Xue Liu 001; Wang Yi 001 (e-Energy, 2016)

Transforming Real-Time Task Graphs to Improve Schedulability. - Chuancai Gu; Nan Guan; Zhiwei Feng; Qingxu Deng; Xiaobo Sharon Hu; Wang Yi 001 (RTCSA, 2016)

On Fixed-Priority Schedulability Analysis of Sporadic Tasks with Self-Suspension. - Morteza Mohaqeqi; Pontus Ekberg; Wang Yi 001 (RTNS, 2016)

EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees. - Di Liu 002; Jelena Spasic; Nan Guan; Gang Chen 023; Songran Liu; Todor P. Stefanov; Wang Yi 001 (RTSS, 2016)

Dynamic blind source separation based on source-direction prediction. - Yangjie Wei; Wang Yi 001 (Neurocomputing, 2016)

Start time configuration for strictly periodic real-time task systems. - Tianyu Zhang 001; Nan Guan; Qingxu Deng; Wang Yi 001 (J. Syst. Archit., 2016)

A Survey on Static Cache Analysis for Real-Time Systems. - Mingsong Lv; Nan Guan; Jan Reineke 001; Reinhard Wilhelm; Wang Yi 001 (Leibniz Trans. Embed. Syst., 2016)

Schedulability analysis of a graph-based task model for mixed-criticality systems. - Pontus Ekberg; Wang Yi 001 (Real Time Syst., 2016)

Feasibility of Fork-Join Real-Time Task Graph Models: Hardness and Algorithms. - Jinghao Sun; Nan Guan; Yang Wang 082; Qingxu Deng; Peng Zeng 001; Wang Yi 001 (ACM Trans. Embed. Comput. Syst., 2016)

An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada. - Morteza Mohaqeqi; Jakaria Abdullah; Wang Yi 001 (Ada-Europe, 2017)

Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. - Jakaria Abdullah; Gaoyang Dai; Nan Guan; Morteza Mohaqeqi; Wang Yi 001 (Models, Algorithms, Logics and Tools, 2017)

Efficient drone hijacking detection using onboard motion sensors. - Zhiwei Feng; Nan Guan; Mingsong Lv; Weichen Liu; Qingxu Deng; Xue Liu 001; Wang Yi 001 (DATE, 2017)

Refinement of Workload Models for Engine Controllers by State Space Partitioning. - Morteza Mohaqeqi; Syed Md Jakaria Abdullah; Pontus Ekberg; Wang Yi 001 (ECRTS, 2017)

Towards Customizable CPS: Composability, Efficiency and Predictability. - Wang Yi 001 (ICFEM, 2017)

Generalized finitary real-time calculus. - Kai Lampka; Steffen Bondorf; Jens B. Schmitt; Nan Guan; Wang Yi 001 (INFOCOM, 2017)

Benchmarking OpenMP programs for real-time scheduling. - Yang Wang 082; Nan Guan; Jinghao Sun; Mingsong Lv; Qingqiang He; Tianzhang He; Wang Yi 001 (RTCSA, 2017)

Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-Hard. - Pontus Ekberg; Wang Yi 001 (RTSS, 2017)

Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors. - Xu Jiang 004; Nan Guan; Xiang Long; Wang Yi 001 (RTSS, 2017)

Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks. - Jinghao Sun; Nan Guan; Yang Wang 082; Qingqiang He; Wang Yi 001 (RTSS, 2017)

Revisiting GPC and AND Connector in Real-Time Calculus. - Yue Tang 001; Nan Guan; Weichen Liu; Linh Thi Xuan Phan; Wang Yi 001 (RTSS, 2017)

Synthesis of ada code from graph-based task models. - Jakaria Abdullah; Morteza Mohaqeqi; Wang Yi 001 (SAC, 2017)

Model Checking Bounded Continuous-time Extended Linear Duration Invariants. - Jie An 001; Naijun Zhan; Xiaoshan Li; Miaomiao Zhang 003; Wang Yi 001 (HSCC, 2018)

Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing. - Jakaria Abdullah; Gaoyang Dai; Morteza Mohaqeqi; Wang Yi 001 (RTAS, 2018)

On the Consensus Mechanisms of Blockchain/DLT for Internet of Things. - Qingqiang He; Nan Guan; Mingsong Lv; Wang Yi 001 (SIES, 2018)

Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks. - Gang Chen 023; Nan Guan; Di Liu 002; Qingqiang He; Kai Huang 001; Todor P. Stefanov; Wang Yi 001 (IEEE Trans. Computers, 2018)

Scheduling Analysis of Imprecise Mixed-Criticality Real-Time Tasks. - Di Liu 002; Nan Guan; Jelena Spasic; Gang Chen 023; Songran Liu; Todor P. Stefanov; Wang Yi 001 (IEEE Trans. Computers, 2018)

EDF-VD Scheduling of Flexible Mixed-Criticality System With Multiple-Shot Transitions. - Gang Chen 023; Nan Guan; Biao Hu 001; Wang Yi 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF. - Jinghao Sun; Nan Guan; Xu Jiang 004; Shuangshuang Chang; Zhishan Guo; Qingxu Deng; Wang Yi 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication. - Jakaria Abdullah; Gaoyang Dai; Wang Yi 001 (DATE, 2019)

Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems. - Xiaochen Hao; Mingsong Lv; Jiesheng Zheng; Zhengkui Zhang; Wang Yi 001 (ICCD, 2019)

Evaluating Audio System Dynamic Range Performance under Variable Distortion Condition. - Desheng Wang; Yangjie Wei; Ke Zhang; Wang Yi 001 (ISCID (2), 2019)

Design and Dynamic Update of Real-Time Systems. - Wang Yi 001 (RTSS, 2019)

Depth from defocus (DFD) based on VFISTA optimization algorithm in micro/nanometer vision. - Yongjun Liu; Yangjie Wei; Wang Yi 001 (Clust. Comput., 2019)

Scope-aware data cache analysis for OpenMP programs on multi-core processors. - He Du; Wei Zhang 173; Nan Guan; Wang Yi 001 (J. Syst. Archit., 2019)

Leaking your engine speed by spectrum analysis of real-Time scheduling sequences. - Songran Liu; Nan Guan; Dong Ji; Weichen Liu; Xue Liu 001; Wang Yi 001 (J. Syst. Archit., 2019)

An Efficient UAV Hijacking Detection Method Using Onboard Inertial Measurement Unit. - Zhiwei Feng; Nan Guan; Mingsong Lv; Weichen Liu; Qingxu Deng; Xue Liu 001; Wang Yi 001 (ACM Trans. Embed. Comput. Syst., 2019)

On Computing Exact WCRT for DAG Tasks†. - Jinghao Sun; Feng Li 032; Nan Guan; Wentao Zhu; Minjie Xiang; Zhishan Guo; Wang Yi 001 (DAC, 2020)

On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms*. - Jinghao Sun; Yaoyao Chi; Tianfei Xu; Lei Cao; Nan Guan; Zhishan Guo; Wang Yi 001 (DATE, 2020)

Real-Time Scheduling and Analysis of OpenMP Programs with Spin Locks. - He Du; Xu Jiang 004; Tao Yang 024; Mingsong Lv; Wang Yi 001 (ICPADS, 2020)

Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors. - Yue Tang 001; Zhiwei Feng; Nan Guan; Xu Jiang 004; Mingsong Lv; Qingxu Deng; Wang Yi 001 (RTSS, 2020)

Optimizing the Locations and Sizes of Solar Assisted Electric Vehicle Charging Stations in an Urban Area. - Dong Ji; Mingsong Lv; Jiayu Yang; Wang Yi 001 (IEEE Access, 2020)

Schedulability Bounds for Parallel Real-Time Tasks under Global Rate-Monotonic Scheduling. - Xu Jiang 004; Nan Guan; Maolin Yang; Yue Tang 001; Wang Yi 001 (CoRR, 2020)

Fault-tolerant real-time tasks scheduling with dynamic fault handling. - Gang Chen 023; Nan Guan; Kai Huang 001; Wang Yi 001 (J. Syst. Archit., 2020)

Efficient drone hijacking detection using two-step GA-XGBoost. - Zhiwei Feng; Nan Guan; Mingsong Lv; Wenchen Liu; Qingxu Deng; Xue Liu 001; Wang Yi 001 (J. Syst. Archit., 2020)

Real-Time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism. - Jinghao Sun; Nan Guan; Feng Li 032; Huimin Gao; Chang Shi; Wang Yi 001 (IEEE Trans. Computers, 2020)

Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling. - Jinghao Sun; Nan Guan; Shuangshuang Chang; Feng Li 032; Qingxu Deng; Wang Yi 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Cause-Effect Reaction Latency in Real-Time Systems. - Jakaria Abdullah; Wang Yi 001 (Model Checking, Synthesis, and Learning, 2021)

Model Checking, Synthesis, and Learning. - Ernst-Rüdiger Olderog; Bernhard Steffen; Wang Yi 001 (Model Checking, Synthesis, and Learning, 2021)

Response Time Analysis of Lazy Round Robin. - Yue Tang 001; Nan Guan; Zhiwei Feng; Xu Jiang 004; Wang Yi 001 (DATE, 2021)

Timing-Anomaly Free Dynamic Scheduling of Periodic DAG Tasks with Non-Preemptive Nodes. - Gaoyang Dai; Morteza Mohaqeqi; Wang Yi 001 (RTCSA, 2021)

Virtually-Federated Scheduling of Parallel Real-Time Tasks. - Xu Jiang 004; Nan Guan; Haochun Liang; Yue Tang 001; Lei Qiao 002; Wang Yi 001 (RTSS, 2021)

Flexible Mixed-Criticality Scheduling with Dynamic Slack Management. - Xinyang Dong; Gang Chen 023; Mingsong Lv; Weiguang Pang; Wang Yi 001 (J. Circuits Syst. Comput., 2021)

Scheduling and analysis of real-time task graph models with nested locks. - He Du; Xu Jiang 004; Mingsong Lv; Tao Yang 024; Wang Yi 001 (J. Syst. Archit., 2021)

On the Analysis of Parallel Real-Time Tasks With Spin Locks. - Xu Jiang 004; Nan Guan; He Du; Weichen Liu; Wang Yi 001 (IEEE Trans. Computers, 2021)

Schedulability Analysis for Timed Automata With Tasks. - Jinghao Sun; Nan Guan; Rongxiao Shi; Guozhen Tan; Wang Yi 001 (ACM Trans. Embed. Comput. Syst., 2021)

Efficient and Effective Dimension Control in Automotive Applications. - Ye Ma; Gang Chen 023; Mingsong Lv; Wang Yi 001; Xue Liu 001; Hao Chen 087; Bo Zhu 006 (IEEE Trans. Ind. Informatics, 2021)

Partitioning-Based Scheduling of OpenMP Task Systems With Tied Tasks. - Yang Wang 082; Xu Jiang 004; Nan Guan; Zhishan Guo; Xue Liu 001; Wang Yi 001 (IEEE Trans. Parallel Distributed Syst., 2021)

Complexity of Uniprocessor Scheduling Analysis. - Pontus Ekberg; Wang Yi 001 (Handbook of Real-Time Computing, 2022)

Real-Time Task Models. - Yue Tang 001; Nan Guan; Wang Yi 001 (Handbook of Real-Time Computing, 2022)

MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems. - Wang Yi 001; Morteza Mohaqeqi; Susanne Graf (COORDINATION, 2022)

Scheduling and analysis of real-time tasks with parallel critical sections. - Yang Wang 082; Xu Jiang 004; Nan Guan; Mingsong Lv; Dong Ji; Wang Yi 001 (DAC, 2022)

Counting Priority Inversions: Computing Maximum Additional Core Requests of DAG Tasks. - Morteza Mohaqeqi; Gaoyang Dai; Wang Yi 001 (DATE, 2022)

VoiceBit: GPU-Accelerated Real-Time Human Voice Separation for Mobile Phones. - Gang Chen 023; Zhaoheng Zhou; Shengyu He; Yi Zheng; Wang Yi 001 (HPCC/DSS/SmartCity/DependSys, 2022)

Real-Time Scheduling and Analysis of Processing Chains on Multi-threaded Executor in ROS 2. - Xu Jiang 004; Dong Ji; Nan Guan; Ruoxiang Li; Yue Tang 001; Wang Yi 001 (RTSS, 2022)

Automatic Speech Recognition Performance Improvement for Mandarin Based on Optimizing Gain Control Strategy. - Desheng Wang; Yangjie Wei; Ke Zhang; Dong Ji; Wang Yi 001 (Sensors, 2022)

Response-Time Analysis of Limited-Preemptive Sporadic DAG Tasks. - Gaoyang Dai; Morteza Mohaqeqi; Petros Voudouris; Wang Yi 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Toward the Predictability of Dynamic Real-Time DNN Inference. - Weiguang Pang; Xu Jiang 004; Mingsong Lv; Teng Gao; Di Liu 002; Wang Yi 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Optimized Volume Control Architecture for Cascaded Audio System. - Desheng Wang; Yangjie Wei; Dong Ji; Ye Ma; Wang Yi 001 (IEEE Trans. Consumer Electron., 2022)

Real-Time Scheduling of Parallel Task Graphs With Critical Sections Across Different Vertices. - Xu Jiang 004; Nan Guan; Maolin Yang; Yang Wang 082; Yue Tang 001; Wang Yi 001 (IEEE Trans. Parallel Distributed Syst., 2022)

Characterizations of Parallel Real-Time Workloads. - Xu Jiang 004; Jinghao Sun; Wang Yi 001 (Theories of Programming and Formal Methods, 2023)

Response Time Analysis and Optimization of DAG Tasks Exploiting Mutually Exclusive Execution. - Haochun Liang; Xu Jiang 004; Nan Guan; Qingqiang He; Wang Yi 001 (DAC, 2023)

Reaction Time Analysis of Event-Triggered Processing Chains with Data Refreshing. - Yue Tang 001; Nan Guan; Xu Jiang 004; Zheng Dong 002; Wang Yi 001 (DAC, 2023)

Analysis and Optimization of Worst-Case Time Disparity in Cause-Effect Chains. - Xu Jiang 004; Xiantong Luo; Nan Guan; Zheng Dong 002; Shaoshan Liu; Wang Yi 001 (DATE, 2023)

Light Flash Write for Efficient Firmware Update on Energy-harvesting IoT Devices. - Songran Liu; Mingsong Lv; Wei Zhang 173; Xu Jiang 004; Chuancai Gu; Tao Yang 024; Wang Yi 001; Nan Guan (DATE, 2023)

Real-Time Performance Analysis of Processing Systems on ROS 2 Executors. - Yue Tang 001; Nan Guan; Xu Jiang 004; Xiantong Luo; Wang Yi 001 (RTAS, 2023)

Optimizing End-to-End Latency of Sporadic Cause-Effect Chains Using Priority Inheritance. - Yue Tang 001; Xu Jiang 004; Nan Guan; Songran Liu; Xiantong Luo; Wang Yi 001 (RTSS, 2023)

Modeling and Analysis of Inter-Process Communication Delay in ROS 2. - Xiantong Luo; Xu Jiang 004; Nan Guan; Haochun Liang; Songran Liu; Wang Yi 001 (RTSS, 2023)

Anomaly detection based on multi-teacher knowledge distillation. - Ye Ma; Xu Jiang 004; Nan Guan; Wang Yi 001 (J. Syst. Archit., 2023)

Efficient CUDA stream management for multi-DNN real-time inference on embedded GPUs. - Weiguang Pang; Xiantong Luo; Kailun Chen; Dong Ji; Lei Qiao 002; Wang Yi 001 (J. Syst. Archit., 2023)

A Unified Blocking Analysis for Parallel Tasks With Spin Locks Under Global Fixed Priority Scheduling. - Xu Jiang 004; Zewei Chen; Maolin Yang; Nan Guan; Yue Tang 001; Wang Yi 001 (IEEE Trans. Computers, 2023)

Comparing Communication Paradigms in Cause-Effect Chains. - Yue Tang 001; Xu Jiang 004; Nan Guan; Dong Ji; Xiantong Luo; Wang Yi 001 (IEEE Trans. Computers, 2023)

Scheduling Parallel Real-Time Tasks on Virtual Processors. - Xu Jiang 004; Haochun Liang; Nan Guan; Yue Tang 001; Lei Qiao 002; Wang Yi 001 (IEEE Trans. Parallel Distributed Syst., 2023)

Design and Blocking Analysis of Locking Protocols for Real-Time DAG Tasks Under Federated Scheduling. - Yang Wang 082; Yu Li; Xuemei Peng; Dong Ji; Nan Guan; Wang Yi 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

A GPU-accelerated real-time human voice separation framework for mobile phones. - Gang Chen 023; Yi Zheng; Zhaoheng Zhou; Shengyu He; Wang Yi 001 (J. Syst. Archit., 2023)

Control Flow Divergence Optimization by Exploiting Tensor Cores. - Weiguang Pang; Xu Jiang 004; Songran Liu; Lei Qiao 002; Kexue Fu 001; Longxiang Gao; Wang Yi 001 (DAC, 2024)

Timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals. - Xiantong Luo; Haochun Liang; Yue Tang 001; Xu Jiang 004; Nan Guan; Wang Yi 001 (SETTA, 2024)

Timing analysis of processing chains with data refreshing in ROS 2. - Yue Tang 001; Xu Jiang 004; Nan Guan; Xiantong Luo; Maolin Yang; Wang Yi 001 (J. Syst. Archit., 2024)

RTeX: An Efficient and Timing-Predictable Multithreaded Executor for ROS 2. - Songran Liu; Xu Jiang 004; Nan Guan; Zilong Wang; Minghe Yu; Wang Yi 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Timing is All You Need. - Susanne Graf; Bengt Jonsson 001; Behnam Khodabandeloo; Chengzi Huang; Nikolaus Huber; Philipp Rümmer; Wang Yi 001 (The Combined Power of Research, Education, and Dissemination, 2025)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software. - Nikolaus Huber; Susanne Graf; Philipp Rümmer; Wang Yi 001 (COORDINATION, 2025)

Analysis and optimization of communication delay in multi-subscriber environments of ROS 2. - Xiantong Luo; Xu Jiang 004; Yue Tang 001; Haochun Liang; Nan Guan; Wang Yi 001 (J. Syst. Archit., 2025)