- A maze problem
- D. Brand & P. Zafiropulo, "On Communicating Finite-State Machines"
Journal of the ACM, Apr. 1983.
- P. Zafiropulo, C. H. West, H. Rudin, D. D. Cowan, & D. Brand, " Towards Analyzing and Synthesizing Protocols",
IEEE Trans. on Comm. Apr. 1980.
- D. S., "Why Gigabit Internet?", IEEE spectrum, Sep. 1997. (Typed PS)
- Tat Y. Choi & Raymond E. Miller, "Protocol Analysis and Synthesis by Structured Partitions ",
Computer Networks and ISDN Systems 11 (1986) pp.367-781
- Richard Comerford, "The Internet", IEEE spectrum, Jan. 2000. (link, pdf)
- Amitava Dutta-Roy "The cost of quality in Internet-style networks", IEEE spectrum, Sep. 2000. (link, pdf)
- Vinton Cerf, "Beyond the post-PC Internet", Comm. of the ACM, Sep. 2001. (link, pdf)
- Leonard Kleinrock "Breaking Loose", Comm. of the ACM, Sep. 2001. (pdf)
- Lada A. Adamic & Bernardo A. Huberman, "The Web's Hidden Order", Comm. of the ACM, Sep. 2001. (pdf)
- Mark Weiser, "Whatever Happened to the Next-Generation Internet?", Comm. of the ACM, Sep. 2001. (pdf)
- M.G. Gouda & Ji-Yun Han, "Protocol Validation by Fair Progress State Exploration",
Computer Networks and ISDN Systems 9 (1985), pp.353-361
- M.G. Gouda & Y. T. Yu, "Protocol Validation by Maximal Progress State Exploration",
IEEE Trans. on Comm. Jan. 1984, pp.94-97
- Gabriel Leen & Donal Heffernan, "Expanding Automotive Electronic Systems",
IEEE Spectrum Jan. 2002, pp.88-93 (pdf)
- Raymond E. Miller, "The construction of Self-synchronizing finite state protocols",
Distributed Computing(1987) 2 pp.104-112
- M. G. gouda, & Y. T. Yu, "Synthesis of Communicating Finite-State Machines with Guaranteed Progress",
IEEE Trans. on Comm. July 1984. pp.779-788
- Homework #1 (X-on/X-ff protocol example)
- William S. Marcus et al, "Protocol Boosters: Applying Programmability to Network Infrastructures",
IEEE Comm. Mag. Oct. 1998. pp.79-83
- G. M. Lundy & Raymond E. Miller, "Specification and analysis of a data trasfer protocol using systems of communicating machines",
Distrib Comput (1991) 5:145-157
- Kenneth L. Calvert & Simon S. Lam, "Deriving a Protocol Converter: a Top-Down Method",
- Ming T. Liu, " Protocol Conversion", Proc. of Intl. Computer Symposium, 1990
- Raymond E. Miller & Azfar Ullah Chaudhry,
"Estimating protocol performance using a formal specification model",
Int. J. Commun. Syst. 12, 325-347 (1999)
- G.M. Lundy & Raymond E. Miller,
"Analyzing a CSMA/CD Protocol Through a Systems of Communicating Machines Specification",
IEEE Trans. on Comm. Vol. 41, No. 3, Mar. 1993.
- G.M. Lundy & I.F. Akyildiz,
"Specification and Analysis of the FDDI MAC Protocol using Systems of Communicating Machines",
- Upkar Varshney, Andy Snow, Matt McGivern, & Christi Howard,
"Voice Over IP", Comm. of the ACM, Jan. 2002
- James L. Peerson, "Petri Nets", Computing Surveys, Sep. 1977
- Raymond E. Miller, "Graph Models of Parallel Computation", 1980
- Homework #2 : represent a token ring protocol using SCM model
- A Simple Programming Language for Protocols, note 96-124
- G.M. Brown, M.G. Gouda, R.E. Miller,
"Block Acknowledgement: Redesigning the Window Protocol",
IEEE Trans. on Comm. Vol. 39, No.4, Apr. 1991.
- M.G. Gouda and Nicholas J. Multari,
"Stablizing Communication Protocols",
IEEE Trans. on Computer. Vol. 40, No. 4, Apr. 1991.
- Yehuda Afek, Geoffrey M. Brown,
"Self-Stablilization of the Alternating-Bit Protocol",
- Seepinder P. Sidhu, "Protocol Testing: The First Ten Years, The Next Ten Years",
- Raymond E. Miller and Sanjoy Paul,
"On the Generation of Minimal-Length Conformance Tests for Communication Protocol",
IEEE Trans. on Networking, Vol. 1, No. 1, Feb. 1993.
- Raymond E. Miller and Sanjoy Paul
"Structural Analysis of Protocol Specifications and Generation of Maximal Fault Coverage Conformance Test Sequences",
IEEE Trans. on Networking, Vol. 2, No. 5, Oct. 1994.
- Mark A. Smith and K. K. Ramakrishnan,
"Formal Specification and Verification of Safety and Performance of TCP Selective Acknowledgement",
IEEE Trans. on Networking, Vol. 10, No. 2, Apr. 2002.
- David Lee, Arun N. Netravali, Krishan K. Sabnani, Binay Sugla, and Ajita John,
"Passive Testing and Applications to Network Management",
IEEE Int. Conf. on Network Protocols, Oct. 1997. pp.113-122
- Raymond E. Miller,
"Passive Testing of Networks Using a CFSM Specification",
IEEE Int. Perfomance Computing and Communnications Conference, Feb. 1998. pp.111-116
- Raymond E. Miller and Khaled A. Arisha, "On Fault Location in Networks by Passive Testing",
IPCCC 2000, Pheonix, AZ, Feb. 2000.
- Raymond E. Miller and Khaled A. Arisha, "Fault Identification in Networks by Passive Testing",
The 34th Simulation Symposium, Seattle, WA. Apr. 2001.
- Raymond E. Miller and Khaled A. Arisha, "Fault Coverage in Networks by Passive Testing",
Int. Conf. on Internet Computing, Las Vegas, NV, Jun. 2001.
- Raymond E. Miller and Khaled A. Arisha,
"Fault Management using Passive Testing for Mobile IPv6 Networks",
Globecom 2001, San Antonio, TX, Nov. 2001.