W. Ang Yi

Q: What Schools Are Affiliated With W. Ang Yi

W. Ang Yi is affiliated with the following schools: Uppsala University, Northeastern University

W. Ang Yi's AcademicInfluence.com Rankings

W. Ang Yi

Computer Science

#9568

World Rank

#10043

Historical Rank

Database

#6537

World Rank

#6772

Historical Rank

computer-science Degrees

Download Badge

Computer Science

W. Ang Yi's Degrees

PhD Computer Science Aalborg University

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2026

Why Is W. Ang Yi Influential?

(Suggest an Edit or Addition)

(See a Problem?)

W. Ang Yi's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Uppaal in a nutshell (1997) (2469)
Timed Automata: Semantics, Algorithms and Tools (2003) (960)
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems (1996) (931)
Model-Checking for Real-Time Systems (1995) (788)
TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems (2003) (234)
Efficient verification of real-time systems: compact data structure and state-space reduction (1997) (229)
Compositional and symbolic model-checking of real-time systems (1995) (211)
Automatic verification of real-time communicating systems by constraint-solving (1994) (197)
Formal design and analysis of a gear controller (1998) (195)
Partial Order Reductions for Timed Systems (1998) (189)
Efficient Timed Reachability Analysis Using Clock Difference Diagrams (1998) (183)
Task automata: Schedulability, decidability and undecidability (2007) (178)
Verification of an Audio Protocol with Bus Collision Using UPPAAL (1996) (176)
Probabilistic Extensions of Process Algebras (2001) (174)
New Response Time Bounds for Fixed Priority Multiprocessor Scheduling (2009) (167)
The Digraph Real-Time Task Model (2011) (159)
TIMES - A Tool for Modelling and Implementation of Embedded Systems (2002) (157)
UPPAAL Implementation Secrets (2002) (151)
Timed Automata with Asynchronous Processes: Schedulability and Decidability (2002) (149)
Formal Verification of UML Statecharts with Real-Time Extensions (2002) (147)
Timed automata as task models for event-driven systems (1999) (144)
Outstanding Paper Award: Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks (2012) (140)
UPPAAL - Now, Next, and Future (2000) (138)
Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems (2011) (137)
Cache-aware scheduling and analysis for multicores (2009) (133)
Building timing predictable embedded systems (2014) (121)
Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software (2010) (120)
Time-abstracted Bisimulation: Implicit Specifications and Decidability (1997) (119)
Fixed-Priority Multiprocessor Scheduling with Liu and Layland's Utilization Bound (2010) (116)
UPPAAL - present and future (2001) (113)
AutoDietary: A Wearable Acoustic Sensor System for Food Intake Recognition in Daily Life (2016) (109)
Bounding and shaping the demand of generalized mixed-criticality sporadic task systems (2013) (107)
Developing UPPAAL over 15 years (2011) (106)
New Generation of UPPAAL (1998) (99)
Schedulability analysis of fixed-priority systems using timed automata (2006) (99)
Clock Difference Diagrams (1998) (99)
Compositional testing preorders for probabilistic processes (1995) (98)
Diagnostic Model-Checking for Real-Time Systems (1995) (92)
Model-based validation of QoS properties of biomedical sensor networks (2008) (80)
Time Abstracted Bisimiulation: Implicit Specifications and Decidability (1993) (80)
Code Synthesis for Timed Automata (2002) (79)
Timed Automata Patterns (2008) (78)
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata (2004) (73)
UPPAAL in 1995 (1996) (69)
Cyclic dependencies in modular performance analysis (2008) (69)
A Survey on Static Cache Analysis for Real-Time Systems (2016) (65)
Energy-efficient scheduling of real-time tasks on cluster-based multicores (2011) (64)
Timed Patterns: TCOZ to Timed Automata (2004) (63)
Modelling and analysis of a commercial field bus protocol (2000) (63)
Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors (2017) (62)
New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms (2008) (60)
A Compositional Proof of a Real-Time Mutual Exclusion Protocol (1996) (60)
EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees (2016) (58)
UPPAAL: Status & Developments (1997) (54)
A Tool Architecture for the Next Generation of Uppaal (2002) (53)
Testing and Refinement for Nondeterministic and Probabilistic Processes (1994) (53)
Noninvasive and Continuous Blood Pressure Monitoring Using Wearable Body Sensor Networks (2015) (52)
A Generic Approach to Schedulability Analysis of Real-Time Tasks (2004) (50)
Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling (2011) (49)
Communicating Timed Automata: The More Synchronous, the More Difficult to Verify (2006) (45)
On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata (2003) (42)
Schedulability Analysis Using Two Clocks (2003) (42)
WCET Analysis with MRU Caches: Challenging LRU for Predictability (2012) (41)
Automated verification of an audio-control protocol using UPPAAL (2002) (40)
Graph-based models for real-time workload: a survey (2015) (40)
Testing preorders for probabilistic processes can be characterized by simulations (2002) (40)
Multi-feature fusion for thermal face recognition (2016) (39)
Automated Analysis of an Audio Control Protocol Using UPPAAL (2002) (38)
Combinatorial Abstraction Refinement for Feasibility Analysis (2013) (38)
Partitioned mixed-criticality scheduling on multiprocessor platforms (2014) (37)
On the Tractability of Digraph-Based Task Models (2011) (36)
UPPAAL: Status and Developments (1997) (36)
Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks (2017) (34)
FIFO cache analysis for WCET estimation: A quantitative approach (2013) (31)
Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems (2003) (30)
Timed vs. Time-Triggered Automata (2004) (30)
Improving the response time analysis of global fixed-priority multiprocessor scheduling (2014) (28)
Hardness Results for Static Priority Real-Time Scheduling (2012) (28)
On the Consensus Mechanisms of Blockchain/DLT for Internet of Things (2018) (27)
Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times (2007) (26)
Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines Is Strongly coNP-Complete (2015) (26)
Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems (2013) (26)
Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information (1994) (25)
Efficient drone hijacking detection using two-step GA-XGBoost (2020) (24)
Horn Clauses for Communicating Timed Systems (2014) (24)
Scheduling Analysis of Imprecise Mixed-Criticality Real-Time Tasks (2018) (24)
An Efficient UAV Hijacking Detection Method Using Onboard Inertial Measurement Unit (2018) (23)
Schedulability analysis of a graph-based task model for mixed-criticality systems (2015) (23)
Generalized finitary real-time calculus (2017) (22)
Resource Sharing Protocols for Real-Time Task Graph Systems (2011) (22)
Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks (2014) (21)
Minimizing Multi-resource Energy for Real-Time Systems with Discrete Operation Modes (2010) (21)
R-Automata (2008) (21)
Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound (2012) (21)
Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks (2017) (21)
Benchmarking OpenMP programs for real-time scheduling (2017) (20)
Efficient drone hijacking detection using onboard motion sensors (2017) (20)
Fixed-Priority Multiprocessor Scheduling : Beyond Liu & Layland Utilization Bound (2010) (20)
A Tool for Compositional Analysis of Timed Systems by Abstraction (20)
Refinement-Based Exact Response-Time Analysis (2014) (19)
General and efficient Response Time Analysis for EDF scheduling (2014) (19)
Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling (2012) (19)
Combinatorial abstraction refinement for feasibility analysis of static priorities (2015) (19)
Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-Hard (2017) (19)
Improving the Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems (2013) (18)
Sampled Semantics of Timed Automata (2010) (17)
Unification & Sharing in Timed Automata Verification (2003) (17)
Schedulability Analysis of Synchronous Digraph Real-Time Tasks (2016) (16)
Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors (2020) (16)
Improving OCBP-based scheduling for mixed-criticality sporadic task systems (2013) (16)
Refinement of Workload Models for Engine Controllers by State Space Partitioning (2017) (15)
Verifying temporal constraints on data in multi-rate transactions using timed automata (2000) (15)
Tools for Real-Time UML: Formal Verification and Code Synthesis (2001) (15)
Uniprocessor Feasibility of Sporadic Tasks Remains coNP-Complete under Bounded Utilization (2015) (15)
An optimal resource sharing protocol for generalized multiframe tasks (2015) (14)
Pervasive eating habits monitoring and recognition through a wearable acoustic sensor (2014) (14)
Energy-efficient scheduling for parallel real-time tasks based on level-packing (2011) (14)
Approximate Response Time Analysis of Real-Time Task Graphs (2014) (14)
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo (2010) (14)
On the analysis of EDF-VD scheduled mixed-criticality real-time systems (2014) (13)
Feasibility of Fork-Join Real-Time Task Graph Models (2016) (12)
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform (2009) (12)
Axiomatising timed automata (2002) (12)
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model (2004) (12)
WCET Analysis of the mC/OS-II Real-Time Kernel (2009) (12)
Scheduling and Analysis of Real-Time OpenMP Task Systems with Tied Tasks (2017) (12)
Fault-tolerant real-time tasks scheduling with dynamic fault handling (2020) (12)
Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs (2009) (11)
On Memory-Block Traversal Problems in Model-Checking Timed-Systems (2000) (11)
Speed planning for solar-powered electric vehicles (2016) (11)
Bounding Carry-in Interference to Improve Fixed-Priority Global Multiprocessor Scheduling Analysis (2015) (11)
Sampled Universality of Timed Automata (2007) (11)
McAiT - A Timing Analyzer for Multicore Real-Time Software (2011) (11)
Real-Time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism (2020) (10)
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I (2019) (10)
Implementation and empirical comparison of partitioning-based multi-core scheduling (2011) (10)
A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF (2018) (10)
Start time configuration for strictly periodic real-time task systems (2016) (9)
Understanding the Dynamic Caches on Intel Processors: Methods and Applications (2014) (9)
The fork-join real-time task model (2013) (9)
Leaking your engine speed by spectrum analysis of real-Time scheduling sequences (2019) (9)
Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication (2019) (8)
On the Analysis of Parallel Real-Time Tasks With Spin Locks (2020) (8)
Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing (2018) (8)
Efficient Instruction Cache Analysis with Model Checking (2010) (7)
Fully Abstract Characterization of Probabilistic May Testing (1999) (7)
A Proof System for Timed Automata (2000) (7)
On Fixed-Priority Schedulability Analysis of Sporadic Tasks with Self-Suspension (2016) (7)
On Computing Exact WCRT for DAG Tasks† (2020) (6)
Memory Access Aware Mapping for Networks-on-Chip (2011) (6)
Compact Data Structure and State-Space Reduction for Model-Checking Real-Time Systems (2003) (6)
Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes (1994) (6)
Tools for Model-Checking Timed Systems (2013) (6)
New UPPAAL Architecture (2002) (6)
Static worst-case execution time analysis of the μC/OS-II real-time kernel (2010) (6)
On-Line Placement of Real-Time Tasks on 2D Partially Run-Time Reconfigurable FPGAs (2008) (6)
Towards Customizable CPS: Composability, Efficiency and Predictability (2017) (6)
Hierarchical Timed Automata for Uppaal (1999) (6)
Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model (2016) (6)
A Real-Time Animator for Hybrid Systems (2000) (5)
Modular Performance Analysis of Energy-Harvesting Real-Time Networked Systems (2015) (5)
Model Checking Bounded Continuous-time Extended Linear Duration Invariants (2018) (5)
Performance isolation for real-time systems with Xen hypervisor on multi-cores (2014) (5)
Maximizing Lifetime of Three-Dimensional Corona-Based Wireless Sensor Networks (2014) (5)
Revisiting GPC and AND Connector in Real-Time Calculus (2017) (5)
Clock Di erence Diagrams (1998) (5)
Synthesis of ada code from graph-based task models (2017) (5)
Exploring optimal solution to hardware/software partitioning for synchronous model (2005) (4)
EDF-VD Scheduling of Flexible Mixed-Criticality System With Multiple-Shot Transitions (2018) (4)
Scalable Timing Analysis with Refinement (2015) (4)
Towards the Implementation and Evaluation of Semi-Partitioned Multi-Core Scheduling (2011) (4)
Multicore Embedded Systems: The Timing Problem and Possible Solutions (2010) (4)
Models for Real-Time Workload : A Survey (2013) (3)
Partitioning-Based Scheduling of OpenMP Task Systems With Tied Tasks (2021) (3)
TCOZ to Timed Automata (2003) (3)
Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems (2017) (3)
Timing-Anomaly Free Dynamic Scheduling of Periodic DAG Tasks with Non-Preemptive Nodes (2021) (3)
Proper Running Posture Guide: A Wearable Biomechanics Capture System (2013) (3)
Clock Diierence Diagrams (1999) (3)
Workshop on Real-Time Tools (2002) (3)
Scope-aware data cache analysis for OpenMP programs on multi-core processors (2019) (3)
Response Time Analysis of Lazy Round Robin (2021) (2)
Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings (Lecture Notes in Computer Science) (2006) (2)
An approach to hardware/software partitioning for multiple hardware devices model (2004) (2)
Bounding and shaping the demand of generalized mixed-criticality sporadic task systems (2013) (2)
Integrating timed automata into tabu algorithm for HW-SW partitioning (2006) (2)
MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems (2020) (2)
Now, Next, and Future (2001) (2)
Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling (2020) (2)
Efficient and Effective Dimension Control in Automotive Applications (2021) (2)
On Memory-Block Traversal Problems in Model Checking Timed Systems (2000) (2)
Combinatorial abstraction refinement for feasibility analysis of static priorities (2015) (1)
An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada (2017) (1)
Modellchecking for Realltime Systems ? (1995) (1)
New Fixed-Priority Multiprocessor Scheduling Algorithms with Liu & Layland ’ s Utilization Bound (2010) (1)
Improving performance by monitoring while maintaining worst-case guarantees (2016) (1)
Transforming Real-Time Task Graphs to Improve Schedulability (2016) (1)
MiniTEE—A Lightweight TrustZone-Assisted TEE for Real-Time Systems (2020) (1)
A Complete Axiomatisation for Timed Automata (2000) (1)
Tool Suite for Symbolic and CompositionalVeri cation of Real { Time Systems ? (1995) (1)
AN EXTENSIBLE HIERARCHICAL RESOURCE MANAGEMENT MODEL FOR METACOMPUTING SYSTEM (2002) (1)
On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms* (2020) (1)
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010 (2010) (1)
Introductory paper: scalability aspects of validation (2003) (1)
Uniform Analysis for Communicating Timed Systems (2013) (1)
Real-Time Task Models (2022) (1)
Real-Time Scheduling and Analysis of OpenMP Programs with Spin Locks (2020) (1)
Delay analysis of structural real-time workload (2015) (1)
Counting Priority Inversions: Computing Maximum Additional Core Requests of DAG Tasks (2022) (1)
Universality of R-automata with Value Copying (2009) (1)
Design and Dynamic Update of Real-Time Systems (2019) (1)
Schedulability Analysis of Imprecise Mixed-Criticality Systems (2017) (0)
Nordic Journal of Computing Clock Difference Diagrams (1999) (0)
Keynote Speech: Wang Yi - Volume 2 (2009) (0)
Introduction to embedded systems week 2006 special issue (2008) (0)
Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems (2012) (0)
Graph-based models for real-time workload: a survey (2015) (0)
TIMES-Pro: A Tool for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems (2019) (0)
Complexity of Uniprocessor Scheduling Analysis (2022) (0)
Scalability aspects of validation (2003) (0)
M INI TEE—A Lightweight TrustZone-Assisted TEE for Real-Time Systems (2020) (0)
Scheduling and analysis of real-time task graph models with nested locks (2020) (0)
Schedulability Bounds for Parallel Real-Time Tasks under Global Rate-Monotonic Scheduling (2020) (0)
Special section on trends in verification and validation Introductory paper: scalability aspects of validation (2003) (0)
Session details: Model-based design and verification for embedded systems (2012) (0)
Schedulability Analysis for Timed Automata With Tasks (2021) (0)
Adaptive Resource Sharing in Multicores (2015) (0)
Characterization of Simulation by Probabilistic Testing (2016) (0)
$$3urrii6\vwhpiru 7lphgg$xwrpdwd a Proof System for Timed Automata (1999) (0)
U PPAAL in 1995 (1996) (0)
Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems (2005) (0)
Uniform Analysis for Communicating Timed Systems (Extended Technical Report) (2013) (0)
Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications - Volume 9409 (2015) (0)
Minimizing System-Wide Energy for Real-Time Systems with Discrete Operation Modes (2009) (0)
Schedulability analysis of a graph-based task model for mixed-criticality systems (2015) (0)
Real-Time Scheduling of Parallel Task Graphs with Critical Sections Across Different Vertices (2022) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With W. Ang Yi?

W. Ang Yi is affiliated with the following schools:

W. Ang Yi's Academic­Influence.com Rankings