2007 |
9 | EE | Tony Tsang,
Yong-Soo Kim,
Richard Lai:
The Design of a Multimedia Protocol Analysis Software Environment.
CIT 2007: 940-948 |
8 | EE | Richard Lai,
Tony Tsang:
Timed verification of the reliable adaptive multicast protocol.
Journal of Systems and Software 80(2): 224-239 (2007) |
2006 |
7 | EE | Richard Lai,
Tony Tsang,
Yong-Soo Kim,
Dae Hoon Hwang,
Chul Soo Lee,
Yoon Kyung Han:
A method for analysing multimedia protocol performance.
Journal of Systems and Software 79(4): 454-465 (2006) |
2003 |
6 | EE | Tony Tsang:
Modelling and Performance Evaluation of Mobile Multimedia Systems Using QoS-GSPN.
Wireless Networks 9(6): 575-584 (2003) |
2002 |
5 | EE | Tony Tsang:
Modelling QoS Based Admission Control in Mobile Multimedia Systems Using an Extension of GSPN.
ICOIN (2) 2002: 3-10 |
1999 |
4 | EE | Tony Tsang,
Richard Lai:
Verification Results for a Multimedia Protocol.
ASIAN 1999: 390-392 |
1998 |
3 | EE | Tony Tsang:
A Compilable Read-Only-Memory Library for ASIC Deep Sub-micron Applications.
VLSI Design 1998: 490-494 |
2 | | Tony Tsang,
Richard Lai:
Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle.
Softw., Pract. Exper. 28(11): 1185-1211 (1998) |
1997 |
1 | | Richard Lai,
Tony Tsang:
Time-Estelle: An Extended Estelle Capable of Expressing Multimedia QoS Parameters.
ICMCS 1997: 311-318 |