Wang Yi

According to our database1, Wang Yi
  • authored at least 160 papers between 1988 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors.
CoRR, 2017

Synthesis of ada code from graph-based task models.
Proceedings of the Symposium on Applied Computing, 2017

Benchmarking OpenMP programs for real-time scheduling.
Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017

Generalized finitary real-time calculus.
Proceedings of the 2017 IEEE Conference on Computer Communications, 2017

Refinement of Workload Models for Engine Controllers by State Space Partitioning.
Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017

Efficient drone hijacking detection using onboard motion sensors.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems.
Proceedings of the Models, Algorithms, Logics and Tools, 2017

An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada.
Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016
Feasibility of Fork-Join Real-Time Task Graph Models: Hardness and Algorithms.
ACM Trans. Embedded Comput. Syst., 2016

Schedulability analysis of a graph-based task model for mixed-criticality systems.
Real-Time Systems, 2016

A Survey on Static Cache Analysis for Real-Time Systems.
LITES, 2016

Start time configuration for strictly periodic real-time task systems.
Journal of Systems Architecture - Embedded Systems Design, 2016

EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees.
CoRR, 2016

EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees.
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

On Fixed-Priority Schedulability Analysis of Sporadic Tasks with Self-Suspension.
Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

Transforming Real-Time Task Graphs to Improve Schedulability.
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

Speed planning for solar-powered electric vehicles.
Proceedings of the Seventh International Conference on Future Energy Systems, Waterloo, ON, Canada, June 21, 2016

Schedulability Analysis of Synchronous Digraph Real-Time Tasks.
Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

Improving performance by monitoring while maintaining worst-case guarantees.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Characterization of Simulation by Probabilistic Testing.
Proceedings of the Theory and Practice of Formal Methods, 2016

Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model.
Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015
Combinatorial abstraction refinement for feasibility analysis of static priorities.
Real-Time Systems, 2015

Graph-based models for real-time workload: a survey.
Real-Time Systems, 2015

An optimal resource sharing protocol for generalized multiframe tasks.
J. Log. Algebr. Meth. Program., 2015

Noninvasive and Continuous Blood Pressure Monitoring Using Wearable Body Sensor Networks.
IEEE Intelligent Systems, 2015

Scalable Timing Analysis with Refinement.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Modular Performance Analysis of Energy-Harvesting Real-Time Networked Systems.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Uniprocessor Feasibility of Sporadic Tasks Remains coNP-Complete under Bounded Utilization.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Bounding Carry-in Interference to Improve Fixed-Priority Global Multiprocessor Scheduling Analysis.
Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015

Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines Is Strongly coNP-Complete.
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

Delay analysis of structural real-time workload.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014
WCET analysis with MRU cache: Challenging LRU for predictability.
ACM Trans. Embedded Comput. Syst., 2014

Building timing predictable embedded systems.
ACM Trans. Embedded Comput. Syst., 2014

Bounding and shaping the demand of generalized mixed-criticality sporadic task systems.
Real-Time Systems, 2014

Processing Moving kNN Queries Using Influential Neighbor Sets.
PVLDB, 2014

Maximizing Lifetime of Three-Dimensional Corona-Based Wireless Sensor Networks.
IJDSN, 2014

Horn Clauses for Communicating Timed Systems.
Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014

On the analysis of EDF-VD scheduled mixed-criticality real-time systems.
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks.
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

Approximate Response Time Analysis of Real-Time Task Graphs.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Improving the response time analysis of global fixed-priority multiprocessor scheduling.
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

Performance isolation for real-time systems with Xen hypervisor on multi-cores.
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

Pervasive eating habits monitoring and recognition through a wearable acoustic sensor.
Proceedings of the 8th International Conference on Pervasive Computing Technologies for Healthcare, 2014

Understanding the Dynamic Caches on Intel Processors: Methods and Applications.
Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014

Refinement-Based Exact Response-Time Analysis.
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

