Anthony Chung

According to our database, Anthony Chung authored at least 21 papers between 1989 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

User-targeted Denial-of-Service Attacks in LTE Mobile Networks.

Rami Ghannam, Filipo Sharevski, Anthony Chung

Proceedings of the 14th International Conference on Wireless and Mobile Computing, 2018

2016

Handling malicious switches in software defined networks.

Rami Ghannam, Anthony Chung

Proceedings of the 2016 IEEE/IFIP Network Operations and Management Symposium, 2016

2011

On Testing of Implementation Correctness of Protocol Based Intrusion Detection Systems.

Anthony Chung

Proceedings of the 9th International Conference on Software Engineering Research, 2011

2008

Finding Narrow Input/Output (NIO) Sequences by Model Checking.

Tao Huang, Anthony Chung

Proceedings of the 6th ACIS International Conference on Software Engineering Research, 2008

2006

A Lightweight Executable Test Sequence Generation Method for Communication Protocols Modeled by EFSM.

Tao Huang, Anthony Chung

Int. J. Comput. Their Appl., 2006

2005

Two Approaches for the Improvement in Testability of Communication Protocols.

Anthony Chung, Tao Huang

Proceedings of the 4th Annual ACIS International Conference on Computer and Information Science (ICIS 2005), 2005

2003

An Experiment in the Generation of Executable Test Sequences for the Inres Protocol.

Anthony Chung, Tao Huang

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

An Effective Method for Executable Test Generation of EFSM Protocols.

Tao Huang, Anthony Chung

Proceedings of the 12th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2003

2001

On the Lengths of Protocol Conformance Test Sequences Using Minimal Input Set for UIO's.

Anthony Chung

Proceedings of the 14th International Conference on Computer Applications in Industry and Engineering, 2001

2000

On undetected faults in homogeneous methods for protocol testing.

Anthony Chung, Howard E. Motteler, Deepinder P. Sidhu

Proceedings of the ISCA 15th International Conference Computers and Their Applications, 2000

1999

A tool for simulating telecommunications networks and its application in networking courses.

Anthony Chung, Deepinder P. Sidhu

Proceedings of the Computers and Their Applications (CATA-99), 1999

1998

A formal description technique and an environment for protocol engineering.

Anthony Chung, Deepinder P. Sidhu

Proceedings of the Computers and Their Applications (CATA-98), 1998

1995

Undetected faults in protocol testing.

Howard E. Motteler, Anthony Chung, Deepinder P. Sidhu

IEEE Trans. Commun., 1995

1994

Probabilistic testing of OSI protocols.

Deepinder P. Sidhu, Anthony Chung, Chun-Shi Chang

IEEE Trans. Commun., 1994

1993

Guest Editorial.

Anthony Chung

J. High Speed Networks, 1993

Fault Coverage of UIO-based Methods for Protocol Testing.

Howard E. Motteler, Anthony Chung, Deepinder P. Sidhu

Proceedings of the Protocol Test Systems, 1993

1992

Applications of Sufficient Conditions for Efficient Protocol Test Generation.

Anthony Chung, Deepinder P. Sidhu

Proceedings of the Protocol Test Systems, V, 1992

1991

Experience with formal methods in protocol development.

Deepinder P. Sidhu, Anthony Chung, Thomas P. Blumer

Comput. Commun. Rev., 1991

1990

Experience with an Estelle development system.

Anthony Chung, Deepinder P. Sidhu

Proceedings of the Conference proceedings on Formal methods in software development, 1990

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 Formal Methods in Protocol Development.

Deepinder P. Sidhu, Anthony Chung

Proceedings of the Formal Description Techniques, 1989