W. Richards Adrion

SELECTED JOURNAL AND MAGAZINE ARTICLES AND BOOK CHAPTERS

``A model for the design and analysis of distributed real-time digital systems," Applications and Research in Information Systems and Sciences, D. Lainiotis and N. Tzannes eds., Hemisphere Publishing Company, Washington, 1977.

``The role of automated tools in software validation and verification," ORSA/TIMS Bulletin, no. 10, September, 1980.

``Validation, verification, and testing for the individual programmer," Computer vol. 13, no. 12, December 1980. (with M. Branstad and J. Cherniavsky). (version also appeared as NBS Special Publication 500-56 and is included in Structured Testing, T. J. McCabe, ed., IEEE Press (AA452), October 1982)

``NBS Programming Environment Workshop," Software Engineering Notes, vol. 6, no.4, (editor with M.Branstad). (version also appeared as NBS Special Publication 500-78)

``Validation, verification, and testing of computer software," ACM Computing Surveys, Vol. 14, No. 2, June, 1982 (with M. Branstad and J. Cherniavsky). (version also appeared as NBS Special Publication 500-75; translated and republished in Japan; excerpted and republished in Sweden; and included in Software Quality Assurance: A Practical Approach, T. S. Chun, Ed., IEEE Press(EH0223-8), 1985)

``Stimulating Software Engineering Progress," Software Engineering Notes, vol. 8, no. 2, April, 1983 (with J. Musa, et al).

``Observations on Developing Networks to Support Scientific Research," in Pacific Computer Communications 1985, K. Kim, K. Chon, C.V. Ramamoorthy, eds., North Holland, Amsterdam, 1986.

``Computer Networking for Scientists," Science, vol. 231, no. 4741, February 28, 1986. (with D. Jennings, L. Landweber, I. Fuchs, and D. Farber). Reprinted in the Educom Bulletin, Vol.21, No.2, Summer 1986 and in BIT (in Japanese), Vol.19, No.2, February, 1987.

``Trends in National Science Foundation Funded Research and Their Impact on Software Engineering Education," Software Engineering Education: the Educational Needs of the Software Community, N. Gibbs and R. Fairley, Eds., Springer-Verlag, Berlin, 1987. (with B. Barnes)

``Information Technology and the Conduct of Science" Science Vol.~239, 1988.

``Overview", Strategic Directions in Computer Science Research, Peter Wegner, Ed., ACM Press, 1990.

``Government Policy and Planning", Strategic Directions in Computer Science Research, Peter Wegner, Ed., ACM Press, 1990.

``From Basic Research in Computer Science to the Marketplace", Industry and Higher Education, Vol.5, No. 1 (1991) (with J. Chernoff and P. McOwen).

``Space in Time - Continues'', Computing Research News, Spring, 1992.

``NSF Infrastructure Workshop'', Computing Research News, Summer, 1992.

``From Discipline in Crisis to Mature Science: Evolving Needs for Computing Research Infrastructure", IEEE Computer, December 1992. (with E. Lazowska and A. van Dam)

"A Three-Pronged Strategy for Technology Creation, Transfer and Absorption", Proceedings of the IFIP Conference on Diffusion, Transfer & Implementation of Information Technology, October, 1993. (with P. McOwen).

"From Basic Research in Computer Science to the Marketplace", Industry and Higher Education, Vol.5, No. 1 (1991) (with J. Chernoff and P. McOwen).

CONFERENCE PROCEEDINGS AND PRESENTATIONS

[R]``Analysis of real time systems: an information theoretic approach," Proceedings of the 13th Annual Allerton Conference on Circuits and Systems Theory, October, 1975. (with P. Frick and P. Szulewski)

[R]``Real-time schemata," Proceedings of the Ninth Annual Asilomar Conference on Circuits, Systems, and Computers, November, 1975.

[R]``Analysis and decomposition of complex real-time processes with a real-time schemata model," Proceedings of the 1976 International Telemetering Conference, September, 1976. (with P. Frick and S.Szulewski).

``Microprocesssor education: dealing with diverse interests," presented at the IEEE Workshop on Microprocessor Education, College Park, Md., November, 1977.

``Software tools," presented at the TOOLPACK Workshop, Santa Barbara, Calif., March, 1979.

``Federal standards for quality software," presented at the RPI/GE Workshop on Software Engineering, Albany, NY, May, 1979.

``Experimental Computer Science," banquet presentation, IBM University Study Conference, October, 1983, Raleigh, NC.

