W. Ang Yi
#163,240
Most Influential Person Now
W. Ang Yi's AcademicInfluence.com Rankings
W. Ang Yicomputer-science Degrees
Computer Science
#9568
World Rank
#10043
Historical Rank
Database
#6537
World Rank
#6772
Historical Rank

Download Badge
Computer Science
W. Ang Yi's Degrees
- PhD Computer Science Aalborg University
Similar Degrees You Can Earn
Why Is W. Ang Yi Influential?
(Suggest an Edit or Addition)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: