Richard Lai

Azmat Ullah, Richard Lai: Requirements engineering and Business/IT alignment: Lessons Learned. JSW 8(1): 1-10 (2013)

Azmat Ullah, Richard Lai: A Systematic Review of Business and Information Technology Alignment. ACM Trans. Management Inf. Syst. 4(1): 4 (2013)

Vesna Radisic, Kevin M. K. H. Leong, Stephen Sarkozy, Xiaobing (Gerry) Mei, Wayne Yoshida, Po-Hsin Liu, William R. Deal, Richard Lai: 220-GHz Solid-State Power Amplifier Modules. J. Solid-State Circuits 47(10): 2291-2297 (2012)

Richard Lai, Mohit Garg: A Detailed Study of NHPP Software Reliability Models (Invited Paper). JSW 7(6): 1296-1306 (2012)

Mohit Garg, Richard Lai, S. J. Huang: When to stop testing: A study from the perspective of software reliability models. IET Software 5(3): 263-273 (2011)

Byoungju Choi, Richard Lai: Special issue on the best papers of QSIC 2009. Journal of Systems and Software 84(4): 527 (2011)

Richard Lai, Mohit Garg, Parmod Kumar Kapur, Shaoying Liu: A Study of When to Release a Software Product from the Perspective of Software Reliability Models. JSW 6(4): 651-661 (2011)

Richard Lai, Sajjad Mahmood, Shaoying Liu: RAAP: A Requirements Analysis and Assessment Process Framework for Component-Based System (Invited Paper). JSW 6(6): 1050-1066 (2011)

Azmat Ullah, Richard Lai: Managing Security Requirements: Towards Better Alignment Between Information Systems And Business. PACIS 2011: 195

Richard Lai, Tony Tsang: Analysing the Performance of a Resource Reservation Protocol Specification Using a GSPN Method. International Journal of Software Engineering and Knowledge Engineering 20(4): 549-573 (2010)

Thareendhra Wijayasiriwardhane, Richard Lai: Component Point: A system-level size measure for Component-Based Software Systems. Journal of Systems and Software 83(12): 2456-2470 (2010)

France Cheong, Richard Lai: Connection admission control of MPEG streams in ATM network using hierarchical fuzzy logic controller. Eng. Appl. of AI 22(1): 117-128 (2009)

Sajjad Mahmood, Richard Lai: RE-UML: An Extension to UML for Specifying Component-Based Software System. Australian Software Engineering Conference 2009: 220-228

Gia Nghia Vo, Richard Lai, Mohit Garg: Building Automotive Software Component within the AutoSAR Environment - A Case Study. QSIC 2009: 191-200

Sajjad Mahmood, Richard Lai: A complexity measure for UML component-based system specification. Softw., Pract. Exper. 38(2): 117-134 (2008)

Thareendhra Wijayasiriwardhane, Richard Lai: A Method for Measuring the Size of a Component-Based System Specification. QSIC 2008: 329-337

France Cheong, Richard Lai: Designing a hierarchical fuzzy logic controller using the differential evolution approach. Appl. Soft Comput. 7(2): 481-491 (2007)

Sajjad Mahmood, Richard Lai, Y. S. Kim: Survey of component-based software development. IET Software 1(2): 57-66 (2007)

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)

Richard Lai, Tony Tsang: Timed verification of the reliable adaptive multicast protocol. Journal of Systems and Software 80(2): 224-239 (2007)

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)

France Cheong, Richard Lai: Simplifying the automatic design of a fuzzy logic controller using evolutionary programming. Soft Comput. 11(9): 839-846 (2007)

Xu Lei, Yong-Soo Kim, Richard Lai: Modelling and Simulating IPv6 Mobility. CIT 2007: 381-386

Tony Tsang, Yong-Soo Kim, Richard Lai: The Design of a Multimedia Protocol Analysis Software Environment. CIT 2007: 940-948

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)

Zhen He, Richard Lai, Alonso Marquez: On using cache conscious clustering for improving OODBMS performance. Information & Software Technology 48(11): 1073-1082 (2006)

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)

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)

Steven Guan, Richard Lai: Adaptive multimedia computing. Journal of Systems and Software 75(3): 235-236 (2005)

France Cheong, Richard Lai: Tuning Fuzzy Logic Controllers using Control Tables. Computational Intelligence 2005: 19-24

Sajjad Mahmood, Richard Lai: Measuring the Complexity of a UML Component Specification. QSIC 2005: 150-160

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)

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)

Richard Lai: A survey of communication protocol testing. Journal of Systems and Software 62(1): 21-46 (2002)

