default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRichard Lai 0001
Person information
- affiliation: La Trobe University, Department of Computer Science and Information Technology, Melbourne, Australia
Other persons with the same name
- Richard Lai 0002 — Northrop Grumman Aerospace Systems, Redondo Beach, CA, USA
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j73]Shalinka Jayatilleke, Richard Lai:
A method of assessing rework for implementing software requirements changes. Comput. Sci. Inf. Syst. 18(1): 129-154 (2021)
2010 – 2019
- 2019
- [j72]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): 1-21 (2019) - [j71]Thareendhra Wijayasiriwardhane, Richard Lai:
A Theoretical Validation of Component Point. J. Softw. 14(1): 1-12 (2019) - 2018
- [j70]Shalinka Jayatilleke, Richard Lai, Karl Reed:
Managing software requirements changes through change specification and classification. Comput. Sci. Inf. Syst. 15(2): 321-346 (2018) - [j69]Shalinka Jayatilleke, Richard Lai:
A systematic review of requirements change management. Inf. Softw. Technol. 93: 163-185 (2018) - [j68]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): 317-334 (2018) - [j67]Azmat Ullah, Richard Lai:
A Method of Extracting Organizational Components for Aligning Information Technology with Business. J. Softw. 13(7): 374-385 (2018) - [j66]Naveed Ali, Richard Lai:
Requirements Engineering in Global Software Development: A Survey Study from the Perspectives of Stakeholders. J. Softw. 13(10): 520-532 (2018) - [j65]Shalinka Jayatilleke, Richard Lai, Karl Reed:
A method of requirements change analysis. Requir. Eng. 23(4): 493-508 (2018) - 2017
- [j64]Dilani Wickramaarachchi, Richard Lai:
Effort estimation in global software development - a systematic review. Comput. Sci. Inf. Syst. 14(2): 393-421 (2017) - [j63]Naveed Ali, Richard Lai:
A method of software requirements specification and validation for global software development. Requir. Eng. 22(2): 191-214 (2017) - [j62]Naveed Ali, Richard Lai:
A method of requirements elicitation and analysis for Global Software Development. J. Softw. Evol. Process. 29(4) (2017) - 2016
- [j61]Naveed Ali, Richard Lai:
A method of requirements change management for global software development. Inf. Softw. Technol. 70: 49-67 (2016) - 2014
- [j60]Gia Nghia Vo, Richard Lai:
A Secure Multi-Layer e-Document Method for Improving e-Government Processes. J. Univers. Comput. Sci. 20(11): 1583-1604 (2014) - 2013
- [j59]Sajjad Mahmood
, Richard Lai:
RE-UML: A Component-Based System Requirements Analysis Language. Comput. J. 56(7): 901-922 (2013) - [j58]Azmat Ullah, Richard Lai:
Requirements engineering and Business/IT alignment: Lessons Learned. J. Softw. 8(1): 1-10 (2013) - [j57]Azmat Ullah, Richard Lai, Timothy Marjoribanks:
A Proposed Model for Business Sustainability Based on Business and Information Technology. J. Softw. 8(11): 2796-2806 (2013) - [j56]Azmat Ullah, Richard Lai:
A Systematic Review of Business and Information Technology Alignment. ACM Trans. Manag. Inf. Syst. 4(1): 4:1-4:30 (2013) - [c26]Mohit Garg, Richard Lai, P. K. Kapur:
A Method for Selecting a Model to Estimate the Reliability of a Software Component in a Dynamic System. Australian Software Engineering Conference 2013: 40-50 - [c25]Shalinka Jayatilleke, Richard Lai:
A Method of Specifying and Classifying Requirements Change. Australian Software Engineering Conference 2013: 175-180 - 2012
- [j55]Richard Lai, Mohit Garg:
A Detailed Study of NHPP Software Reliability Models (Invited Paper). J. Softw. 7(6): 1296-1306 (2012) - 2011
- [j54]Thareendhra Wijayasiriwardhane, Richard Lai, Kyo Chul Kang:
Effort estimation of component-based software development - a survey. IET Softw. 5(2): 216-228 (2011) - [j53]Mohit Garg, Richard Lai, S. J. Huang:
When to stop testing: A study from the perspective of software reliability models. IET Softw. 5(3): 263-273 (2011) - [j52]Azmat Ullah, Richard Lai:
Modeling Business Goal for Business/it Alignment Using Requirements Engineering. J. Comput. Inf. Syst. 51(3): 21-28 (2011) - [j51]Byoungju Choi, Richard Lai:
Special issue on the best papers of QSIC 2009. J. Syst. Softw. 84(4): 527 (2011) - [j50]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): 651-661 (2011) - [j49]Richard Lai, Sajjad Mahmood, Shaoying Liu:
RAAP: A Requirements Analysis and Assessment Process Framework for Component-Based System (Invited Paper). J. Softw. 6(6): 1050-1066 (2011) - [c24]Azmat Ullah, Richard Lai:
Managing Security Requirements: Towards Better Alignment Between Information Systems And Business. PACIS 2011: 195 - 2010
- [j48]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): 549-573 (2010) - [j47]Thareendhra Wijayasiriwardhane, Richard Lai:
Component Point: A system-level size measure for Component-Based Software Systems. J. Syst. Softw. 83(12): 2456-2470 (2010) - [c23]Azmat Ullah, Richard Lai:
A Requirements Engineering Approach to Improving IT-business Alignment. ISD 2010: 771-779
2000 – 2009
- 2009
- [j46]France Cheong, Richard Lai:
Connection admission control of MPEG streams in ATM network using hierarchical fuzzy logic controller. Eng. Appl. Artif. Intell. 22(1): 117-128 (2009) - [c22]Sajjad Mahmood, Richard Lai:
RE-UML: An Extension to UML for Specifying Component-Based Software System. Australian Software Engineering Conference 2009: 220-228 - [c21]Gia Nghia Vo, Richard Lai, Mohit Garg:
Building Automotive Software Component within the AutoSAR Environment - A Case Study. QSIC 2009: 191-200 - 2008
- [j45]Sajjad Mahmood, Richard Lai:
A complexity measure for UML component-based system specification. Softw. Pract. Exp. 38(2): 117-134 (2008) - [c20]Thareendhra Wijayasiriwardhane, Richard Lai:
A Method for Measuring the Size of a Component-Based System Specification. QSIC 2008: 329-337 - 2007
- [j44]France Cheong, Richard Lai:
Designing a hierarchical fuzzy logic controller using the differential evolution approach. Appl. Soft Comput. 7(2): 481-491 (2007) - [j43]Sajjad Mahmood, Richard Lai, Y. S. Kim:
Survey of component-based software development. IET Softw. 1(2): 57-66 (2007) - [j42]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) - [j41]Richard Lai, Tony Tsang:
Timed verification of the reliable adaptive multicast protocol. J. Syst. Softw. 80(2): 224-239 (2007) - [j40]Zhen He, Richard Lai, Alonso Marquez, Stephen M. Blackburn:
Opportunistic prioritised clustering framework for improving OODBMS performance. J. Syst. Softw. 80(3): 371-387 (2007) - [j39]France Cheong, Richard Lai:
Simplifying the automatic design of a fuzzy logic controller using evolutionary programming. Soft Comput. 11(9): 839-846 (2007) - [c19]Xu Lei, Yong-Soo Kim, Richard Lai:
Modelling and Simulating IPv6 Mobility. CIT 2007: 381-386 - [c18]Tony Tsang, Yong-Soo Kim, Richard Lai:
The Design of a Multimedia Protocol Analysis Software Environment. CIT 2007: 940-948 - 2006
- [j38]Richard Lai, Yong-Soo Kim:
A method for assigning a value to a communication protocol test case. Inf. Softw. Technol. 48(8): 645-659 (2006) - [j37]Zhen He, Richard Lai, Alonso Marquez:
On using cache conscious clustering for improving OODBMS performance. Inf. Softw. Technol. 48(11): 1073-1082 (2006) - [j36]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): 454-465 (2006) - [c17]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: 184 - 2005
- [j35]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): 693-707 (2005) - [j34]Steven Guan, Richard Lai:
Adaptive multimedia computing. J. Syst. Softw. 75(3): 235-236 (2005) - [c16]France Cheong, Richard Lai:
Tuning Fuzzy Logic Controllers using Control Tables. Computational Intelligence 2005: 19-24 - [c15]Sajjad Mahmood, Richard Lai:
Measuring the Complexity of a UML Component Specification. QSIC 2005: 150-160 - 2003
- [j33]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) - [j32]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) - 2002
- [j31]Richard Lai:
A survey of communication protocol testing. J. Syst. Softw. 62(1): 21-46 (2002) - [j30]Sun-Jen Huang, Richard Lai:
PSAMS: a communication protocol specification assessment and measurement system. Softw. Pract. Exp. 32(12): 1129-1154 (2002) - 2000
- [j29]Richard Lai:
Editorial. Comput. Commun. 23(12): 1087-1088 (2000) - [j28]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): 31-46 (2000)
1990 – 1999
- 1999
- [j27]Richard Lai, France Cheong:
Extending EASE with new ASN.1 encoding rules. Inf. Softw. Technol. 41(11-12): 823-837 (1999) - [j26]France Cheong, Richard Lai:
QoS specification and mapping for distributed multimedia systems: A survey of issues. J. Syst. Softw. 45(2): 127-139 (1999) - [j25]Richard Lai:
Towards more industrially relevant academic researches into testing of communicating systems. J. Syst. Softw. 47(2-3): 89-96 (1999) - [j24]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): 119-137 (1999) - [c14]Tony Tsang, Richard Lai:
Verification Results for a Multimedia Protocol. ASIAN 1999: 390-392 - 1998
- [j23]France Cheong, Richard Lai:
A study of the burstiness of combined MPEG video and audio bitstreams. Comput. Commun. 21(10): 880-888 (1998) - [j22]Richard Lai, Xiaobo Li:
Applying a new decomposition method to verify communication protocols. J. Syst. Softw. 40(1): 29-50 (1998) - [j21]Sun-Jen Huang, Richard Lai:
On measuring the complexity of an estelle specification. J. Syst. Softw. 40(2): 165-181 (1998) - [j20]Tony Tsang, Richard Lai:
Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle. Softw. Pract. Exp. 28(11): 1185-1211 (1998) - [j19]Sun-Jen Huang, Richard Lai:
Deriving Complexity Information from a Formal Communication Protocol. Softw. Pract. Exp. 28(14): 1465-1491 (1998) - [c13]Sun-Jen Huang, Richard Lai:
Some Maintainability Metrics for a Communication Protocol Specified in Estell. COMPSAC 1998: 218-227 - 1997
- [j18]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): 1-10 (1997) - [j17]Richard Lai:
A Success Story of Verifying a Real Complex Protocol. J. Syst. Softw. 36(1): 69-83 (1997) - [j16]Richard Lai:
An Experience in Using EDT to Process the ISO Transaction Processing Estelle Specification. J. Syst. Softw. 36(2): 137-145 (1997) - [j15]Richard Lai:
Performance Results for the CSMA/CD Protocol Using GreatSPN. J. Syst. Softw. 37(1): 75-90 (1997) - [j14]Richard Lai:
From Estelle to Erlang. J. Syst. Softw. 37(3): 235-251 (1997) - [j13]Ajin Jirachiefpattana, Richard Lai:
EVEN: A software environment for Estelle specification verification. J. Syst. Softw. 39(2): 119-143 (1997) - [j12]Richard Lai, Xiaobo Li:
Verification of the ISO ACSE protocol using Deductive Machine. J. Syst. Softw. 39(3): 223-247 (1997) - [c12]Sun-Jen Huang, Richard Lai:
Estimating the size of an Estelle specification for a communication protocol. COMPSAC 1997: 565-568 - [c11]Richard Lai, Tony Tsang:
Time-Estelle: An Extended Estelle Capable of Expressing Multimedia QoS Parameters. ICMCS 1997: 311-318 - 1996
- [j11]Richard Lai:
Extending PROTEAN with the Partitioning Method. Aust. Comput. J. 28(4): 121-127 (1996) - [j10]Richard Lai, M. C. Wong:
The ISO virtual terminal protocol: a semi-automatic implementation. Comput. Commun. 19(12): 990-1000 (1996) - [j9]Richard Lai, Anthony C. C. Lo:
Integrated Estelle and ASN.1 specification approach to automatic implementation of application protocol. Inf. Softw. Technol. 38(12): 757-773 (1996) - [j8]Richard Lai, Anthony C. C. Lo:
EASE: A Software Environment for Automatic Implementation of Application Protocol. Softw. Pract. Exp. 26(1): 83-103 (1996) - 1995
- [j7]Richard Lai, Anthony C. C. Lo:
An Analysis of the ISO FTAM Basic File Protocol Specified in LOTOS. Aust. Comput. J. 27(1): 1-8 (1995) - [j6]Richard Lai, Wilfred Leung:
Industrial and Academic Protocol Testing: the Gap and the Means of Convergence. Comput. Networks ISDN Syst. 27(4): 537-547 (1995) - [j5]Richard Lai:
Formal specification and verification of a procedural protocol: case study. Softw. Eng. J. 10(3): 97-104 (1995) - [j4]Richard Lai:
On using PROMPT for the automatic implementation of the ISO ACSE protocol. J. Syst. Softw. 28(2): 143-155 (1995) - [j3]Richard Lai, Xiaobo Li:
Simulation and Verification of Protocol Using Deductive Machine. Simul. 65(5): 321-333 (1995) - [j2]Richard Lai:
Using PROTEAN for Verifying a Complex Protocol - A Case Study. Softw. Pract. Exp. 25(9): 1021-1044 (1995) - [c10]Ajin Jirachiefpattana, Richard Lai:
A rapid protocol prototyping development system. RSP 1995: 118-124 - 1994
- [j1]Richard Lai, Ajin Jirachiefpattana:
Verification of ISO ACSE protocol specified in Estelle. Comput. Commun. 17(3): 172-188 (1994) - [c9]Ajin Jirachiefpattana, Richard Lai:
Verification of the ISO ROSE protocol specified in Estelle. PSTV 1994: 87-102 - [c8]M. C. Wong, Richard Lai:
A Semi-Automatic Implementation of ISO Virtual Terminal Protocol. ULPAA 1994: 183-196 - 1993
- [c7]Anthony C. C. Lo, Richard Lai:
Integrating Estelle and ASN.1 for Automatic Implementation. FORTE 1993: 155-169 - [c6]Xiaobo Li, Richard Lai, Tharam S. Dillon:
A New Decomposition Method to Relieve the State Space Explosion Problem. ICCI 1993: 150-154 - [c5]Ajin Jirachiefpattana, Richard Lai:
Verifying Estelle specifications: numerical Petri nets approach. ICNP 1993: 334-341 - 1992
- [c4]Richard Lai:
Teaching Protocol Engineering in Honours Year. CSEE 1992: 143-156 - [c3]Xiaobo Li, Richard Lai, Tharam S. Dillon:
Theory of Deductive Systems for Protocol Verification. ICCI 1992: 422-425 - 1990
- [c2]Richard Lai, Ken R. Parker, Tharam S. Dillon:
On Using Protean To Verify ISO FTAM Protocol. CAV 1990: 126-135
1980 – 1989
- 1989
- [c1]Richard Lai, Tharam S. Dillon, Ken R. Parker:
Verification Results for ISO FTAM Basic Protocol. PSTV 1989: 223-234
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