General and efficient Response Time Analysis for EDF scheduling.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Partitioned mixed-criticality scheduling on multiprocessor platforms.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013
The fork-join real-time task model.
SIGBED Review, 2013

Combinatorial Abstraction Refinement for Feasibility Analysis.
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems.
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013

Improving OCBP-based scheduling for mixed-criticality sporadic task systems.
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

FIFO cache analysis for WCET estimation: a quantitative approach.
Proceedings of the Design, Automation and Test in Europe, 2013

Proper Running Posture Guide: A Wearable Biomechanics Capture System.
Proceedings of the 8th International Conference on Body Area Networks, 2013

2012
WCET Analysis with MRU Caches: Challenging LRU for Predictability.
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012

Hardness Results for Static Priority Real-Time Scheduling.
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

Outstanding Paper Award: Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks.
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

2011
Developing UPPAAL over 15 years.
Softw., Pract. Exper., 2011

Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling.
Journal of Systems Architecture - Embedded Systems Design, 2011

Implementation and empirical comparison of partitioning-based multi-core scheduling.
Proceedings of the Industrial Embedded Systems (SIES), 2011

Energy-efficient scheduling for parallel real-time tasks based on level-packing.
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Memory Access Aware Mapping for Networks-on-Chip.
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

The Digraph Real-Time Task Model.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Research on the Information Integration of China's Basic Industries Trademark Information Service.
Proceedings of the ICEIS 2011, 2011

On the Tractability of Digraph-Based Task Models.
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

Resource Sharing Protocols for Real-Time Task Graph Systems.
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

Towards the Implementation and Evaluation of Semi-Partitioned Multi-Core Scheduling.
Proceedings of the Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011

Energy-efficient scheduling of real-time tasks on cluster-based multicores.
Proceedings of the Design, Automation and Test in Europe, 2011

McAiT - A Timing Analyzer for Multicore Real-Time Software.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
Static worst-case execution time analysis of the µC/OS-II real-time kernel.
Frontiers of Computer Science in China, 2010

Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Electr. Notes Theor. Comput. Sci., 2010

Sampled Semantics of Timed Automata
Logical Methods in Computer Science, 2010

Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Fixed-Priority Multiprocessor Scheduling with Liu and Layland's Utilization Bound.
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

Multicore Embedded Systems: The Timing Problem and Possible Solutions.
Proceedings of the Formal Methods and Software Engineering, 2010

Minimizing Multi-resource Energy for Real-Time Systems with Discrete Operation Modes.
Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

2009
Universality of R-automata with Value Copying.
Electr. Notes Theor. Comput. Sci., 2009

New Response Time Bounds for Fixed Priority Multiprocessor Scheduling.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Applying SLEUTH for Simulating and Assessing Urban Growth Scenarios on a Case Study of Beijing.
Proceedings of the First IITA International Joint Conference on Artificial Intelligence, 2009

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform.
Proceedings of the Formal Methods and Software Engineering, 2009

Cache-aware scheduling and analysis for multicores.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

WCET Analysis of the mC/OS-II Real-Time Kernel.
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs.
Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009

2008
Timed Automata Patterns.
IEEE Trans. Software Eng., 2008

Introduction to embedded systems week 2006 special issue.
ACM Trans. Embedded Comput. Syst., 2008

New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Model-based validation of QoS properties of biomedical sensor networks.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

Cyclic dependencies in modular performance analysis.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

R-Automata.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007
Task automata: Schedulability, decidability and undecidability.
Inf. Comput., 2007

Sampled Universality of Timed Automata.
Proceedings of the Foundations of Software Science and Computational Structures, 2007

Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

2006
Schedulability analysis of fixed-priority systems using timed automata.
Theor. Comput. Sci., 2006

UPPAAL 4.0.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Communicating Timed Automata: The More Synchronous, the More Difficult to Verify.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embedded Comput. Syst., 2005

Guest Editors' Foreword.
Nord. J. Comput., 2005