Sun-Jen Huang, Richard Lai: PSAMS: a communication protocol specification assessment and measurement system. Softw., Pract. Exper. 32(12): 1129-1154 (2002)

Richard Lai: Editorial. Computer Communications 23(12): 1087-1088 (2000)

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)

Richard Lai, France Cheong: Extending EASE with new ASN.1 encoding rules. Information & Software Technology 41(11-12): 823-837 (1999)

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)

Richard Lai: Towards more industrially relevant academic researches into testing of communicating systems. Journal of Systems and Software 47(2-3): 89-96 (1999)

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)

Tony Tsang, Richard Lai: Verification Results for a Multimedia Protocol. ASIAN 1999: 390-392

France Cheong, Richard Lai: A study of the burstiness of combined MPEG video and audio bitstreams. Computer Communications 21(10): 880-888 (1998)

Richard Lai, X. Li: Applying a new decomposition method to verify communication protocols. Journal of Systems and Software 40(1): 29-50 (1998)

Sun-Jen Huang, Richard Lai: On measuring the complexity of an estelle specification. Journal of Systems and Software 40(2): 165-181 (1998)

Tony Tsang, Richard Lai: Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle. Softw., Pract. Exper. 28(11): 1185-1211 (1998)

Sun-Jen Huang, Richard Lai: Deriving Complexity Information from a Formal Communication Protocol. Softw., Pract. Exper. 28(14): 1465-1491 (1998)

Sun-Jen Huang, Richard Lai: Some Maintainability Metrics for a Communication Protocol Specified in Estell. COMPSAC 1998: 218-227

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)

Richard Lai: A Success Story of Verifying a Real Complex Protocol. Journal of Systems and Software 36(1): 69-83 (1997)

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)

Richard Lai: Performance Results for the CSMA/CD Protocol Using GreatSPN. Journal of Systems and Software 37(1): 75-90 (1997)

Ajin Jirachiefpattana, Richard Lai: EVEN: A software environment for Estelle specification verification. Journal of Systems and Software 39(2): 119-143 (1997)

Richard Lai, X. Li: Verification of the ISO ACSE protocol using Deductive Machine. Journal of Systems and Software 39(3): 223-247 (1997)

Sun-Jen Huang, Richard Lai: Estimating the size of an Estelle specification for a communication protocol. COMPSAC 1997: 565-568

Richard Lai, Tony Tsang: Time-Estelle: An Extended Estelle Capable of Expressing Multimedia QoS Parameters. ICMCS 1997: 311-318

Richard Lai: Extending PROTEAN with the Partitioning Method. Australian Computer Journal 28(4): 121-127 (1996)

Richard Lai, M. C. Wong: The ISO virtual terminal protocol: a semi-automatic implementation. Computer Communications 19(12): 990-1000 (1996)

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)

Richard Lai, A. Lo: EASE: A Software Environment for Automatic Implementation of Application Protocol. Softw., Pract. Exper. 26(1): 83-103 (1996)

Richard Lai, A. Lo: An Analysis of the ISO FTAM Basic File Protocol Specified in LOTOS. Australian Computer Journal 27(1): 1-8 (1995)

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)

Richard Lai: On using PROMPT for the automatic implementation of the ISO ACSE protocol. Journal of Systems and Software 28(2): 143-155 (1995)

Richard Lai: Using PROTEAN for Verifying a Complex Protocol - A Case Study. Softw., Pract. Exper. 25(9): 1021-1044 (1995)

Richard Lai, Ajin Jirachiefpattana: Verification of ISO ACSE protocol specified in Estelle. Computer Communications 17(3): 172-188 (1994)

Ajin Jirachiefpattana, Richard Lai: Verification of the ISO ROSE protocol specified in Estelle. PSTV 1994: 87-102

M. C. Wong, Richard Lai: A Semi-Automatic Implementation of ISO Virtual Terminal Protocol. ULPAA 1994: 183-196

Anthony Lo, Richard Lai: Integrating Estelle and ASN.1 for Automatic Implementation. FORTE 1993: 155-169

X. Li, Richard Lai, Tharam S. Dillon: A New Decomposition Method to Relieve the State Space Explosion Problem. ICCI 1993: 150-154

Richard Lai: Teaching Protocol Engineering in Honours Year. CSEE 1992: 143-156

X. Li, Richard Lai, Tharam S. Dillon: Theory of Deductive Systems for Protocol Verification. ICCI 1992: 422-425

Richard Lai, Ken R. Parker, Tharam S. Dillon: On Using Protean To Verify ISO FTAM Protocol. CAV 1990: 126-135

Richard Lai, Tharam S. Dillon, Ken R. Parker: Verification Results for ISO FTAM Basic Protocol. PSTV 1989: 223-234