The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Anthony Chung: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Anthony Chung, Tao Huang
    Two Approaches for the Improvement in Testability of Communication Protocols. [Citation Graph (0, 0)][DBLP]
    ACIS-ICIS, 2005, pp:562-565 [Conf]
  2. Anthony Chung
    On the Lengths of Protocol Conformance Test Sequences Using Minimal Input Set for UIO's. [Citation Graph (0, 0)][DBLP]
    CAINE, 2001, pp:125-129 [Conf]
  3. Anthony Chung, Howard E. Motteler, Deepinder P. Sidhu
    On undetected faults in homogeneous methods for protocol testing. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 2000, pp:158-164 [Conf]
  4. Deepinder P. Sidhu, Anthony Chung
    Experience with Formal Methods in Protocol Development. [Citation Graph (0, 0)][DBLP]
    FORTE, 1989, pp:437-453 [Conf]
  5. Tao Huang, Anthony Chung
    An Effective Method for Executable Test Generation of EFSM Protocols. [Citation Graph (0, 0)][DBLP]
    IASSE, 2003, pp:206-211 [Conf]
  6. Anthony Chung, Deepinder P. Sidhu
    Applications of Sufficient Conditions for Efficient Protocol Test Generation. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1992, pp:219-228 [Conf]
  7. Howard E. Motteler, Anthony Chung, Deepinder P. Sidhu
    Fault Coverage of UIO-based Methods for Protocol Testing. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:21-34 [Conf]
  8. Anthony Chung, Tao Huang
    An Experiment in the Generation of Executable Test Sequences for the Inres Protocol. [Citation Graph (0, 0)][DBLP]
    SNPD, 2003, pp:234-241 [Conf]
  9. Anthony Chung, Deepinder P. Sidhu
    On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:11, pp:1491-1494 [Journal]
  10. Anthony Chung, Deepinder P. Sidhu
    A tool for simulating telecommunications networks and its application in networking courses. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 1999, pp:338-341 [Conf]
  11. Anthony Chung, Deepinder P. Sidhu
    A formal description technique and an environment for protocol engineering. [Citation Graph (0, 0)][DBLP]
    Computers and Their Applications, 1998, pp:131-135 [Conf]

  12. Finding Narrow Input/Output (NIO) Sequences by Model Checking. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
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