We stand with Ukraine

We stand with Ukraine

Richard Lai

Affiliations:

La Trobe University, Department of Computer Science and Information Technology, Melbourne, Australia

According to our database¹, Richard Lai authored at least 99 papers between 1989 and 2021.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Awards

IEEE Fellow

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

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

on researchgate.net
on scholars.latrobe.edu.au

On csauthors.net:

Bibliography

2021

A method of assessing rework for implementing software requirements changes.

[BibT_eX]

[DOI]

Shalinka Jayatilleke

,

Comput. Sci. Inf. Syst., 2021

2019

A Theoretical Validation of Component Point.

[BibT_eX]

[DOI]

Thareendhra Wijayasiriwardhane

,

J. Softw., 2019

A Method for Measuring the Constraint Complexity of Components in Automotive Embedded Software Systems.

[BibT_eX]

[DOI]

,

Int. J. Softw. Eng. Knowl. Eng., 2019

2018

A method of requirements change analysis.

[BibT_eX]

[DOI]

Shalinka Jayatilleke

,

,

Requir. Eng., 2018

A Method of Extracting Organizational Components for Aligning Information Technology with Business.

[BibT_eX]

[DOI]

,

J. Softw., 2018

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

[BibT_eX]

[DOI]

,

J. Softw., 2018

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

[BibT_eX]

[DOI]

,

J. Softw., 2018

A systematic review of requirements change management.

[BibT_eX]

[DOI]

Shalinka Jayatilleke

,

Inf. Softw. Technol., 2018

Managing software requirements changes through change specification and classification.

[BibT_eX]

[DOI]

Shalinka Jayatilleke

,

,

Comput. Sci. Inf. Syst., 2018

2017

A method of requirements elicitation and analysis for Global Software Development.

[BibT_eX]

[DOI]

,

J. Softw. Evol. Process., 2017

A method of software requirements specification and validation for global software development.

[BibT_eX]

[DOI]

,

Requir. Eng., 2017

Effort estimation in global software development - a systematic review.

[BibT_eX]

[DOI]

Dilani Wickramaarachchi

,

Comput. Sci. Inf. Syst., 2017

2016

A method of requirements change management for global software development.

[BibT_eX]

[DOI]

,

Inf. Softw. Technol., 2016

2014

A Secure Multi-Layer e-Document Method for Improving e-Government Processes.

[BibT_eX]

[DOI]

,

J. Univers. Comput. Sci., 2014

2013

A Systematic Review of Business and Information Technology Alignment.

[BibT_eX]

[DOI]

,

ACM Trans. Manag. Inf. Syst., 2013

A Proposed Model for Business Sustainability Based on Business and Information Technology.

[BibT_eX]

[DOI]

,

,

Timothy Marjoribanks

J. Softw., 2013

Requirements engineering and Business/IT alignment: Lessons Learned.

[BibT_eX]

[DOI]

,

J. Softw., 2013

RE-UML: A Component-Based System Requirements Analysis Language.

[BibT_eX]

[DOI]

,

Comput. J., 2013

A Method of Specifying and Classifying Requirements Change.

[BibT_eX]

[DOI]

Shalinka Jayatilleke

,

Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

A Method for Selecting a Model to Estimate the Reliability of a Software Component in a Dynamic System.

[BibT_eX]

[DOI]

,

,

Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2012

A Detailed Study of NHPP Software Reliability Models (Invited Paper).

[BibT_eX]

[DOI]

,

J. Softw., 2012

2011

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

[BibT_eX]

[DOI]

,

,

J. Softw., 2011

A Study of When to Release a Software Product from the Perspective of Software Reliability Models.

[BibT_eX]

[DOI]

,

,

,

J. Softw., 2011

Special issue on the best papers of QSIC 2009.

[BibT_eX]

[DOI]

,

J. Syst. Softw., 2011

Modeling Business Goal for Business/it Alignment Using Requirements Engineering.

[BibT_eX]

[DOI]

,

J. Comput. Inf. Syst., 2011

Effort estimation of component-based software development - a survey.

[BibT_eX]

[DOI]

Thareendhra Wijayasiriwardhane

,

,

IET Softw., 2011

When to stop testing: A study from the perspective of software reliability models.

[BibT_eX]

[DOI]

,

,

IET Softw., 2011

Managing Security Requirements: Towards Better Alignment Between Information Systems And Business.

[BibT_eX]

[DOI]

,

Proceedings of the Pacific Asia Conference on Information Systems, 2011

2010

Component Point: A system-level size measure for Component-Based Software Systems.

[BibT_eX]

[DOI]

Thareendhra Wijayasiriwardhane

,

J. Syst. Softw., 2010

Analysing the Performance of a Resource Reservation Protocol Specification Using a GSPN Method.

[BibT_eX]

[DOI]

,

Int. J. Softw. Eng. Knowl. Eng., 2010

A Requirements Engineering Approach to Improving IT-business Alignment.

[BibT_eX]

[DOI]

,

Proceedings of the Information Systems Development, 2010

2009

Connection admission control of MPEG streams in ATM network using hierarchical fuzzy logic controller.

[BibT_eX]

