| UPPAAL in a nutshell KG Larsen, P Pettersson, W Yi International journal on software tools for technology transfer 1, 134-152, 1997 | 3205 | 1997 |
| Timed automata: Semantics, algorithms and tools J Bengtsson, W Yi Advanced Course on Petri Nets, 87-124, 2003 | 1271 | 2003 |
| UPPAAL—a tool suite for automatic verification of real-time systems J Bengtsson, K Larsen, F Larsson, P Pettersson, W Yi International hybrid systems workshop, 232-243, 1995 | 1250 | 1995 |
| Uppaal 4.0 G Behrmann, A David, KG Larsen, J Håkansson, P Pettersson, W Yi, ... QEST 6, 125-126, 2006 | 582 | 2006 |
| CCS+ time= an interleaving model for real time systems W Yi International Colloquium on Automata, Languages, and Programming, 217-228, 1991 | 304 | 1991 |
| Model-checking for real-time systems KG Larsen, P Pettersson, W Yi International Symposium on Fundamentals of Computation Theory, 62-88, 1995 | 278 | 1995 |
| Real-time behaviour of asynchronous agents Y Wang International Conference on Concurrency Theory, 502-520, 1990 | 274 | 1990 |
| TIMES: a tool for schedulability analysis and code generation of real-time systems T Amnell, E Fersman, L Mokrushin, P Pettersson, W Yi International Conference on Formal Modeling and Analysis of Timed Systems, 60-72, 2003 | 266 | 2003 |
| Automatic verification of real-time communicating systems by constraint-solving W Yi, P Pettersson, M Daniels Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995 | 265 | 1995 |
| New response time bounds for fixed priority multiprocessor scheduling N Guan, M Stigge, W Yi, G Yu 2009 30th IEEE Real-Time Systems Symposium, 387-397, 2009 | 232 | 2009 |
| Efficient verification of real-time systems: Compact data structure and state-space reduction KG Larsen, F Larsson, P Pettersson, W Yi Proceedings Real-Time Systems Symposium, 14-24, 1997 | 228 | 1997 |
| Formal design and analysis of a gear controller M Lindahl, P Pettersson, W Yi International Conference on Tools and Algorithms for the Construction and …, 1998 | 221 | 1998 |
| Task automata: Schedulability, decidability and undecidability E Fersman, P Krcal, P Pettersson, W Yi Information and Computation 205 (8), 1149-1172, 2007 | 213 | 2007 |
| Efficient timed reachability analysis using clock difference diagrams G Behrmann, KG Larsen, J Pearson, C Weise, W Yi International Conference on Computer Aided Verification, 341-353, 1999 | 202 | 1999 |
| Compositional and Symbolic Model Checking of Real-time System KG Larsen, P Pettersson, W Yi Proc. RTSS 95, 1995 | 200 | 1995 |
| The digraph real-time task model M Stigge, P Ekberg, N Guan, W Yi 2011 17th IEEE real-time and embedded technology and applications symposium …, 2011 | 197 | 2011 |
| Cache-aware scheduling and analysis for multicores N Guan, M Stigge, W Yi, G Yu Proceedings of the seventh ACM international conference on Embedded software …, 2009 | 194 | 2009 |
| Probabilistic extensions of process algebras B Jonsson, W Yi, KG Larsen Handbook of process algebra, 685-710, 2001 | 190 | 2001 |
| Partial order reductions for timed systems J Bengtsson, B Jonsson, J Lilius, W Yi International Conference on Concurrency Theory, 485-500, 1998 | 189 | 1998 |
| Testing probabilistic and nondeterministic processes W Yi, KG Larsen Protocol Specification, Testing and Verification, XII, 47-61, 1992 | 183 | 1992 |
Nan GuanCity University of Hong KongVerified email at cityu.edu.hk
