Richard Lai

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