 | 2009 |
|---|
| 59 |       | Sajjad Mahmood,
Richard Lai:
RE-UML: An Extension to UML for Specifying Component-Based Software System.
Australian Software Engineering Conference 2009: 220-228 |
| 2008 |
|---|
| 58 | | Thareendhra Wijayasiriwardhane,
Richard Lai:
A Method for Measuring the Size of a Component-Based System Specification.
QSIC 2008: 329-337 |
| 57 | | Sajjad Mahmood,
Richard Lai:
A complexity measure for UML component-based system specification.
Softw., Pract. Exper. 38(2): 117-134 (2008) |
| 2007 |
|---|
| 56 | | Xu Lei,
Yong-Soo Kim,
Richard Lai:
Modelling and Simulating IPv6 Mobility.
CIT 2007: 381-386 |
| 55 | | Tony Tsang,
Yong-Soo Kim,
Richard Lai:
The Design of a Multimedia Protocol Analysis Software Environment.
CIT 2007: 940-948 |
| 54 | | France Cheong,
Richard Lai:
Designing a hierarchical fuzzy logic controller using the differential evolution approach.
Appl. Soft Comput. 7(2): 481-491 (2007) |
| 53 | | France Cheong,
Richard Lai,
Yong-Soo Kim,
Dae Hoon Hwang,
Hae Suk Oh,
Ji Hong Kim:
The Design of a Fuzzy Logic Controller of an ATM Switch and its Simulation.
J. Inf. Sci. Eng. 23(3): 743-757 (2007) |
| 52 | | Richard Lai,
Tony Tsang:
Timed verification of the reliable adaptive multicast protocol.
Journal of Systems and Software 80(2): 224-239 (2007) |
| 51 | | Zhen He,
Richard Lai,
Alonso Marquez,
Stephen Blackburn:
Opportunistic prioritised clustering framework for improving OODBMS performance.
Journal of Systems and Software 80(3): 371-387 (2007) |
| 50 | | France Cheong,
Richard Lai:
Simplifying the automatic design of a fuzzy logic controller using evolutionary programming.
Soft Comput. 11(9): 839-846 (2007) |
| 2006 |
|---|
| 49 | | Zhen He,
Richard Lai,
Alonso Marquez:
On using cache conscious clustering for improving OODBMS performance.
Information & Software Technology 48(11): 1073-1082 (2006) |
| 48 | | Richard Lai,
Yong-Soo Kim:
A method for assigning a value to a communication protocol test case.
Information & Software Technology 48(8): 645-659 (2006) |
| 47 | | 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) |
| 2005 |
|---|
| 46 |  | France Cheong,
Richard Lai:
Tuning Fuzzy Logic Controllers using Control Tables.
Computational Intelligence 2005: 19-24 |
| 45 | | Sajjad Mahmood,
Richard Lai:
Measuring the Complexity of a UML Component Specification.
QSIC 2005: 150-160 |
| 44 | | Sajjad Mahmood,
Richard Lai,
Yong-Soo Kim,
Ji Hong Kim,
Seok Cheon Park,
Hae Suk Oh:
A survey of component based system quality assurance and assessment.
Information & Software Technology 47(10): 693-707 (2005) |
| 43 | | Steven Guan,
Richard Lai:
Adaptive multimedia computing.
Journal of Systems and Software 75(3): 235-236 (2005) |
| 2003 |
|---|
| 42 | | Richard Lai,
Sun-Jen Huang:
A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation.
IEEE Trans. Software Eng. 29(1): 46-62 (2003) |
| 41 | | Sun-Jen Huang,
Richard Lai:
Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification.
IEEE Trans. Software Eng. 29(4): 327-344 (2003) |
| 2002 |
|---|
| 40 | | Richard Lai:
A survey of communication protocol testing.
Journal of Systems and Software 62(1): 21-46 (2002) |
| 39 | | Sun-Jen Huang,
Richard Lai:
PSAMS: a communication protocol specification assessment and measurement system.
Softw., Pract. Exper. 32(12): 1129-1154 (2002) |
| 2000 |
|---|
| 38 | | Richard Lai:
Editorial.
Computer Communications 23(12): 1087-1088 (2000) |
| 37 | | France Cheong,
Richard Lai:
Constraining the optimization of a fuzzy logic controller using an enhanced genetic algorithm.
IEEE Transactions on Systems, Man, and Cybernetics, Part B 30(1): 31-46 (2000) |
| 1999 |
|---|
| 36 | | Tony Tsang,
Richard Lai:
Verification Results for a Multimedia Protocol.
ASIAN 1999: 390-392 |
| 35 | | Richard Lai,
France Cheong:
Extending EASE with new ASN.1 encoding rules.
Information & Software Technology 41(11-12): 823-837 (1999) |
| 34 | | France Cheong,
Richard Lai:
QoS specification and mapping for distributed multimedia systems: A survey of issues.
Journal of Systems and Software 45(2): 127-139 (1999) |
| 33 | | Richard Lai:
Towards more industrially relevant academic researches into testing of communicating systems.
Journal of Systems and Software 47(2-3): 89-96 (1999) |
| 32 | | A. Lo,
Richard Lai:
An automatic implementation of the ISO FTAM protocol based on an integrated specification of Estelle and ASN.1.
Journal of Systems and Software 48(2): 119-137 (1999) |
| 1998 |
|---|
| 31 | | Sun-Jen Huang,
Richard Lai:
Some Maintainability Metrics for a Communication Protocol Specified in Estell.
COMPSAC 1998: 218-227 |
| 30 | | France Cheong,
Richard Lai:
A study of the burstiness of combined MPEG video and audio bitstreams.
Computer Communications 21(10): 880-888 (1998) |
| 29 | | Richard Lai,
X. Li:
Applying a new decomposition method to verify communication protocols.
Journal of Systems and Software 40(1): 29-50 (1998) |
| 28 | | Sun-Jen Huang,
Richard Lai:
On measuring the complexity of an estelle specification.
Journal of Systems and Software 40(2): 165-181 (1998) |
| 27 | | Tony Tsang,
Richard Lai:
Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle.
Softw., Pract. Exper. 28(11): 1185-1211 (1998) |
| 26 | | Sun-Jen Huang,
Richard Lai:
Deriving Complexity Information from a Formal Communication Protocol.
Softw., Pract. Exper. 28(14): 1465-1491 (1998) |
| 1997 |
|---|
| 25 | | Sun-Jen Huang,
Richard Lai:
Estimating the size of an Estelle specification for a communication protocol.
COMPSAC 1997: 565-568 |
| 24 | | Richard Lai,
Tony Tsang:
Time-Estelle: An Extended Estelle Capable of Expressing Multimedia QoS Parameters.
ICMCS 1997: 311-318 |
| 23 | | Ajin Jirachiefpattana,
Phil County,
Tharam S. Dillon,
Richard Lai:
Performance evaluation of PC routers using a single-server multi-queue system with a reflection technique.
Computer Communications 20(1): 1-10 (1997) |
| 22 | | Richard Lai:
A Success Story of Verifying a Real Complex Protocol.
Journal of Systems and Software 36(1): 69-83 (1997) |
| 21 | | Richard Lai:
An Experience in Using EDT to Process the ISO Transaction Processing Estelle Specification.
Journal of Systems and Software 36(2): 137-145 (1997) |
| 20 | | Richard Lai:
Performance Results for the CSMA/CD Protocol Using GreatSPN.
Journal of Systems and Software 37(1): 75-90 (1997) |
| 19 | | Ajin Jirachiefpattana,
Richard Lai:
EVEN: A software environment for Estelle specification verification.
Journal of Systems and Software 39(2): 119-143 (1997) |
| 18 | | Richard Lai,
X. Li:
Verification of the ISO ACSE protocol using Deductive Machine.
Journal of Systems and Software 39(3): 223-247 (1997) |
| 1996 |
|---|
| 17 | | Richard Lai:
Extending PROTEAN with the Partitioning Method.
Australian Computer Journal 28(4): 121-127 (1996) |
| 16 | | Richard Lai,
M. C. Wong:
The ISO virtual terminal protocol: a semi-automatic implementation.
Computer Communications 19(12): 990-1000 (1996) |
| 15 | | Richard Lai,
A. Lo:
Integrated Estelle and ASN.1 specification approach to automatic implementation of application protocol.
Information & Software Technology 38(12): 757-773 (1996) |
| 14 | | Richard Lai,
A. Lo:
EASE: A Software Environment for Automatic Implementation of Application Protocol.
Softw., Pract. Exper. 26(1): 83-103 (1996) |
| 1995 |
|---|
| 13 | | Richard Lai,
A. Lo:
An Analysis of the ISO FTAM Basic File Protocol Specified in LOTOS.
Australian Computer Journal 27(1): 1-8 (1995) |
| 12 | | Richard Lai,
Wilfred Leung:
Industrial and Academic Protocol Testing: the Gap and the Means of Convergence.
Computer Networks and ISDN Systems 27(4): 537-547 (1995) |
| 11 | | Richard Lai:
On using PROMPT for the automatic implementation of the ISO ACSE protocol.
Journal of Systems and Software 28(2): 143-155 (1995) |
| 10 | | Richard Lai:
Using PROTEAN for Verifying a Complex Protocol - A Case Study
Softw., Pract. Exper. 25(9): 1021-1044 (1995) |
| 1994 |
|---|
| 9 | | Ajin Jirachiefpattana,
Richard Lai:
Verification of the ISO ROSE protocol specified in Estelle.
PSTV 1994: 87-102 |
| 8 | | M. C. Wong,
Richard Lai:
A Semi-Automatic Implementation of ISO Virtual Terminal Protocol.
ULPAA 1994: 183-196 |
| 7 | | Richard Lai,
Ajin Jirachiefpattana:
Verification of ISO ACSE protocol specified in Estelle.
Computer Communications 17(3): 172-188 (1994) |
| 1993 |
|---|
| 6 | | Anthony Lo,
Richard Lai:
Integrating Estelle and ASN.1 for Automatic Implementation.
FORTE 1993: 155-169 |
| 5 | | X. Li,
Richard Lai,
Tharam S. Dillon:
A New Decomposition Method to Relieve the State Space Explosion Problem.
ICCI 1993: 150-154 |
| 1992 |
|---|
| 4 | | Richard Lai:
Teaching Protocol Engineering in Honours Year.
CSEE 1992: 143-156 |
| 3 | | X. Li,
Richard Lai,
Tharam S. Dillon:
Theory of Deductive Systems for Protocol Verification.
ICCI 1992: 422-425 |
| 1990 |
|---|
| 2 | | Richard Lai,
Ken R. Parker,
Tharam S. Dillon:
On Using Protean To Verify ISO FTAM Protocol.
CAV 1990: 126-135 |
| 1989 |
|---|
| 1 | | Richard Lai,
Tharam S. Dillon,
Ken R. Parker:
Verification Results for ISO FTAM Basic Protocol.
PSTV 1989: 223-234 |
