Wang Yi
Southwest University(CN)University of Birmingham(GB)
Publications by Year
Research Areas
Real-Time Systems Scheduling, Embedded Systems Design Techniques, Formal Methods in Verification, Parallel Computing and Optimization Techniques, Distributed systems and fault tolerance
Most-Cited Works
- → Uppaal in a nutshell(1997)2,137 cited
- → UPPAAL — a tool suite for automatic verification of real-time systems(1996)739 cited
- → Timed Automata: Semantics, Algorithms and Tools(2004)709 cited
- → CCS + time = an interleaving model for real time systems(1991)239 cited
- → TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems(2004)205 cited
- → Model-checking for real-time systems(1995)196 cited
- → Efficient verification of real-time systems: compact data structure and state-space reduction(2002)180 cited