``A Report on the Evolution of a National Supercomputer Access Network: SCIENCENET," A Report to the NSF Program Advisory Committee on Advanced Scientific Computing, January, 1985. (with D. Farber, F. Kuo, L. Landweber, D. Nagel, and J. Wyatt)

[R]``Database support for integrated design environments," presented at the International Workshop on the Software Process and Software Environments, Codo de Casa, CA, March, 1985.

[R]``The role of testing tools and techniques in the procurement of quality software and systems," Proceedings of the Thirteenth Annual Asilomar Conference on Circuits, Systems, and Computers, November, 1979. (with M. Branstad and J. Cherniavsky).

[R]``The role of programming environments in software quality assurance," Proceedings of the National Electronics Conference, vol. 34, National Engineering Consortium, Oakbrook, October, 1980 (with M. Branstad and J. Cherniavsky)

[R]``A view of software development support systems," Proceedings of the National Electronics Conference, vol. 35, National Engineering Consortium, Oakbrook, October, 1981 (with M. Branstad and J. Cherniavsky).

[R]``Multiple Inheritence in CAD Data Models," Proceedings of the Third International Workshop on Software Specification and Design, London, August, 1985.

[R]``Enhancing the Scientific/Engineering Workbench Through Access to National Supercomputing Resources," Proceedings of the First International Conference on Supercomputing Systems, St. Petersburg, December, 1985. (with D. Farber and L. Landweber)

``Acceptance Testing," keynote speech, National Bureau of Standards Software Acceptance Test Workshop, April, 1986.

``Space in Time", presented at the 1988 Snowbird Conference, Snowbird, UT, July 1988. (with P. Young).

``Research Directions and Policy Issues in Software Engineering", presented to the NSF CCR Advisory Committee, May 1988. (with L. Williams)

[R]``Communication and Reuse in CAD Systems: Data Model Issues", Proceedings of the ACM SIGMOD/SIGSOFT SCAD Workshop, Napa, CA, February 1989.

``Testing of Concurrent and Real-Time Systems", Proceedings of the ONR Workshop on Testing, Analysis and Verification, San Diego, August 1989.

[R]``Strategic Directions in Computing Research", Proceedings of the American Association for the Advancement of Science Annual Meeting, New Orleans, November, 1989

[R]``Directions in Software and Systems Research", Proceedings of the American Association for the Advancement of Science Annual Meeting, New Orleans, November, 1989

``The Federal High Performance Computing Program", presented at the AAAS Symposium on Strategic Directions in Computing, AAAS Annual Meeting, New Orleans, November, 1989

[R]``From Basic Research in Artificial Intelligence to the Marketplace", Proceedings of the Grenoble Conference, Grenoble, October, 1990 (with J. Chernoff and P. McOwen)

``From Discipline in Crisis to Mature Science: Evolving Needs for Computing Research Infrastructure", Report to the National Science Foundation, February, 1992.

[R] = refereed conference

GRANTS AND CONTRACTS 1987---

Co-PI, ``Testing Techniques for Concurrent and Real-Time Systems," Office of Naval Research, November 1, 1987- October 31, 1989, $220,000.

PI, ``Workshop on Research Issues in Software Engineering," National Science Foundation, February 1, 1988- January 31, 1989, $27,830.

PI, ``CISE Research Instrumentation (Utah/MIT Hand)," National Science Foundation, March 15, 1990 - August 31, 1991, $139,146

PI, ``CISE Research Instrumentation (Connection Machine)," National Science Foundation, March 15, 1990 - August 31, 1991, $273,000

Co-PI, ``Testing Techniques for Concurrent and Real-Time Systems," Office of Naval Research, November 1, 1989- October 31, 1991, $238,000.

PI, ``UMass Pilgrim Project", Digital Equipment Corporation, $6,750,000, June 15, 1989- June 30, 1992. ($6M in equipment discounts, $750,000 in cash gifts.)

PI, ``Real-Time Computing: Issues and Applications," National Science Foundation, June 15, 1990 - November 30, 1995, $1,627,924

PI, ``A Center for Research on Intelligent Real-Time Computation in Complex Systems," National Science Foundation, $1,800,000 July 1, 1992- June 30, 1995,

PI, ``State-Industry University Research in Intelligent Information Retrieval," in Complex Systems," National Science Foundation, $2,700,000 July 1, 1992- June 30, 1995.

Return to Adrion's homepage