ISI Technical Reports

This section contains all Technical Reports published by ISI over the past several decades. The search box below enables searches by report titles, authors and report numbers. Technical Reports written by ISI researchers, but not published by ISI, may be available through the author’s individual website.

Journal articles and other publications can be found here.

Program Verification in the 1980s: Problems, Perspectives, and Opportunities
G. and S.
RR-78-71
August, 1978

Protection Analysis: Final Report
Bisbey, R. and Hollingworth, D.
SR-78-13
May, 1978

Multi-microprocessor Emulation: Annual Report for 1977
H. , C. , A. , P. , C. , and S.
SR-78-12
April, 1978

Protection Errors in Operating Systems: Serialization
I. S. I. Staff
SR-78-9
April, 1978

Protection Errors in Operating Systems: A Selected Annotated Bibliography and Index to Terminology
C. and J.
SR-78-10
March, 1978

HP/MME Terminal: Application Specification
O. , D. , S. , and R.
TM-78-10
March, 1978

DARPA Navy CINCPAC Military Message Experiment: SIGMA Message Service Reference Manual Version1.75
R. and J.
TM-78-11
March, 1978

A System for Incrementally Designing and Verifying Programs: Volume 1
M. and M.
RR-77-65
January, 1978

A System for Incrementally Designing and Verifying Programs: Volume 2
M. and M.
RR-77-66
January, 1978

Meta-Evaluation as a Tool for Program Understanding
Balzer, R., Goldman, N., and Wile, D.
RR-78-69
January, 1978