Verification Results for ISO FTAM Basic Protocol. - Richard Lai 001; Tharam S. Dillon; Ken R. Parker (PSTV, 1989)

On Using Protean To Verify ISO FTAM Protocol. - Richard Lai 001; Ken R. Parker; Tharam S. Dillon (CAV, 1990)

Teaching Protocol Engineering in Honours Year. - Richard Lai 001 (CSEE, 1992)

Theory of Deductive Systems for Protocol Verification. - Xiaobo Li 005; Richard Lai 001; Tharam S. Dillon (ICCI, 1992)

Integrating Estelle and ASN.1 for Automatic Implementation. - Anthony C. C. Lo; Richard Lai 001 (FORTE, 1993)

A New Decomposition Method to Relieve the State Space Explosion Problem. - Xiaobo Li 005; Richard Lai 001; Tharam S. Dillon (ICCI, 1993)

Verifying Estelle specifications: numerical Petri nets approach. - Ajin Jirachiefpattana; Richard Lai 001 (ICNP, 1993)

Verification of the ISO ROSE protocol specified in Estelle. - Ajin Jirachiefpattana; Richard Lai 001 (PSTV, 1994)

A Semi-Automatic Implementation of ISO Virtual Terminal Protocol. - M. C. Wong; Richard Lai 001 (ULPAA, 1994)

Verification of ISO ACSE protocol specified in Estelle. - Richard Lai 001; Ajin Jirachiefpattana (Comput. Commun., 1994)

A rapid protocol prototyping development system. - Ajin Jirachiefpattana; Richard Lai 001 (RSP, 1995)

An Analysis of the ISO FTAM Basic File Protocol Specified in LOTOS. - Richard Lai 001; Anthony C. C. Lo (Aust. Comput. J., 1995)

Industrial and Academic Protocol Testing: the Gap and the Means of Convergence. - Richard Lai 001; Wilfred Leung (Comput. Networks ISDN Syst., 1995)

Formal specification and verification of a procedural protocol: case study. - Richard Lai 001 (Softw. Eng. J., 1995)

On using PROMPT for the automatic implementation of the ISO ACSE protocol. - Richard Lai 001 (J. Syst. Softw., 1995)

Simulation and Verification of Protocol Using Deductive Machine. - Richard Lai 001; Xiaobo Li 005 (Simul., 1995)

Using PROTEAN for Verifying a Complex Protocol - A Case Study - Richard Lai 001 (Softw. Pract. Exp., 1995)

Extending PROTEAN with the Partitioning Method. - Richard Lai 001 (Aust. Comput. J., 1996)

The ISO virtual terminal protocol: a semi-automatic implementation. - Richard Lai 001; M. C. Wong (Comput. Commun., 1996)

Integrated Estelle and ASN.1 specification approach to automatic implementation of application protocol. - Richard Lai 001; Anthony C. C. Lo (Inf. Softw. Technol., 1996)

EASE: A Software Environment for Automatic Implementation of Application Protocol. - Richard Lai 001; Anthony C. C. Lo (Softw. Pract. Exp., 1996)

Estimating the size of an Estelle specification for a communication protocol. - Sun-Jen Huang; Richard Lai 001 (COMPSAC, 1997)

Time-Estelle: An Extended Estelle Capable of Expressing Multimedia QoS Parameters. - Richard Lai 001; Tony Tsang (ICMCS, 1997)

Performance evaluation of PC routers using a single-server multi-queue system with a reflection technique. - Ajin Jirachiefpattana; Phil County; Tharam S. Dillon; Richard Lai 001 (Comput. Commun., 1997)

EVEN: A software environment for Estelle specification verification. - Ajin Jirachiefpattana; Richard Lai 001 (J. Syst. Softw., 1997)

Performance Results for the CSMA/CD Protocol Using GreatSPN. - Richard Lai 001 (J. Syst. Softw., 1997)

A Success Story of Verifying a Real Complex Protocol. - Richard Lai 001 (J. Syst. Softw., 1997)

An Experience in Using EDT to Process the ISO Transaction Processing Estelle Specification. - Richard Lai 001 (J. Syst. Softw., 1997)

From Estelle to Erlang. - Richard Lai 001 (J. Syst. Softw., 1997)

Verification of the ISO ACSE protocol using Deductive Machine. - Richard Lai 001; Xiaobo Li 005 (J. Syst. Softw., 1997)

Some Maintainability Metrics for a Communication Protocol Specified in Estell. - Sun-Jen Huang; Richard Lai 001 (COMPSAC, 1998)

A study of the burstiness of combined MPEG video and audio bitstreams. - France Cheong; Richard Lai 001 (Comput. Commun., 1998)

On measuring the complexity of an estelle specification. - Sun-Jen Huang; Richard Lai 001 (J. Syst. Softw., 1998)

Applying a new decomposition method to verify communication protocols. - Richard Lai 001; Xiaobo Li 005 (J. Syst. Softw., 1998)

Deriving Complexity Information from a Formal Communication Protocol. - Sun-Jen Huang; Richard Lai 001 (Softw. Pract. Exp., 1998)

Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle. - Tony Tsang; Richard Lai 001 (Softw. Pract. Exp., 1998)