[DOI]

,

Eng. Appl. Artif. Intell., 2009

Building Automotive Software Component within the AutoSAR Environment - A Case Study.

[BibT_eX]

[DOI]

,

,

Proceedings of the Ninth International Conference on Quality Software, 2009

RE-UML: An Extension to UML for Specifying Component-Based Software System.

[BibT_eX]

[DOI]

,

Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008

A complexity measure for UML component-based system specification.

[BibT_eX]

[DOI]

,

Softw. Pract. Exp., 2008

A Method for Measuring the Size of a Component-Based System Specification.

[BibT_eX]

[DOI]

Thareendhra Wijayasiriwardhane

,

Proceedings of the Eighth International Conference on Quality Software, 2008

2007

Simplifying the automatic design of a fuzzy logic controller using evolutionary programming.

[BibT_eX]

[DOI]

,

Soft Comput., 2007

Timed verification of the reliable adaptive multicast protocol.

[BibT_eX]

[DOI]

,

J. Syst. Softw., 2007

Opportunistic prioritised clustering framework for improving OODBMS performance.

[BibT_eX]

[DOI]

,

,

,

Stephen M. Blackburn

J. Syst. Softw., 2007

The Design of a Fuzzy Logic Controller of an ATM Switch and its Simulation.

[BibT_eX]

[DOI]

,

,

,

,

,

J. Inf. Sci. Eng., 2007

Survey of component-based software development.

[BibT_eX]

[DOI]

,

,

IET Softw., 2007

Designing a hierarchical fuzzy logic controller using the differential evolution approach.

[BibT_eX]

[DOI]

,

Appl. Soft Comput., 2007

The Design of a Multimedia Protocol Analysis Software Environment.

[BibT_eX]

[DOI]

,

,

Proceedings of the Seventh International Conference on Computer and Information Technology (CIT 2007), 2007

Modelling and Simulating IPv6 Mobility.

[BibT_eX]

[DOI]

,

,

Proceedings of the Seventh International Conference on Computer and Information Technology (CIT 2007), 2007

2006

A method for analysing multimedia protocol performance.

[BibT_eX]

[DOI]

,

,

,

,

,

J. Syst. Softw., 2006

A method for assigning a value to a communication protocol test case.

[BibT_eX]

[DOI]

,

Inf. Softw. Technol., 2006

On using cache conscious clustering for improving OODBMS performance.

[BibT_eX]

[DOI]

,

,

Inf. Softw. Technol., 2006

Analyzing and Extending MUMCUT for Fault-based Testing of General Boolean Expressions.

[BibT_eX]

[DOI]

,

,

,

,

Tsong Yueh Chen

Proceedings of the Sixth International Conference on Computer and Information Technology (CIT 2006), 2006

2005

Adaptive multimedia computing.

[BibT_eX]

[DOI]

,

J. Syst. Softw., 2005

A survey of component based system quality assurance and assessment.

[BibT_eX]

[DOI]

,

,

,

,

Seok Cheon Park

,

Inf. Softw. Technol., 2005

Measuring the Complexity of a UML Component Specification.

[BibT_eX]

[DOI]

,

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Tuning Fuzzy Logic Controllers using Control Tables.

[BibT_eX]

,

Proceedings of the IASTED International Conference on Computational Intelligence, 2005

2003

A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation.

[BibT_eX]

[DOI]

,

IEEE Trans. Software Eng., 2003

Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification.

[BibT_eX]

[DOI]

,

IEEE Trans. Software Eng., 2003

2002

PSAMS: a communication protocol specification assessment and measurement system.

[BibT_eX]

[DOI]

,

Softw. Pract. Exp., 2002

A survey of communication protocol testing.

[BibT_eX]

[DOI]

J. Syst. Softw., 2002

2000

Constraining the optimization of a fuzzy logic controller using an enhanced genetic algorithm.

[BibT_eX]

[DOI]

,

IEEE Trans. Syst. Man Cybern. Part B, 2000

Editorial.

[BibT_eX]

[DOI]

Comput. Commun., 2000

1999

An automatic implementation of the ISO FTAM protocol based on an integrated specification of Estelle and ASN.1.

[BibT_eX]

[DOI]

Anthony C. C. Lo

,

J. Syst. Softw., 1999

Towards more industrially relevant academic researches into testing of communicating systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 1999

QoS specification and mapping for distributed multimedia systems: A survey of issues.

[BibT_eX]

[DOI]

,

J. Syst. Softw., 1999

Extending EASE with new ASN.1 encoding rules.

[BibT_eX]

[DOI]

,

Inf. Softw. Technol., 1999

Verification Results for a Multimedia Protocol.

[BibT_eX]

[DOI]

,

Proceedings of the Advances in Computing Science, 1999

1998

Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle.

[BibT_eX]

[DOI]

,

Softw. Pract. Exp., 1998

Deriving Complexity Information from a Formal Communication Protocol.

[BibT_eX]

[DOI]

,

Softw. Pract. Exp., 1998

Applying a new decomposition method to verify communication protocols.

[BibT_eX]

[DOI]

,

J. Syst. Softw., 1998

