Richard Lai

According to our database1, Richard Lai authored at least 97 papers between 1989 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.


IEEE Fellow

IEEE Fellow 2010, "For development and space-qualified insertion of millimeter-wave transistor and integrated-circuit technologies".



In proceedings 
PhD thesis 


Online presence:



A Theoretical Validation of Component Point.
J. Softw., 2019

A Method for Measuring the Constraint Complexity of Components in Automotive Embedded Software Systems.
Int. J. Softw. Eng. Knowl. Eng., 2019

A method of requirements change analysis.
Requir. Eng., 2018

A Method of Extracting Organizational Components for Aligning Information Technology with Business.
J. Softw., 2018

A Method for Selecting a Model to Estimate Software Reliability at the Design Phase of Component-Based Real-Time System Development.
J. Softw., 2018

Requirements Engineering in Global Software Development: A Survey Study from the Perspectives of Stakeholders.
J. Softw., 2018

A systematic review of requirements change management.
Inf. Softw. Technol., 2018

Managing software requirements changes through change specification and classification.
Comput. Sci. Inf. Syst., 2018

A method of requirements elicitation and analysis for Global Software Development.
J. Softw. Evol. Process., 2017

A method of software requirements specification and validation for global software development.
Requir. Eng., 2017

Effort estimation in global software development - a systematic review.
Comput. Sci. Inf. Syst., 2017

A method of requirements change management for global software development.
Inf. Softw. Technol., 2016

A Secure Multi-Layer e-Document Method for Improving e-Government Processes.
J. Univers. Comput. Sci., 2014

A Systematic Review of Business and Information Technology Alignment.
ACM Trans. Manag. Inf. Syst., 2013

A Proposed Model for Business Sustainability Based on Business and Information Technology.
J. Softw., 2013

Requirements engineering and Business/IT alignment: Lessons Learned.
J. Softw., 2013

RE-UML: A Component-Based System Requirements Analysis Language.
Comput. J., 2013

A Method of Specifying and Classifying Requirements Change.
Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

A Detailed Study of NHPP Software Reliability Models (Invited Paper).
J. Softw., 2012

RAAP: A Requirements Analysis and Assessment Process Framework for Component-Based System (Invited Paper).
J. Softw., 2011

A Study of When to Release a Software Product from the Perspective of Software Reliability Models.
J. Softw., 2011

Special issue on the best papers of QSIC 2009.
J. Syst. Softw., 2011

Modeling Business Goal for Business/it Alignment Using Requirements Engineering.
J. Comput. Inf. Syst., 2011

Effort estimation of component-based software development - a survey.
IET Softw., 2011

When to stop testing: A study from the perspective of software reliability models.
IET Softw., 2011

Managing Security Requirements: Towards Better Alignment Between Information Systems And Business.
Proceedings of the Pacific Asia Conference on Information Systems, 2011

Component Point: A system-level size measure for Component-Based Software Systems.
J. Syst. Softw., 2010

Analysing the Performance of a Resource Reservation Protocol Specification Using a GSPN Method.
Int. J. Softw. Eng. Knowl. Eng., 2010

A Requirements Engineering Approach to Improving IT-business Alignment.
Proceedings of the Information Systems Development, 2010

Connection admission control of MPEG streams in ATM network using hierarchical fuzzy logic controller.
Eng. Appl. Artif. Intell., 2009

Building Automotive Software Component within the AutoSAR Environment - A Case Study.
Proceedings of the Ninth International Conference on Quality Software, 2009

RE-UML: An Extension to UML for Specifying Component-Based Software System.
Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

A complexity measure for UML component-based system specification.
Softw. Pract. Exp., 2008

A Method for Measuring the Size of a Component-Based System Specification.
Proceedings of the Eighth International Conference on Quality Software, 2008

Simplifying the automatic design of a fuzzy logic controller using evolutionary programming.
Soft Comput., 2007

Timed verification of the reliable adaptive multicast protocol.
J. Syst. Softw., 2007

Opportunistic prioritised clustering framework for improving OODBMS performance.
J. Syst. Softw., 2007

The Design of a Fuzzy Logic Controller of an ATM Switch and its Simulation.
J. Inf. Sci. Eng., 2007

Survey of component-based software development.
IET Softw., 2007

Designing a hierarchical fuzzy logic controller using the differential evolution approach.
Appl. Soft Comput., 2007

The Design of a Multimedia Protocol Analysis Software Environment.
Proceedings of the Seventh International Conference on Computer and Information Technology (CIT 2007), 2007

Modelling and Simulating IPv6 Mobility.
Proceedings of the Seventh International Conference on Computer and Information Technology (CIT 2007), 2007

A method for analysing multimedia protocol performance.
J. Syst. Softw., 2006

A method for assigning a value to a communication protocol test case.
Inf. Softw. Technol., 2006

On using cache conscious clustering for improving OODBMS performance.
Inf. Softw. Technol., 2006

Analyzing and Extending MUMCUT for Fault-based Testing of General Boolean Expressions.
Proceedings of the Sixth International Conference on Computer and Information Technology (CIT 2006), 2006

