default search action
Anthony Chung
Person information
- affiliation: DePaul University, College of Computing and Digital Media, Chicago, IL, USA
- affiliation: University of Maryland Baltimore County, Department of Computer Science, Baltimore, MD, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
- [c15]Rami Ghannam, Filipo Sharevski
, Anthony Chung:
User-targeted Denial-of-Service Attacks in LTE Mobile Networks. WiMob 2018: 1-8 - 2016
- [c14]Rami Ghannam, Anthony Chung:
Handling malicious switches in software defined networks. NOMS 2016: 1245-1248 - 2011
- [c13]Anthony Chung:
On Testing of Implementation Correctness of Protocol Based Intrusion Detection Systems. SERA 2011: 171-174
2000 – 2009
- 2008
- [c12]Tao Huang, Anthony Chung:
Finding Narrow Input/Output (NIO) Sequences by Model Checking. SERA 2008: 283-289 - 2006
- [j6]Tao Huang, Anthony Chung:
A Lightweight Executable Test Sequence Generation Method for Communication Protocols Modeled by EFSM. Int. J. Comput. Their Appl. 13(2): 60-72 (2006) - 2005
- [c11]Anthony Chung, Tao Huang:
Two Approaches for the Improvement in Testability of Communication Protocols. ACIS-ICIS 2005: 562-565 - 2003
- [c10]Tao Huang, Anthony Chung:
An Effective Method for Executable Test Generation of EFSM Protocols. IASSE 2003: 206-211 - [c9]Anthony Chung, Tao Huang:
An Experiment in the Generation of Executable Test Sequences for the Inres Protocol. SNPD 2003: 234-241 - 2001
- [c8]Anthony Chung:
On the Lengths of Protocol Conformance Test Sequences Using Minimal Input Set for UIO's. CAINE 2001: 125-129 - [e1]Anthony Chung:
Proceedings of the 14th International Conference on Computer Applications in Industry and Engineering, November 27-29, 2001, Las Vegas, Nevada, USA. ISCA 2001, ISBN 1-880843-40-4 [contents] - 2000
- [c7]Anthony Chung, Howard E. Motteler, Deepinder P. Sidhu:
On undetected faults in homogeneous methods for protocol testing. CATA 2000: 158-164
1990 – 1999
- 1999
- [c6]Anthony Chung, Deepinder P. Sidhu:
A tool for simulating telecommunications networks and its application in networking courses. CATA 1999: 338-341 - 1998
- [c5]Anthony Chung, Deepinder P. Sidhu:
A formal description technique and an environment for protocol engineering. CATA 1998: 131-135 - 1995
- [j5]Howard E. Motteler, Anthony Chung, Deepinder P. Sidhu:
Undetected faults in protocol testing. IEEE Trans. Commun. 43(8): 2289-2297 (1995) - 1994
- [j4]Deepinder P. Sidhu, Anthony Chung, Chun-Shi Chang:
Probabilistic testing of OSI protocols. IEEE Trans. Commun. 42(7): 2432-2440 (1994) - 1993
- [j3]Anthony Chung:
Guest Editorial. J. High Speed Networks 2(3): 169 (1993) - [c4]Howard E. Motteler, Anthony Chung, Deepinder P. Sidhu:
Fault Coverage of UIO-based Methods for Protocol Testing. Protocol Test Systems 1993: 21-34 - 1992
- [c3]Anthony Chung, Deepinder P. Sidhu:
Applications of Sufficient Conditions for Efficient Protocol Test Generation. Protocol Test Systems 1992: 219-228 - 1991
- [j2]Deepinder P. Sidhu, Anthony Chung, Thomas P. Blumer:
Experience with formal methods in protocol development. Comput. Commun. Rev. 21(2): 81-101 (1991) - 1990
- [c2]Anthony Chung, Deepinder P. Sidhu:
Experience with an Estelle development system. Formal Methods in Software Development 1990: 8-17
1980 – 1989
- 1989
- [j1]Anthony Chung, Deepinder P. Sidhu:
On Conditions for Defining a Closed Cover to Verify Progress for Communicating Finite State Machines. IEEE Trans. Software Eng. 15(11): 1491-1494 (1989) - [c1]Deepinder P. Sidhu, Anthony Chung:
Experience with Formal Methods in Protocol Development. FORTE 1989: 437-453
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: