Richard Lai

Publication Activity (10 Years)

Years Active: 1989-2021
Publications (10 Years): 13

Top Topics

Lessons Learned

Systematic Review

Change Management

Software Development

Top Venues

Comput. Sci. Inf. Syst.

Inf. Softw. Technol.

Publications

Shalinka Jayatilleke, Richard Lai
A method of assessing rework for implementing software requirements changes. Comput. Sci. Inf. Syst. 18 (1) (2021)
Thareendhra Wijayasiriwardhane, Richard Lai
A Theoretical Validation of Component Point. J. Softw. 14 (1) (2019)
Mohit Garg, Richard Lai
A Method for Measuring the Constraint Complexity of Components in Automotive Embedded Software Systems. Int. J. Softw. Eng. Knowl. Eng. 29 (1) (2019)
Shalinka Jayatilleke, Richard Lai, Karl Reed
Managing software requirements changes through change specification and classification. Comput. Sci. Inf. Syst. 15 (2) (2018)
Shalinka Jayatilleke, Richard Lai
A systematic review of requirements change management. Inf. Softw. Technol. 93 (2018)
Mohit Garg, Richard Lai
A Method for Selecting a Model to Estimate Software Reliability at the Design Phase of Component-Based Real-Time System Development. J. Softw. 13 (6) (2018)
Shalinka Jayatilleke, Richard Lai, Karl Reed
A method of requirements change analysis. Requir. Eng. 23 (4) (2018)
Azmat Ullah, Richard Lai
A Method of Extracting Organizational Components for Aligning Information Technology with Business. J. Softw. 13 (7) (2018)
Naveed Ali, Richard Lai
Requirements Engineering in Global Software Development: A Survey Study from the Perspectives of Stakeholders. J. Softw. 13 (10) (2018)
Naveed Ali, Richard Lai
A method of software requirements specification and validation for global software development. Requir. Eng. 22 (2) (2017)
Naveed Ali, Richard Lai
A method of requirements elicitation and analysis for Global Software Development. J. Softw. Evol. Process. 29 (4) (2017)
Dilani Wickramaarachchi, Richard Lai
Effort estimation in global software development - a systematic review. Comput. Sci. Inf. Syst. 14 (2) (2017)
Naveed Ali, Richard Lai
A method of requirements change management for global software development. Inf. Softw. Technol. 70 (2016)
Gia Nghia Vo, Richard Lai
A Secure Multi-Layer e-Document Method for Improving e-Government Processes. J. Univers. Comput. Sci. 20 (11) (2014)
Azmat Ullah, Richard Lai
A Systematic Review of Business and Information Technology Alignment. ACM Trans. Manag. Inf. Syst. 4 (1) (2013)
Sajjad Mahmood, Richard Lai
RE-UML: A Component-Based System Requirements Analysis Language. Comput. J. 56 (7) (2013)
Shalinka Jayatilleke, Richard Lai
A Method of Specifying and Classifying Requirements Change. Australian Software Engineering Conference (2013)
Azmat Ullah, Richard Lai
Requirements engineering and Business/IT alignment: Lessons Learned. J. Softw. 8 (1) (2013)
Azmat Ullah, Richard Lai, Timothy Marjoribanks
A Proposed Model for Business Sustainability Based on Business and Information Technology. J. Softw. 8 (11) (2013)
Richard Lai, Mohit Garg
A Detailed Study of NHPP Software Reliability Models (Invited Paper). J. Softw. 7 (6) (2012)
Richard Lai, Mohit Garg, P. K. Kapur, Shaoying Liu
A Study of When to Release a Software Product from the Perspective of Software Reliability Models. J. Softw. 6 (4) (2011)
Azmat Ullah, Richard Lai
Modeling Business Goal for Business/it Alignment Using Requirements Engineering. J. Comput. Inf. Syst. 51 (3) (2011)
Thareendhra Wijayasiriwardhane, Richard Lai, Kyo Chul Kang
Effort estimation of component-based software development - a survey. IET Softw. 5 (2) (2011)
Richard Lai, Sajjad Mahmood, Shaoying Liu
RAAP: A Requirements Analysis and Assessment Process Framework for Component-Based System (Invited Paper). J. Softw. 6 (6) (2011)
Byoungju Choi, Richard Lai
Special issue on the best papers of QSIC 2009. J. Syst. Softw. 84 (4) (2011)
Mohit Garg, Richard Lai, S. J. Huang
When to stop testing: A study from the perspective of software reliability models. IET Softw. 5 (3) (2011)
Azmat Ullah, Richard Lai
Managing Security Requirements: Towards Better Alignment Between Information Systems And Business. PACIS (2011)
Thareendhra Wijayasiriwardhane, Richard Lai
Component Point: A system-level size measure for Component-Based Software Systems. J. Syst. Softw. 83 (12) (2010)
Azmat Ullah, Richard Lai
A Requirements Engineering Approach to Improving IT-business Alignment. ISD (2010)
Richard Lai, Tony Tsang
Analysing the Performance of a Resource Reservation Protocol Specification Using a GSPN Method. Int. J. Softw. Eng. Knowl. Eng. 20 (4) (2010)
Gia Nghia Vo, Richard Lai, Mohit Garg
Building Automotive Software Component within the AutoSAR Environment - A Case Study. QSIC (2009)
France Cheong, Richard Lai
Connection admission control of MPEG streams in ATM network using hierarchical fuzzy logic controller. Eng. Appl. Artif. Intell. 22 (1) (2009)
Sajjad Mahmood, Richard Lai
RE-UML: An Extension to UML for Specifying Component-Based Software System. Australian Software Engineering Conference (2009)
Sajjad Mahmood, Richard Lai
A complexity measure for UML component-based system specification. Softw. Pract. Exp. 38 (2) (2008)
Thareendhra Wijayasiriwardhane, Richard Lai
A Method for Measuring the Size of a Component-Based System Specification. QSIC (2008)
Xu Lei, Yong-Soo Kim, Richard Lai
Modelling and Simulating IPv6 Mobility. CIT (2007)
France Cheong, Richard Lai
Simplifying the automatic design of a fuzzy logic controller using evolutionary programming. Soft Comput. 11 (9) (2007)
Richard Lai, Tony Tsang
Timed verification of the reliable adaptive multicast protocol. J. Syst. Softw. 80 (2) (2007)
France Cheong, Richard Lai
Designing a hierarchical fuzzy logic controller using the differential evolution approach. Appl. Soft Comput. 7 (2) (2007)
Sajjad Mahmood, Richard Lai, Y. S. Kim
Survey of component-based software development. IET Softw. 1 (2) (2007)
Zhen He, Richard Lai, Alonso Marquez, Stephen Blackburn
Opportunistic prioritised clustering framework for improving OODBMS performance. J. Syst. Softw. 80 (3) (2007)
Tony Tsang, Yong-Soo Kim, Richard Lai
The Design of a Multimedia Protocol Analysis Software Environment. CIT (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) (2007)
Zhen He, Richard Lai, Alonso Marquez
On using cache conscious clustering for improving OODBMS performance. Inf. Softw. Technol. 48 (11) (2006)
Richard Lai, Yong-Soo Kim
A method for assigning a value to a communication protocol test case. Inf. Softw. Technol. 48 (8) (2006)
Richard Lai, Tony Tsang, Yong-Soo Kim, Dae Hoon Hwang, Chul Soo Lee, Yoon Kyung Han
A method for analysing multimedia protocol performance. J. Syst. Softw. 79 (4) (2006)
Chang-Ai Sun, Yunwei Dong, Richard Lai, Kwan Yong Sim, Tsong Yueh Chen
Analyzing and Extending MUMCUT for Fault-based Testing of General Boolean Expressions. CIT (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. Inf. Softw. Technol. 47 (10) (2005)
Sajjad Mahmood, Richard Lai
Measuring the Complexity of a UML Component Specification. QSIC (2005)
Steven Guan, Richard Lai
Adaptive multimedia computing. J. Syst. Softw. 75 (3) (2005)
France Cheong, Richard Lai
Tuning Fuzzy Logic Controllers using Control Tables. Computational Intelligence (2005)
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) (2003)
Sun-Jen Huang, Richard Lai
Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification. IEEE Trans. Software Eng. 29 (4) (2003)
Sun-Jen Huang, Richard Lai
PSAMS: a communication protocol specification assessment and measurement system. Softw. Pract. Exp. 32 (12) (2002)
Richard Lai
A survey of communication protocol testing. J. Syst. Softw. 62 (1) (2002)
Richard Lai
Editorial. Comput. Commun. 23 (12) (2000)
France Cheong, Richard Lai
Constraining the optimization of a fuzzy logic controller using an enhanced genetic algorithm. IEEE Trans. Syst. Man Cybern. Part B 30 (1) (2000)
Richard Lai, France Cheong
Extending EASE with new ASN.1 encoding rules. Inf. Softw. Technol. 41 (11-12) (1999)
Anthony C. C. Lo, Richard Lai
An automatic implementation of the ISO FTAM protocol based on an integrated specification of Estelle and ASN.1. J. Syst. Softw. 48 (2) (1999)
France Cheong, Richard Lai
QoS specification and mapping for distributed multimedia systems: A survey of issues. J. Syst. Softw. 45 (2) (1999)
Tony Tsang, Richard Lai
Verification Results for a Multimedia Protocol. ASIAN (1999)
Richard Lai
Towards more industrially relevant academic researches into testing of communicating systems. J. Syst. Softw. 47 (2-3) (1999)
France Cheong, Richard Lai
A study of the burstiness of combined MPEG video and audio bitstreams. Comput. Commun. 21 (10) (1998)
Tony Tsang, Richard Lai
Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle. Softw. Pract. Exp. 28 (11) (1998)
Richard Lai, Xiaobo Li
Applying a new decomposition method to verify communication protocols. J. Syst. Softw. 40 (1) (1998)
Sun-Jen Huang, Richard Lai
Deriving Complexity Information from a Formal Communication Protocol. Softw. Pract. Exp. 28 (14) (1998)
Sun-Jen Huang, Richard Lai
On measuring the complexity of an estelle specification. J. Syst. Softw. 40 (2) (1998)
Sun-Jen Huang, Richard Lai
Some Maintainability Metrics for a Communication Protocol Specified in Estell. COMPSAC (1998)
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. Comput. Commun. 20 (1) (1997)
Richard Lai
Performance Results for the CSMA/CD Protocol Using GreatSPN. J. Syst. Softw. 37 (1) (1997)
Richard Lai, Xiaobo Li
Verification of the ISO ACSE protocol using Deductive Machine. J. Syst. Softw. 39 (3) (1997)
Richard Lai
An Experience in Using EDT to Process the ISO Transaction Processing Estelle Specification. J. Syst. Softw. 36 (2) (1997)
Richard Lai
From Estelle to Erlang. J. Syst. Softw. 37 (3) (1997)
Richard Lai
A Success Story of Verifying a Real Complex Protocol. J. Syst. Softw. 36 (1) (1997)
Ajin Jirachiefpattana, Richard Lai
EVEN: A software environment for Estelle specification verification. J. Syst. Softw. 39 (2) (1997)
Sun-Jen Huang, Richard Lai
Estimating the size of an Estelle specification for a communication protocol. COMPSAC (1997)
Richard Lai, Tony Tsang
Time-Estelle: An Extended Estelle Capable of Expressing Multimedia QoS Parameters. ICMCS (1997)
Richard Lai, Anthony C. C. Lo
EASE: A Software Environment for Automatic Implementation of Application Protocol. Softw. Pract. Exp. 26 (1) (1996)
Richard Lai, Anthony C. C. Lo
Integrated Estelle and ASN.1 specification approach to automatic implementation of application protocol. Inf. Softw. Technol. 38 (12) (1996)
Richard Lai, M. C. Wong
The ISO virtual terminal protocol: a semi-automatic implementation. Comput. Commun. 19 (12) (1996)
Richard Lai
Extending PROTEAN with the Partitioning Method. Aust. Comput. J. 28 (4) (1996)
Richard Lai, Anthony C. C. Lo
An Analysis of the ISO FTAM Basic File Protocol Specified in LOTOS. Aust. Comput. J. 27 (1) (1995)
Richard Lai
Using PROTEAN for Verifying a Complex Protocol - A Case Study Softw. Pract. Exp. 25 (9) (1995)
Richard Lai, Xiaobo Li
Simulation and Verification of Protocol Using Deductive Machine. Simul. 65 (5) (1995)
Richard Lai
Formal specification and verification of a procedural protocol: case study. Softw. Eng. J. 10 (3) (1995)
Richard Lai
On using PROMPT for the automatic implementation of the ISO ACSE protocol. J. Syst. Softw. 28 (2) (1995)
Ajin Jirachiefpattana, Richard Lai
A rapid protocol prototyping development system. RSP (1995)
Richard Lai, Wilfred Leung
Industrial and Academic Protocol Testing: the Gap and the Means of Convergence. Comput. Networks ISDN Syst. 27 (4) (1995)
Richard Lai, Ajin Jirachiefpattana
Verification of ISO ACSE protocol specified in Estelle. Comput. Commun. 17 (3) (1994)
Ajin Jirachiefpattana, Richard Lai
Verification of the ISO ROSE protocol specified in Estelle. PSTV (1994)
M. C. Wong, Richard Lai
A Semi-Automatic Implementation of ISO Virtual Terminal Protocol. ULPAA (1994)
Anthony C. C. Lo, Richard Lai
Integrating Estelle and ASN.1 for Automatic Implementation. FORTE (1993)
Ajin Jirachiefpattana, Richard Lai
Verifying Estelle specifications: numerical Petri nets approach. ICNP (1993)
Xiaobo Li, Richard Lai, Tharam S. Dillon
A New Decomposition Method to Relieve the State Space Explosion Problem. ICCI (1993)
Xiaobo Li, Richard Lai, Tharam S. Dillon
Theory of Deductive Systems for Protocol Verification. ICCI (1992)
Richard Lai
Teaching Protocol Engineering in Honours Year. CSEE (1992)
Richard Lai, Ken R. Parker, Tharam S. Dillon
On Using Protean To Verify ISO FTAM Protocol. CAV (1990)
Richard Lai, Tharam S. Dillon, Ken R. Parker
Verification Results for ISO FTAM Basic Protocol. PSTV (1989)