Adaptive multimedia computing.
J. Syst. Softw., 2005

A survey of component based system quality assurance and assessment.
Inf. Softw. Technol., 2005

Measuring the Complexity of a UML Component Specification.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Tuning Fuzzy Logic Controllers using Control Tables.
Proceedings of the IASTED International Conference on Computational Intelligence, 2005

A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation.
IEEE Trans. Software Eng., 2003

Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification.
IEEE Trans. Software Eng., 2003

PSAMS: a communication protocol specification assessment and measurement system.
Softw. Pract. Exp., 2002

A survey of communication protocol testing.
J. Syst. Softw., 2002

Constraining the optimization of a fuzzy logic controller using an enhanced genetic algorithm.
IEEE Trans. Syst. Man Cybern. Part B, 2000

Comput. Commun., 2000

An automatic implementation of the ISO FTAM protocol based on an integrated specification of Estelle and ASN.1.
J. Syst. Softw., 1999

Towards more industrially relevant academic researches into testing of communicating systems.
J. Syst. Softw., 1999

QoS specification and mapping for distributed multimedia systems: A survey of issues.
J. Syst. Softw., 1999

Extending EASE with new ASN.1 encoding rules.
Inf. Softw. Technol., 1999

Verification Results for a Multimedia Protocol.
Proceedings of the Advances in Computing Science, 1999

Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle.
Softw. Pract. Exp., 1998

Deriving Complexity Information from a Formal Communication Protocol.
Softw. Pract. Exp., 1998

Applying a new decomposition method to verify communication protocols.
J. Syst. Softw., 1998

On measuring the complexity of an estelle specification.
J. Syst. Softw., 1998

A study of the burstiness of combined MPEG video and audio bitstreams.
Comput. Commun., 1998

Some Maintainability Metrics for a Communication Protocol Specified in Estell.
Proceedings of the COMPSAC '98, 1998

Verification of the ISO ACSE protocol using Deductive Machine.
J. Syst. Softw., 1997

From Estelle to Erlang.
J. Syst. Softw., 1997

An Experience in Using EDT to Process the ISO Transaction Processing Estelle Specification.
J. Syst. Softw., 1997

A Success Story of Verifying a Real Complex Protocol.
J. Syst. Softw., 1997

Performance Results for the CSMA/CD Protocol Using GreatSPN.
J. Syst. Softw., 1997

EVEN: A software environment for Estelle specification verification.
J. Syst. Softw., 1997

Performance evaluation of PC routers using a single-server multi-queue system with a reflection technique.
Comput. Commun., 1997

Time-Estelle: An Extended Estelle Capable of Expressing Multimedia QoS Parameters.
Proceedings of the International Conference on Multimedia Computing and Systems, 1997

Estimating the size of an Estelle specification for a communication protocol.
Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

EASE: A Software Environment for Automatic Implementation of Application Protocol.
Softw. Pract. Exp., 1996

Integrated Estelle and ASN.1 specification approach to automatic implementation of application protocol.
Inf. Softw. Technol., 1996

The ISO virtual terminal protocol: a semi-automatic implementation.
Comput. Commun., 1996

Extending PROTEAN with the Partitioning Method.
Aust. Comput. J., 1996

Using PROTEAN for Verifying a Complex Protocol - A Case Study
Softw. Pract. Exp., 1995

Simulation and Verification of Protocol Using Deductive Machine.
Simul., 1995

On using PROMPT for the automatic implementation of the ISO ACSE protocol.
J. Syst. Softw., 1995

Formal specification and verification of a procedural protocol: case study.
Softw. Eng. J., 1995

Industrial and Academic Protocol Testing: the Gap and the Means of Convergence.
Comput. Networks ISDN Syst., 1995

An Analysis of the ISO FTAM Basic File Protocol Specified in LOTOS.
Aust. Comput. J., 1995

A rapid protocol prototyping development system.
Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP '95), 1995

Verification of ISO ACSE protocol specified in Estelle.
Comput. Commun., 1994

A Semi-Automatic Implementation of ISO Virtual Terminal Protocol.
Proceedings of the Upper Layer Protocols, 1994

Verification of the ISO ROSE protocol specified in Estelle.
Proceedings of the Protocol Specification, 1994

Verifying Estelle specifications: numerical Petri nets approach.
Proceedings of the 1993 International Conference on Network Protocols, 1993

A New Decomposition Method to Relieve the State Space Explosion Problem.
Proceedings of the Computing and Information, 1993

Integrating Estelle and ASN.1 for Automatic Implementation.
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

Theory of Deductive Systems for Protocol Verification.
Proceedings of the Computing and Information, 1992

Teaching Protocol Engineering in Honours Year.
Proceedings of the Software Engineering Education, SEI Conference, 1992, Proceedings, 1992

On Using Protean To Verify ISO FTAM Protocol.
Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

Verification Results for ISO FTAM Basic Protocol.
Proceedings of the Protocol Specification, 1989