Verification Results for a Multimedia Protocol. - Tony Tsang; Richard Lai 001 (ASIAN, 1999)

Extending EASE with new ASN.1 encoding rules. - Richard Lai 001; France Cheong (Inf. Softw. Technol., 1999)

QoS specification and mapping for distributed multimedia systems: A survey of issues. - France Cheong; Richard Lai 001 (J. Syst. Softw., 1999)

Towards more industrially relevant academic researches into testing of communicating systems. - Richard Lai 001 (J. Syst. Softw., 1999)

An automatic implementation of the ISO FTAM protocol based on an integrated specification of Estelle and ASN.1. - Anthony C. C. Lo; Richard Lai 001 (J. Syst. Softw., 1999)

Editorial. - Richard Lai 001 (Comput. Commun., 2000)

Constraining the optimization of a fuzzy logic controller using an enhanced genetic algorithm. - France Cheong; Richard Lai 001 (IEEE Trans. Syst. Man Cybern. Part B, 2000)

A survey of communication protocol testing. - Richard Lai 001 (J. Syst. Softw., 2002)

PSAMS: a communication protocol specification assessment and measurement system. - Sun-Jen Huang; Richard Lai 001 (Softw. Pract. Exp., 2002)

Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification. - Sun-Jen Huang; Richard Lai 001 (IEEE Trans. Software Eng., 2003)

A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation. - Richard Lai 001; Sun-Jen Huang (IEEE Trans. Software Eng., 2003)

Tuning Fuzzy Logic Controllers using Control Tables. - France Cheong; Richard Lai 001 (Computational Intelligence, 2005)

Measuring the Complexity of a UML Component Specification. - Sajjad Mahmood; Richard Lai 001 (QSIC, 2005)

A survey of component based system quality assurance and assessment. - Sajjad Mahmood; Richard Lai 001; Yong-Soo Kim; Ji Hong Kim; Seok Cheon Park; Hae Suk Oh (Inf. Softw. Technol., 2005)

Adaptive multimedia computing. - Steven Guan 001; Richard Lai 001 (J. Syst. Softw., 2005)

Analyzing and Extending MUMCUT for Fault-based Testing of General Boolean Expressions. - Chang-Ai Sun; Yunwei Dong; Richard Lai 001; Kwan Yong Sim; Tsong Yueh Chen (CIT, 2006)

On using cache conscious clustering for improving OODBMS performance. - Zhen He 002; Richard Lai 001; Alonso Marquez (Inf. Softw. Technol., 2006)

A method for assigning a value to a communication protocol test case. - Richard Lai 001; Yong-Soo Kim (Inf. Softw. Technol., 2006)

A method for analysing multimedia protocol performance. - Richard Lai 001; Tony Tsang; Yong-Soo Kim; Dae Hoon Hwang; Chul Soo Lee; Yoon Kyung Han (J. Syst. Softw., 2006)

Modelling and Simulating IPv6 Mobility. - Xu Lei; Yong-Soo Kim; Richard Lai 001 (CIT, 2007)

The Design of a Multimedia Protocol Analysis Software Environment. - Tony Tsang; Yong-Soo Kim; Richard Lai 001 (CIT, 2007)

Designing a hierarchical fuzzy logic controller using the differential evolution approach. - France Cheong; Richard Lai 001 (Appl. Soft Comput., 2007)

Survey of component-based software development. - Sajjad Mahmood; Richard Lai 001; Y. S. Kim (IET Softw., 2007)

The Design of a Fuzzy Logic Controller of an ATM Switch and its Simulation. - France Cheong; Richard Lai 001; Yong-Soo Kim; Dae Hoon Hwang; Hae Suk Oh; Ji Hong Kim (J. Inf. Sci. Eng., 2007)

Opportunistic prioritised clustering framework for improving OODBMS performance. - Zhen He 002; Richard Lai 001; Alonso Marquez; Stephen M. Blackburn (J. Syst. Softw., 2007)

Timed verification of the reliable adaptive multicast protocol. - Richard Lai 001; Tony Tsang (J. Syst. Softw., 2007)

Simplifying the automatic design of a fuzzy logic controller using evolutionary programming. - France Cheong; Richard Lai 001 (Soft Comput., 2007)

A Method for Measuring the Size of a Component-Based System Specification. - Thareendhra Wijayasiriwardhane; Richard Lai 001 (QSIC, 2008)

A complexity measure for UML component-based system specification. - Sajjad Mahmood; Richard Lai 001 (Softw. Pract. Exp., 2008)

RE-UML: An Extension to UML for Specifying Component-Based Software System. - Sajjad Mahmood; Richard Lai 001 (Australian Software Engineering Conference, 2009)

Building Automotive Software Component within the AutoSAR Environment - A Case Study. - Gia Nghia Vo; Richard Lai 001; Mohit Garg 001 (QSIC, 2009)

Connection admission control of MPEG streams in ATM network using hierarchical fuzzy logic controller. - France Cheong; Richard Lai 001 (Eng. Appl. Artif. Intell., 2009)

