Experience with Formal Methods in Protocol Development. - Deepinder P. Sidhu; Anthony Chung (FORTE, 1989)

On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines. - Anthony Chung; Deepinder P. Sidhu (IEEE Trans. Software Eng., 1989)

Experience with an Estelle development system. - Anthony Chung; Deepinder P. Sidhu (Formal Methods in Software Development, 1990)

Experience with formal methods in protocol development. - Deepinder P. Sidhu; Anthony Chung; Thomas P. Blumer (Comput. Commun. Rev., 1991)

Applications of Sufficient Conditions for Efficient Protocol Test Generation. - Anthony Chung; Deepinder P. Sidhu (Protocol Test Systems, 1992)

Fault Coverage of UIO-based Methods for Protocol Testing. - Howard E. Motteler; Anthony Chung; Deepinder P. Sidhu (Protocol Test Systems, 1993)

Guest Editorial. - Anthony Chung (J. High Speed Networks, 1993)

Probabilistic testing of OSI protocols. - Deepinder P. Sidhu; Anthony Chung; Chun-Shi Chang 002 (IEEE Trans. Commun., 1994)

Undetected faults in protocol testing. - Howard E. Motteler; Anthony Chung; Deepinder P. Sidhu (IEEE Trans. Commun., 1995)

A formal description technique and an environment for protocol engineering. - Anthony Chung; Deepinder P. Sidhu (CATA, 1998)

A tool for simulating telecommunications networks and its application in networking courses. - Anthony Chung; Deepinder P. Sidhu (CATA, 1999)

On undetected faults in homogeneous methods for protocol testing. - Anthony Chung; Howard E. Motteler; Deepinder P. Sidhu (CATA, 2000)

On the Lengths of Protocol Conformance Test Sequences Using Minimal Input Set for UIO's. - Anthony Chung (CAINE, 2001)

An Effective Method for Executable Test Generation of EFSM Protocols. - Tao Huang 019; Anthony Chung (IASSE, 2003)

An Experiment in the Generation of Executable Test Sequences for the Inres Protocol. - Anthony Chung; Tao Huang 019 (SNPD, 2003)

Two Approaches for the Improvement in Testability of Communication Protocols. - Anthony Chung; Tao Huang 019 (ACIS-ICIS, 2005)

A Lightweight Executable Test Sequence Generation Method for Communication Protocols Modeled by EFSM. - Tao Huang 019; Anthony Chung (Int. J. Comput. Their Appl., 2006)

Finding Narrow Input/Output (NIO) Sequences by Model Checking. - Tao Huang 019; Anthony Chung (SERA, 2008)

On Testing of Implementation Correctness of Protocol Based Intrusion Detection Systems. - Anthony Chung (SERA, 2011)

Handling malicious switches in software defined networks. - Rami Ghannam; Anthony Chung (NOMS, 2016)

User-targeted Denial-of-Service Attacks in LTE Mobile Networks. - Rami Ghannam; Filipo Sharevski; Anthony Chung (WiMob, 2018)