The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Richard Lai: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tony Tsang, Richard Lai
    Verification Results for a Multimedia Protocol. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1999, pp:390-392 [Conf]
  2. Richard Lai, Ken R. Parker, Tharam S. Dillon
    On Using Protean To Verify ISO FTAM Protocol. [Citation Graph (0, 0)][DBLP]
    CAV, 1990, pp:126-135 [Conf]
  3. Sun-Jen Huang, Richard Lai
    Estimating the size of an Estelle specification for a communication protocol. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1997, pp:565-568 [Conf]
  4. Sun-Jen Huang, Richard Lai
    Some Maintainability Metrics for a Communication Protocol Specified in Estell. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1998, pp:218-227 [Conf]
  5. Richard Lai
    Teaching Protocol Engineering in Honours Year. [Citation Graph (0, 0)][DBLP]
    CSEE, 1992, pp:143-156 [Conf]
  6. Anthony Lo, Richard Lai
    Integrating Estelle and ASN.1 for Automatic Implementation. [Citation Graph (0, 0)][DBLP]
    FORTE, 1993, pp:155-169 [Conf]
  7. France Cheong, Richard Lai
    Tuning Fuzzy Logic Controllers using Control Tables. [Citation Graph (0, 0)][DBLP]
    Computational Intelligence, 2005, pp:19-24 [Conf]
  8. X. Li, Richard Lai, Tharam S. Dillon
    Theory of Deductive Systems for Protocol Verification. [Citation Graph (0, 0)][DBLP]
    ICCI, 1992, pp:422-425 [Conf]
  9. X. Li, Richard Lai, Tharam S. Dillon
    A New Decomposition Method to Relieve the State Space Explosion Problem. [Citation Graph (0, 0)][DBLP]
    ICCI, 1993, pp:150-154 [Conf]
  10. Richard Lai, Tony Tsang
    Time-Estelle: An Extended Estelle Capable of Expressing Multimedia QoS Parameters. [Citation Graph (0, 0)][DBLP]
    ICMCS, 1997, pp:311-318 [Conf]
  11. Ajin Jirachiefpattana, Richard Lai
    Verification of the ISO ROSE protocol specified in Estelle. [Citation Graph (0, 0)][DBLP]
    PSTV, 1994, pp:87-102 [Conf]
  12. Richard Lai, Tharam S. Dillon, Ken R. Parker
    Verification Results for ISO FTAM Basic Protocol. [Citation Graph (0, 0)][DBLP]
    PSTV, 1989, pp:223-234 [Conf]
  13. Sajjad Mahmood, Richard Lai
    Measuring the Complexity of a UML Component Specification. [Citation Graph (0, 0)][DBLP]
    QSIC, 2005, pp:150-160 [Conf]
  14. M. C. Wong, Richard Lai
    A Semi-Automatic Implementation of ISO Virtual Terminal Protocol. [Citation Graph (0, 0)][DBLP]
    ULPAA, 1994, pp:183-196 [Conf]
  15. Richard Lai
    Extending PROTEAN with the Partitioning Method. [Citation Graph (0, 0)][DBLP]
    Australian Computer Journal, 1996, v:28, n:4, pp:121-127 [Journal]
  16. Richard Lai, A. Lo
    An Analysis of the ISO FTAM Basic File Protocol Specified in LOTOS. [Citation Graph (0, 0)][DBLP]
    Australian Computer Journal, 1995, v:27, n:1, pp:1-8 [Journal]
  17. France Cheong, Richard Lai
    Designing a hierarchical fuzzy logic controller using the differential evolution approach. [Citation Graph (0, 0)][DBLP]
    Appl. Soft Comput., 2007, v:7, n:2, pp:481-491 [Journal]
  18. Richard Lai, Wilfred Leung
    Industrial and Academic Protocol Testing: the Gap and the Means of Convergence. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1995, v:27, n:4, pp:537-547 [Journal]
  19. France Cheong, Richard Lai
    A study of the burstiness of combined MPEG video and audio bitstreams. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1998, v:21, n:10, pp:880-888 [Journal]
  20. Richard Lai
    Editorial. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 2000, v:23, n:12, pp:1087-1088 [Journal]
  21. 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. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1997, v:20, n:1, pp:1-10 [Journal]
  22. Richard Lai, Ajin Jirachiefpattana
    Verification of ISO ACSE protocol specified in Estelle. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1994, v:17, n:3, pp:172-188 [Journal]
  23. Richard Lai, M. C. Wong
    The ISO virtual terminal protocol: a semi-automatic implementation. [Citation Graph (0, 0)][DBLP]
    Computer Communications, 1996, v:19, n:12, pp:990-1000 [Journal]
  24. Richard Lai, France Cheong
    Extending EASE with new ASN.1 encoding rules. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:11-12, pp:823-837 [Journal]
  25. Richard Lai, Yong-Soo Kim
    A method for assigning a value to a communication protocol test case. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2006, v:48, n:8, pp:645-659 [Journal]
  26. 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. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2005, v:47, n:10, pp:693-707 [Journal]
  27. Zhen He, Richard Lai, Alonso Marquez
    On using cache conscious clustering for improving OODBMS performance. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2006, v:48, n:11, pp:1073-1082 [Journal]
  28. Richard Lai, A. Lo
    Integrated Estelle and ASN.1 specification approach to automatic implementation of application protocol. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1996, v:38, n:12, pp:757-773 [Journal]
  29. France Cheong, Richard Lai
    QoS specification and mapping for distributed multimedia systems: A survey of issues. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1999, v:45, n:2, pp:127-139 [Journal]
  30. Steven Guan, Richard Lai
    Adaptive multimedia computing. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2005, v:75, n:3, pp:235-236 [Journal]
  31. Sun-Jen Huang, Richard Lai
    On measuring the complexity of an estelle specification. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1998, v:40, n:2, pp:165-181 [Journal]
  32. Richard Lai
    A survey of communication protocol testing. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2002, v:62, n:1, pp:21-46 [Journal]
  33. Ajin Jirachiefpattana, Richard Lai
    EVEN: A software environment for Estelle specification verification. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1997, v:39, n:2, pp:119-143 [Journal]
  34. Richard Lai
    On using PROMPT for the automatic implementation of the ISO ACSE protocol. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1995, v:28, n:2, pp:143-155 [Journal]
  35. Richard Lai
    Performance Results for the CSMA/CD Protocol Using GreatSPN. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1997, v:37, n:1, pp:75-90 [Journal]
  36. Richard Lai
    A Success Story of Verifying a Real Complex Protocol. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1997, v:36, n:1, pp:69-83 [Journal]
  37. Richard Lai
    An Experience in Using EDT to Process the ISO Transaction Processing Estelle Specification. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1997, v:36, n:2, pp:137-145 [Journal]
  38. Richard Lai
    Towards more industrially relevant academic researches into testing of communicating systems. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1999, v:47, n:2-3, pp:89-96 [Journal]
  39. Richard Lai, X. Li
    Verification of the ISO ACSE protocol using Deductive Machine. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1997, v:39, n:3, pp:223-247 [Journal]
  40. Richard Lai, X. Li
    Applying a new decomposition method to verify communication protocols. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1998, v:40, n:1, pp:29-50 [Journal]
  41. Richard Lai, Tony Tsang, Yong-Soo Kim, Dae Hoon Hwang, Chul Soo Lee, Yoon Kyung Han
    A method for analysing multimedia protocol performance. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2006, v:79, n:4, pp:454-465 [Journal]
  42. A. Lo, Richard Lai
    An automatic implementation of the ISO FTAM protocol based on an integrated specification of Estelle and ASN.1. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1999, v:48, n:2, pp:119-137 [Journal]
  43. Zhen He, Richard Lai, Alonso Marquez, Stephen Blackburn
    Opportunistic prioritised clustering framework for improving OODBMS performance. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2007, v:80, n:3, pp:371-387 [Journal]
  44. Richard Lai, Tony Tsang
    Timed verification of the reliable adaptive multicast protocol. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2007, v:80, n:2, pp:224-239 [Journal]
  45. Richard Lai, A. Lo
    EASE: A Software Environment for Automatic Implementation of Application Protocol. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1996, v:26, n:1, pp:83-103 [Journal]
  46. Richard Lai
    Using PROTEAN for Verifying a Complex Protocol - A Case Study [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1995, v:25, n:9, pp:1021-1044 [Journal]
  47. Sun-Jen Huang, Richard Lai
    Deriving Complexity Information from a Formal Communication Protocol. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1998, v:28, n:14, pp:1465-1491 [Journal]
  48. Sun-Jen Huang, Richard Lai
    PSAMS: a communication protocol specification assessment and measurement system. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2002, v:32, n:12, pp:1129-1154 [Journal]
  49. Tony Tsang, Richard Lai
    Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1998, v:28, n:11, pp:1185-1211 [Journal]
  50. Sun-Jen Huang, Richard Lai
    Measuring the Maintainability of a Communication Protocol Based on Its Formal Specification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:4, pp:327-344 [Journal]
  51. Richard Lai, Sun-Jen Huang
    A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:1, pp:46-62 [Journal]
  52. France Cheong, Richard Lai
    Constraining the optimization of a fuzzy logic controller using an enhanced genetic algorithm. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part B, 2000, v:30, n:1, pp:31-46 [Journal]
  53. 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. [Citation Graph (0, 0)][DBLP]
    J. Inf. Sci. Eng., 2007, v:23, n:3, pp:743-757 [Journal]

  54. The Design of a Multimedia Protocol Analysis Software Environment. [Citation Graph (, )][DBLP]


  55. Modelling and Simulating IPv6 Mobility. [Citation Graph (, )][DBLP]


  56. RE-UML: An Extension to UML for Specifying Component-Based Software System. [Citation Graph (, )][DBLP]


  57. A Method for Measuring the Size of a Component-Based System Specification. [Citation Graph (, )][DBLP]


  58. Building Automotive Software Component within the AutoSAR Environment - A Case Study. [Citation Graph (, )][DBLP]


Search in 0.028secs, Finished in 0.032secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002