Exploring optimal solution to hardware/software partitioning for synchronous model.
Formal Asp. Comput., 2005

2004
A Generic Approach to Schedulability Analysis of Real-Time Tasks.
Nord. J. Comput., 2004

Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

An Optimal Approach to Hardware/Software Partitioning for Synchronous Model.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Timed Patterns: TCOZ to Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2004

Timed vs. Time-Triggered Automata.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003
Introductory paper: scalability aspects of validation.
STTT, 2003

Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems.
Real-Time Systems, 2003

Schedulability Analysis Using Two Clocks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Unification & Sharing in Timed Automata Verification.
Proceedings of the Model Checking Software, 2003

On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2003

TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Timed Automata: Semantics, Algorithms and Tools.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002
Testing preorders for probabilistic processes can be characterized by simulations.
Theor. Comput. Sci., 2002

Code Synthesis for Timed Automata.
Nord. J. Comput., 2002

Automated verification of an audio-control protocol using UPPAAL.
J. Log. Algebr. Program., 2002

Axiomatising timed automata.
Acta Inf., 2002

A Tool Architecture for the Next Generation of Uppaal.
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Timed Automata with Asynchronous Processes: Schedulability and Decidability.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

TIMES - A Tool for Modelling and Implementation of Embedded Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

UPPAAL Implementation Secrets.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

Formal Verification of UML Statecharts with Real-Time Extensions.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001
Formal design and analysis of a gear controller.
STTT, 2001

On the Techniques of Enhancing the Security of Block Ciphers.
Operating Systems Review, 2001

2000
On Memory-Block Traversal Problems in Model-Checking Timed-Systems.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Verifying temporal constraints on data in multi-rate transactions using timed automata.
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000

UPPAAL - Now, Next, and Future.
Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

A Real-Time Animator for Hybrid Systems.
Proceedings of the Languages, 2000

A Complete Axiomatisation for Timed Automata.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

A Proof System for Timed Automata.
Proceedings of the Foundations of Software Science and Computation Structures, 2000

Modelling and analysis of a commercial field bus protocol.
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

1999
Clock Difference Diagrams.
Nord. J. Comput., 1999

Timed Automata as Task Models for Event-Driven Systems.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

Efficient Timed Reachability Analysis Using Clock Difference Diagrams.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

Fully Abstract Characterization of Probabilistic May Testing.
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1998
Formal Design and Analysis of a Gear Controller.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

Partial Order Reductions for Timed Systems.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997
UPPAAL in a Nutshell.
STTT, 1997

Time-abstracted Bisimulation: Implicit Specifications and Decidability.
Inf. Comput., 1997

A Compositional Proof of a Real-Time Mutual Exclusion Protocol.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Efficient verification of real-time systems: compact data structure and state-space reduction.
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

UPPAAL: Status & Developments.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
UPPAAL in 1995.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Verification of an Audio Protocol with Bus Collision Using UPPAAL.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
Compositional and Symbolic Model-Checking of Real-Time Systems.
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

Compositional Testing Preorders for Probabilistic Processes
Proceedings of the Proceedings, 1995

Diagnostic Model-Checking for Real-Time Systems.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

Model-Checking for Real-Time Systems.
Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995

1994
Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Testing and Refinement for Nondeterministic and Probabilistic Processes.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994

Automatic verification of real-time communicating systems by constraint-solving.
Proceedings of the Formal Description Techniques VII, 1994

1993
Time Abstracted Bisimiulation: Implicit Specifications and Decidability.
Proceedings of the Mathematical Foundations of Programming Semantics, 1993

1992
Testing Probabilistic and Nondeterministic Processes.
Proceedings of the Protocol Specification, 1992

1991
CCS + Time = An Interleaving Model for Real Time Systems.
Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

Deciding Properties of Regular Real Time Processes.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990
Real-Time Behaviour of Asynchronous Agents.
Proceedings of the CONCUR '90, 1990

1988
Specifying Processes in Terms of Their Environments.
Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988


  Loading...