On measuring the complexity of an estelle specification.

[BibT_eX]

[DOI]

,

J. Syst. Softw., 1998

A study of the burstiness of combined MPEG video and audio bitstreams.

[BibT_eX]

[DOI]

,

Comput. Commun., 1998

Some Maintainability Metrics for a Communication Protocol Specified in Estell.

[BibT_eX]

[DOI]

,

Proceedings of the COMPSAC '98, 1998

1997

Verification of the ISO ACSE protocol using Deductive Machine.

[BibT_eX]

[DOI]

,

J. Syst. Softw., 1997

From Estelle to Erlang.

[BibT_eX]

[DOI]

J. Syst. Softw., 1997

An Experience in Using EDT to Process the ISO Transaction Processing Estelle Specification.

[BibT_eX]

[DOI]

J. Syst. Softw., 1997

A Success Story of Verifying a Real Complex Protocol.

[BibT_eX]

[DOI]

J. Syst. Softw., 1997

Performance Results for the CSMA/CD Protocol Using GreatSPN.

[BibT_eX]

[DOI]

J. Syst. Softw., 1997

EVEN: A software environment for Estelle specification verification.

[BibT_eX]

[DOI]

Ajin Jirachiefpattana

,

J. Syst. Softw., 1997

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

[BibT_eX]

[DOI]

Ajin Jirachiefpattana

,

,

Tharam S. Dillon

,

Comput. Commun., 1997

Time-Estelle: An Extended Estelle Capable of Expressing Multimedia QoS Parameters.

[BibT_eX]

[DOI]

,

Proceedings of the International Conference on Multimedia Computing and Systems, 1997

Estimating the size of an Estelle specification for a communication protocol.

[BibT_eX]

[DOI]

,

Proceedings of the 21st International Computer Software and Applications Conference (COMPSAC '97), 1997

1996

EASE: A Software Environment for Automatic Implementation of Application Protocol.

[BibT_eX]

[DOI]

,

Anthony C. C. Lo

Softw. Pract. Exp., 1996

Integrated Estelle and ASN.1 specification approach to automatic implementation of application protocol.

[BibT_eX]

[DOI]

,

Anthony C. C. Lo

Inf. Softw. Technol., 1996

The ISO virtual terminal protocol: a semi-automatic implementation.

[BibT_eX]

[DOI]

,

Comput. Commun., 1996

Extending PROTEAN with the Partitioning Method.

[BibT_eX]

Aust. Comput. J., 1996

1995

Using PROTEAN for Verifying a Complex Protocol - A Case Study

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1995

Simulation and Verification of Protocol Using Deductive Machine.

[BibT_eX]

[DOI]

,

Simul., 1995

On using PROMPT for the automatic implementation of the ISO ACSE protocol.

[BibT_eX]

[DOI]

J. Syst. Softw., 1995

Formal specification and verification of a procedural protocol: case study.

[BibT_eX]

[DOI]

Softw. Eng. J., 1995

Industrial and Academic Protocol Testing: the Gap and the Means of Convergence.

[BibT_eX]

[DOI]

,

Comput. Networks ISDN Syst., 1995

An Analysis of the ISO FTAM Basic File Protocol Specified in LOTOS.

[BibT_eX]

,

Anthony C. C. Lo

Aust. Comput. J., 1995

A rapid protocol prototyping development system.

[BibT_eX]

[DOI]

Ajin Jirachiefpattana

,

Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP '95), 1995

1994

Verification of ISO ACSE protocol specified in Estelle.

[BibT_eX]

[DOI]

,

Ajin Jirachiefpattana

Comput. Commun., 1994

A Semi-Automatic Implementation of ISO Virtual Terminal Protocol.

[BibT_eX]

,

Proceedings of the Upper Layer Protocols, 1994

Verification of the ISO ROSE protocol specified in Estelle.

[BibT_eX]

Ajin Jirachiefpattana

,

Proceedings of the Protocol Specification, 1994

1993

Verifying Estelle specifications: numerical Petri nets approach.

[BibT_eX]

[DOI]

Ajin Jirachiefpattana

,

Proceedings of the 1993 International Conference on Network Protocols, 1993

A New Decomposition Method to Relieve the State Space Explosion Problem.

[BibT_eX]

,

,

Tharam S. Dillon

Proceedings of the Computing and Information, 1993

Integrating Estelle and ASN.1 for Automatic Implementation.

[BibT_eX]

Anthony C. C. Lo

,

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1992

Theory of Deductive Systems for Protocol Verification.

[BibT_eX]

,

,

Tharam S. Dillon

Proceedings of the Computing and Information, 1992

Teaching Protocol Engineering in Honours Year.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Education, SEI Conference, 1992, Proceedings, 1992

1990

On Using Protean To Verify ISO FTAM Protocol.

[BibT_eX]

[DOI]

,

,

Tharam S. Dillon

Proceedings of the Computer Aided Verification, 2nd International Workshop, 1990

1989

Verification Results for ISO FTAM Basic Protocol.

[BibT_eX]

,

Tharam S. Dillon

,

Proceedings of the Protocol Specification, 1989

Loading...