Anthony Chung

22 papers B 2C 6Misc 3Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2018 B conf
User-targeted Denial-of-Service Attacks in LTE Mobile Networks.
WiMob
Rami Ghannam, Filipo Sharevski, Anthony Chung
2016 B conf
Handling malicious switches in software defined networks.
NOMS
Rami Ghannam, Anthony Chung
2011 C conf
On Testing of Implementation Correctness of Protocol Based Intrusion Detection Systems.
SERA
Anthony Chung
2008 C conf
Finding Narrow Input/Output (NIO) Sequences by Model Checking.
SERA
Tao Huang, Anthony Chung
2006 J jnl
A Lightweight Executable Test Sequence Generation Method for Communication Protocols Modeled by EFSM.
Int. J. Comput. Their Appl.
Tao Huang, Anthony Chung
2005 — conf
Two Approaches for the Improvement in Testability of Communication Protocols.
ACIS-ICIS
Anthony Chung, Tao Huang
2003 — conf
An Effective Method for Executable Test Generation of EFSM Protocols.
IASSE
Tao Huang, Anthony Chung
2003 C conf
An Experiment in the Generation of Executable Test Sequences for the Inres Protocol.
SNPD
Anthony Chung, Tao Huang
2001 C conf
On the Lengths of Protocol Conformance Test Sequences Using Minimal Input Set for UIO's.
CAINE
Anthony Chung
2001 C ed.
Proceedings of the 14th International Conference on Computer Applications in Industry and Engineering, November 27-29, 2001, Las Vegas, Nevada, USA
CAINE
Anthony Chung
2000 Misc conf
On undetected faults in homogeneous methods for protocol testing.
CATA
Anthony Chung, Howard E. Motteler, Deepinder P. Sidhu
1999 Misc conf
A tool for simulating telecommunications networks and its application in networking courses.
CATA
Anthony Chung, Deepinder P. Sidhu
1998 Misc conf
A formal description technique and an environment for protocol engineering.
CATA
Anthony Chung, Deepinder P. Sidhu
1995 J jnl
Undetected faults in protocol testing.
IEEE Trans. Commun.
Howard E. Motteler, Anthony Chung, Deepinder P. Sidhu
1994 J jnl
Probabilistic testing of OSI protocols.
IEEE Trans. Commun.
Deepinder P. Sidhu, Anthony Chung, Chun-Shi Chang
1993 — conf
Fault Coverage of UIO-based Methods for Protocol Testing.
Protocol Test Systems
Howard E. Motteler, Anthony Chung, Deepinder P. Sidhu
1993 J jnl
Guest Editorial.
J. High Speed Networks
Anthony Chung
1992 — conf
Applications of Sufficient Conditions for Efficient Protocol Test Generation.
Protocol Test Systems
Anthony Chung, Deepinder P. Sidhu
1991 J jnl
Experience with formal methods in protocol development.
Comput. Commun. Rev.
Deepinder P. Sidhu, Anthony Chung, Thomas P. Blumer
1990 — conf
Experience with an Estelle development system.
Formal Methods in Software Development
Anthony Chung, Deepinder P. Sidhu
1989 C conf
Experience with Formal Methods in Protocol Development.
FORTE
Deepinder P. Sidhu, Anthony Chung
1989 J jnl
On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines.
IEEE Trans. Software Eng.
Anthony Chung, Deepinder P. Sidhu