A Requirements Engineering Approach to Improving IT-business Alignment. - Azmat Ullah; Richard Lai 001 (ISD, 2010)

Analysing the Performance of a Resource Reservation Protocol Specification Using a GSPN Method. - Richard Lai 001; Tony Tsang (Int. J. Softw. Eng. Knowl. Eng., 2010)

Component Point: A system-level size measure for Component-Based Software Systems. - Thareendhra Wijayasiriwardhane; Richard Lai 001 (J. Syst. Softw., 2010)

Managing Security Requirements: Towards Better Alignment Between Information Systems And Business. - Azmat Ullah; Richard Lai 001 (PACIS, 2011)

When to stop testing: A study from the perspective of software reliability models. - Mohit Garg 001; Richard Lai 001; S. J. Huang (IET Softw., 2011)

Effort estimation of component-based software development - a survey. - Thareendhra Wijayasiriwardhane; Richard Lai 001; Kyo Chul Kang (IET Softw., 2011)

Modeling Business Goal for Business/it Alignment Using Requirements Engineering. - Azmat Ullah; Richard Lai 001 (J. Comput. Inf. Syst., 2011)

Special issue on the best papers of QSIC 2009. - Byoungju Choi; Richard Lai 001 (J. Syst. Softw., 2011)

A Study of When to Release a Software Product from the Perspective of Software Reliability Models. - Richard Lai 001; Mohit Garg 001; P. K. Kapur 001; Shaoying Liu (J. Softw., 2011)

RAAP: A Requirements Analysis and Assessment Process Framework for Component-Based System (Invited Paper). - Richard Lai 001; Sajjad Mahmood; Shaoying Liu (J. Softw., 2011)

A Detailed Study of NHPP Software Reliability Models (Invited Paper). - Richard Lai 001; Mohit Garg 001 (J. Softw., 2012)

A Method for Selecting a Model to Estimate the Reliability of a Software Component in a Dynamic System. - Mohit Garg 001; Richard Lai 001; P. K. Kapur 001 (Australian Software Engineering Conference, 2013)

A Method of Specifying and Classifying Requirements Change. - Shalinka Jayatilleke; Richard Lai 001 (Australian Software Engineering Conference, 2013)

Improving student engagement through a blended teaching method using Moodle. - Richard Lai 001; Nurazlina Sanusi (ICCE, 2013)

RE-UML: A Component-Based System Requirements Analysis Language. - Sajjad Mahmood; Richard Lai 001 (Comput. J., 2013)

Requirements engineering and Business/IT alignment: Lessons Learned. - Azmat Ullah; Richard Lai 001 (J. Softw., 2013)

A Proposed Model for Business Sustainability Based on Business and Information Technology. - Azmat Ullah; Richard Lai 001; Timothy Marjoribanks (J. Softw., 2013)

A Systematic Review of Business and Information Technology Alignment. - Azmat Ullah; Richard Lai 001 (ACM Trans. Manag. Inf. Syst., 2013)

A Secure Multi-Layer e-Document Method for Improving e-Government Processes. - Gia Nghia Vo; Richard Lai 001 (J. Univers. Comput. Sci., 2014)

A method of requirements change management for global software development. - Naveed Ali; Richard Lai 001 (Inf. Softw. Technol., 2016)

Effort estimation in global software development - a systematic review. - Dilani Wickramaarachchi; Richard Lai 001 (Comput. Sci. Inf. Syst., 2017)

A method of software requirements specification and validation for global software development. - Naveed Ali; Richard Lai 001 (Requir. Eng., 2017)

A method of requirements elicitation and analysis for Global Software Development. - Naveed Ali; Richard Lai 001 (J. Softw. Evol. Process., 2017)

Managing software requirements changes through change specification and classification. - Shalinka Jayatilleke; Richard Lai 001; Karl Reed (Comput. Sci. Inf. Syst., 2018)

A systematic review of requirements change management. - Shalinka Jayatilleke; Richard Lai 001 (Inf. Softw. Technol., 2018)

Requirements Engineering in Global Software Development: A Survey Study from the Perspectives of Stakeholders. - Naveed Ali; Richard Lai 001 (J. Softw., 2018)

A Method for Selecting a Model to Estimate Software Reliability at the Design Phase of Component-Based Real-Time System Development. - Mohit Garg 001; Richard Lai 001 (J. Softw., 2018)

A Method of Extracting Organizational Components for Aligning Information Technology with Business. - Azmat Ullah; Richard Lai 001 (J. Softw., 2018)

A method of requirements change analysis. - Shalinka Jayatilleke; Richard Lai 001; Karl Reed (Requir. Eng., 2018)

A Method for Measuring the Constraint Complexity of Components in Automotive Embedded Software Systems. - Mohit Garg 001; Richard Lai 001 (Int. J. Softw. Eng. Knowl. Eng., 2019)

A Theoretical Validation of Component Point. - Thareendhra Wijayasiriwardhane; Richard Lai 001 (J. Softw., 2019)

A method of assessing rework for implementing software requirements changes. - Shalinka Jayatilleke; Richard Lai 001 (Comput. Sci. Inf. Syst., 2021)