| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Richard Lai, Mohit Garg, Parmod Kumar Kapur, Shaoying Liu |
A Study of When to Release a Software Product from the Perspective of Software Reliability Models.  |
JSW  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai, Sajjad Mahmood, Shaoying Liu |
RAAP: A Requirements Analysis and Assessment Process Framework for Component-Based System (Invited Paper). |
JSW |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Byoungju Choi, Richard Lai |
Special issue on the best papers of QSIC 2009. |
Journal of Systems and Software |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohit Garg, Richard Lai, S. J. Huang |
When to stop testing: A study from the perspective of software reliability models. |
IET Software |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Azmat Ullah, Richard Lai |
Managing Security Requirements: Towards Better Alignment Between Information Systems And Business. |
PACIS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Richard Lai, Tony Tsang |
Analysing the Performance of a Resource Reservation Protocol Specification Using a GSPN Method. |
International Journal of Software Engineering and Knowledge Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thareendhra Wijayasiriwardhane, Richard Lai |
Component Point: A system-level size measure for Component-Based Software Systems. |
Journal of Systems and Software |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | France Cheong, Richard Lai |
Connection admission control of MPEG streams in ATM network using hierarchical fuzzy logic controller. |
Eng. Appl. of AI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sajjad Mahmood, Richard Lai |
RE-UML: An Extension to UML for Specifying Component-Based Software System. |
Australian Software Engineering Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gia Nghia Vo, Richard Lai, Mohit Garg |
Building Automotive Software Component within the AutoSAR Environment - A Case Study. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sajjad Mahmood, Richard Lai |
A complexity measure for UML component-based system specification. |
Softw., Pract. Exper. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thareendhra Wijayasiriwardhane, Richard Lai |
A Method for Measuring the Size of a Component-Based System Specification. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
Component Point, Function Point extension, Software Measurement, Component-Based Systems, Component-Based Software Development, Software Effort Estimation, Software Size Estimation |
| 1 | France Cheong, Richard Lai |
Simplifying the automatic design of a fuzzy logic controller using evolutionary programming. |
Soft Comput. |
2007 |
DBLP DOI BibTeX RDF |
Evolutionary algorithms, Fuzzy systems, Fuzzy logic controller, Evolutionary programming |
| 1 | France Cheong, Richard Lai |
Designing a hierarchical fuzzy logic controller using the differential evolution approach. |
Appl. Soft Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhen He, Richard Lai, Alonso Marquez, Stephen Blackburn |
Opportunistic prioritised clustering framework for improving OODBMS performance. |
Journal of Systems and Software |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai, Tony Tsang |
Timed verification of the reliable adaptive multicast protocol. |
Journal of Systems and Software |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sajjad Mahmood, Richard Lai, Y. S. Kim |
Survey of component-based software development. |
IET Software |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2007 |
DBLP BibTeX RDF |
|
| 1 | Xu Lei, Yong-Soo Kim, Richard Lai |
Modelling and Simulating IPv6 Mobility. |
CIT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony Tsang, Yong-Soo Kim, Richard Lai |
The Design of a Multimedia Protocol Analysis Software Environment. |
CIT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai, Tony Tsang, Yong-Soo Kim, Dae Hoon Hwang, Chul Soo Lee, Yoon Kyung Han |
A method for analysing multimedia protocol performance. |
Journal of Systems and Software |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai, Yong-Soo Kim |
A method for assigning a value to a communication protocol test case. |
Information & Software Technology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhen He, Richard Lai, Alonso Marquez |
On using cache conscious clustering for improving OODBMS performance. |
Information & Software Technology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Guan, Richard Lai |
Adaptive multimedia computing. |
Journal of Systems and Software |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Information & Software Technology |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | France Cheong, Richard Lai |
Tuning Fuzzy Logic Controllers using Control Tables. |
Computational Intelligence |
2005 |
DBLP BibTeX RDF |
|
| 1 | Sajjad Mahmood, Richard Lai |
Measuring the Complexity of a UML Component Specification. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun-Jen Huang, Richard Lai |
Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
factor-subfactor-metric model, software metrics, Formal description techniques, Estelle, software maintainability |
| 1 | Richard Lai, Sun-Jen Huang |
A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
Size model, EDT, regression analysis, formal description techniques, Estelle |
| 1 | Sun-Jen Huang, Richard Lai |
PSAMS: a communication protocol specification assessment and measurement system. |
Softw., Pract. Exper. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai |
A survey of communication protocol testing. |
Journal of Systems and Software |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai |
Editorial. |
Computer Communications |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | France Cheong, Richard Lai |
Constraining the optimization of a fuzzy logic controller using an enhanced genetic algorithm. |
IEEE Transactions on Systems, Man, and Cybernetics, Part B |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | A. Lo, Richard Lai |
An automatic implementation of the ISO FTAM protocol based on an integrated specification of Estelle and ASN.1. |
Journal of Systems and Software |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai |
Towards more industrially relevant academic researches into testing of communicating systems. |
Journal of Systems and Software |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | France Cheong, Richard Lai |
QoS specification and mapping for distributed multimedia systems: A survey of issues. |
Journal of Systems and Software |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai, France Cheong |
Extending EASE with new ASN.1 encoding rules. |
Information & Software Technology |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony Tsang, Richard Lai |
Verification Results for a Multimedia Protocol. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | France Cheong, Richard Lai |
A study of the burstiness of combined MPEG video and audio bitstreams. |
Computer Communications |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony Tsang, Richard Lai |
Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle. |
Softw., Pract. Exper. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun-Jen Huang, Richard Lai |
Deriving Complexity Information from a Formal Communication Protocol. |
Softw., Pract. Exper. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun-Jen Huang, Richard Lai |
On measuring the complexity of an estelle specification. |
Journal of Systems and Software |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai, X. Li |
Applying a new decomposition method to verify communication protocols. |
Journal of Systems and Software |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sun-Jen Huang, Richard Lai |
Some Maintainability Metrics for a Communication Protocol Specified in Estell. (PDF / PS) |
COMPSAC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
Computer Communications |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai |
Performance Results for the CSMA/CD Protocol Using GreatSPN. |
Journal of Systems and Software |
1997 |
DBLP BibTeX RDF |
|
| 1 | Richard Lai, X. Li |
Verification of the ISO ACSE protocol using Deductive Machine. |
Journal of Systems and Software |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai |
A Success Story of Verifying a Real Complex Protocol. |
Journal of Systems and Software |
1997 |
DBLP BibTeX RDF |
|
| 1 | Ajin Jirachiefpattana, Richard Lai |
EVEN: A software environment for Estelle specification verification. |
Journal of Systems and Software |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai |
An Experience in Using EDT to Process the ISO Transaction Processing Estelle Specification. |
Journal of Systems and Software |
1997 |
DBLP BibTeX RDF |
|
| 1 | Sun-Jen Huang, Richard Lai |
Estimating the size of an Estelle specification for a communication protocol. (PDF / PS) |
COMPSAC |
1997 |
DBLP DOI BibTeX RDF |
Estelle specification size estimation, software size models, formal communication protocol development, informal specification, formal specification |
| 1 | Richard Lai, Tony Tsang |
Time-Estelle: An Extended Estelle Capable of Expressing Multimedia QoS Parameters. |
ICMCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Richard Lai, M. C. Wong |
The ISO virtual terminal protocol: a semi-automatic implementation. |
Computer Communications |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai, A. Lo |
EASE: A Software Environment for Automatic Implementation of Application Protocol. |
Softw., Pract. Exper. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai |
Extending PROTEAN with the Partitioning Method. |
Australian Computer Journal |
1996 |
DBLP BibTeX RDF |
|
| 1 | Richard Lai, A. Lo |
Integrated Estelle and ASN.1 specification approach to automatic implementation of application protocol. |
Information & Software Technology |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai |
Using PROTEAN for Verifying a Complex Protocol - A Case Study |
Softw., Pract. Exper. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai |
On using PROMPT for the automatic implementation of the ISO ACSE protocol. |
Journal of Systems and Software |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai, Wilfred Leung |
Industrial and Academic Protocol Testing: the Gap and the Means of Convergence. |
Computer Networks and ISDN Systems |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai, A. Lo |
An Analysis of the ISO FTAM Basic File Protocol Specified in LOTOS. |
Australian Computer Journal |
1995 |
DBLP BibTeX RDF |
|
| 1 | Richard Lai, Ajin Jirachiefpattana |
Verification of ISO ACSE protocol specified in Estelle. |
Computer Communications |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajin Jirachiefpattana, Richard Lai |
Verification of the ISO ROSE protocol specified in Estelle. |
PSTV |
1994 |
DBLP BibTeX RDF |
|
| 1 | M. C. Wong, Richard Lai |
A Semi-Automatic Implementation of ISO Virtual Terminal Protocol. |
ULPAA |
1994 |
DBLP BibTeX RDF |
|
| 1 | Anthony Lo, Richard Lai |
Integrating Estelle and ASN.1 for Automatic Implementation. |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | X. Li, Richard Lai, Tharam S. Dillon |
A New Decomposition Method to Relieve the State Space Explosion Problem. |
ICCI |
1993 |
DBLP BibTeX RDF |
|
| 1 | X. Li, Richard Lai, Tharam S. Dillon |
Theory of Deductive Systems for Protocol Verification. |
ICCI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Richard Lai |
Teaching Protocol Engineering in Honours Year. |
CSEE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai, Ken R. Parker, Tharam S. Dillon |
On Using Protean To Verify ISO FTAM Protocol. |
CAV |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Lai, Tharam S. Dillon, Ken R. Parker |
Verification Results for ISO FTAM Basic Protocol. |
PSTV |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")