System Etudes on Themes from Computer Science, 2008 http://www.lulu.com/content/871681
"Maple and software engineering education (an activity report on the use of Maple in two courses at Western Michigan University)," Proceedings of the Maple Summer Workshop 2004, Waterloo, Ontario, July 11-14, 2004 (with J.D. Nelson). Available online at: Maple and software engineering education
"Reforming the undergraduate curriculum in computer science," presented as a seminar at the College of Engineering and Applied Sciences, Western Michigan University, September 13, 2002. Available online at: Reforming the undergraduate curriculum in computer science
"cs580Lib -- a comprehensive library of Maple objects supporting instruction and research in formal languages and automata theory , " Proceedings of the Maple Summer Workshop 2002, Waterloo, Ontario, July 28-30, 2002. Available online at: cs580Lib -- a comprehensive library of Maple objects supporting instruction and research in formal languages and automata theory
"Doing the Right Thing in Systems Programming Education -- putting the RIGHT MATERIAL in the RIGHT PLACE in the RIGHT WAY," a tutorial presentation at MCC2000, the 14th Annual Midwest Computer Conference, Whitewater WI, March 31, 2000. Available online at: Doing the right thing in systems programming education -- putting the RIGHT MATERIAL in the RIGHT PLACE in the RIGHT WAY
"Doing the Right Thing in Systems Programming Education," a poster presentation at the 1999 Sigma Xi Forum: Reshaping Undergraduate Science and Engineering Education -- Tools for Better Learning, Minneapolis MN, November 4-5, 1999. Available online at: Doing the right thing in systems programming education
"A Curriculum Proposal for an Innovative BS/MS Degree in Computer Engineering Emphasizing Real-Time Embedded Systems," Real-Time Systems Education, IEEE Computer Society Press, Los Alamitos CA, 1996 (with G. Greenwood, X. Hu, J. Grantner, and R. Taylor). This volume is the proceedings of the Workshop on Real-Time Systems Education, Daytona Beach FL, April 20, 1996.
"Formal Engineering Specification Techniques for Physical Communication Interface Protocols: An Illustration with RS-232 and RS-334," Proceedings of the 2nd International Conference on Electronic Hardware Description Languages (ICEHDL), Las Vegas NV, January 15-18, 1995 (with N. Hastings).
"The Essential Protocol of the Ada Rendezvous: A Reference Model, Volume 3: Theorems and Analyses," Technical Report, Department of Electrical Engineering, Western Michigan University, Kalamazoo MI, October 4, 1992 (with Ajay K. Gupta).
"The Essential Protocol of the Ada Rendezvous: A Reference Model, Volume 2: Examples and Commentary," Technical Report, Department of Electrical Engineering, Western Michigan University, Kalamazoo MI, October 4, 1992 (with Leslie C. Lander and Ajay K. Gupta).
"The Essential Protocol of the Ada Rendezvous: A Reference Model, Volume 1: Formal Specification," Technical Report, Department of Electrical Engineering, Western Michigan University, Kalamazoo MI, September 26, 1992 (with Leslie C. Lander and Ajay K. Gupta).
"Techniques for Semi-automated Implementation of State-oriented Real-time Formal Specification in Ada," WADAS '92: Ninth Annual Washington Ada Symposium, McLean VA, July 13-16, 1992 (with Sandeep Mitra and Leslie C. Lander).
"The Elaboration Order Problem of Ada", Software Practice and Experience, Volume 22(5), John Wiley and Sons Limited, Chichester, Sussex, England, May 1992 (with Leslie C. Lander, Sandeep Mitra, and Nitin Singhvi).
"A Critique of Smalltalk as a System Specification Language," Technical Report, Department of Electrical Engineering, Western Michigan University, Kalamazoo MI, and IBM Corporation, Rochester MN, February 1991 (with Sunil S. Gaitonde).
"Deterministic Priority Inversion in Ada Selective Waits," Ada Letters, ACM Press, Volume X Number 7, September/October 1990 (with Leslie C. Lander and Sandeep Mitra).
"Modeling Multi-tasking Ada Program Performance in SLAM II," 20th Annual Pittsburgh Conference on Modeling and Simulation, Pittsburgh PA, May 4-5, 1989 (with Chakib Chraibi).
"Modeling the IBM Token Ring and the AST Asynchronous Cluster Adapter in SLAM II," 20th Annual Pittsburgh Conference on Modeling and Simulation, Pittsburgh PA, May 4-5, 1989 (with Chakib Chraibi).
"The State of the Art in Protocol Engineering," Proceedings of SIGCOMM '86, Stowe VT, August 6-8, 1986 (invited).
"A Formal Comparison of Formal Protocol Specification Techniques," Proceedings of the Fifth International Workshop on Protocol Specification, Testing, and Verification, Toulouse-Moissac, France, June 10-13, 1985.
"Hardware Testing Techniques Applied to the Design of Communication Protocol Systems," Proceedings of the IEEE Computer Society Test Technology Committee Curriculum for Test Technology Workshop, Minneapolis MN, IEEE Catalog No. 83CH2978-6, Nov. 16-17, 1983.
"Protocol Engineering," ICC '83 : International Conference on Communications, Boston MA, June 1983 (invited).
"State Architecture Notation and Simulation : A Formal Technique for the Specification and Testing of Protocol Systems," Computer Networks, Vol. 6, No. 6, 1982 (with Lapkin Ip and Dayun He).
"Remarks on the Feasibility of Validating and Testing ADCCP Implementations," Proceedings of Trends and Applications 1980 : Computer Network Protocols, National Bureau of Standards, Gaithersburg MD, May 1980 and the Proceedings of the First International Workshop on Protocol Specification, Testing, and Verification, National Physical Laboratory, Teddington, Middlesex, UK, May 1981 (invited). Reprinted in Communication Protocol Modelling, ed. C.A. Sunshine, Artech House, Dedham MA, 1981.
"Inside IBM's Systems Network Architecture," Data Communications, February 1977, (with D. C. Hull and R. J. Sundstrom). Reprinted in Executive Guide to Data Communications, Second Edition, McGraw-Hill. Reprinted in Advances in Computer Communication and Networking, ed. W. W. Chu, Artech House, Dedham MA, 1979.
SNA Format and Protocol Reference Manual : Architecture Logic, SC 30-3112, IBM Corp. (principal technical author), March 1976.
"Finite-State Architecture," Proceedings of the 7th Annual Southeastern Symposium on System Theory, Auburn University, Auburn AL and Tuskegee Institute, Tuskegee AL, IEEE Catalog No. 75 CHO968-8C (invited), March 1975.