ABSTRACT

System Design." IEEE Trans. Comp. C-20 (November 1971): 1322-1331. [Avizienis, 1973] Avizienis, A. "Arithmetic Algorithms for Error-Coded O p erands ." IEEE Trans. Comp. C-22 (June 1973): 566-572. [Avizienis, 1975] Avizienis, A. "Architecture of Fault-Tol­ erant C om puting Systems." In Digest o f 5th IEEE Inter­ national Symposium on Fault-Tolerant Com puting, Paris, France, 1975, pp. 3-16. [Avizienis, 1976] Avizienis, A. "Approaches to C om puter Reliability Then and Now." In AFIPS Conf. Proc., vol. 45. Montvale, NJ: AFIPS Press, 1976, pp. 401-411. [Avizienis, 1977] Avizienis, A. "Fault-Tolerant C om put­ ing-Progress, Problems, and Prospects." In Proceedings IF IP Congress. New York: North Holland, 1977, pp. 405­ 420. [Avizienis, 1978] Avizienis, A. "Fault-Tolerance: The Sur­ vival Attribute of Digital Systems." Proceedings o f the IEEE 66 (O ctober 1978): 1109-1125. [Avizienis, 1985] Avizienis, A. "The N-Version Approach to Fault-Tolerant Software." IEEE Trans. Soft. Eng. SE11(12) (Decem ber 1985): 1491-1501. [Avizienis, 1989] Avizienis, A. "Software Fault Tolerance." XI World C om puter Congress, IFIP Congress '89, (August 1989). [Avizienis and Chen, 1977] Avizienis, A., and L. Chen. "On the Implementation of N-Version Programming for Soft­ ware Fault-Tolerance During Execution." Proc. COMPSAC 77 (Novem ber 1977): 149-155. [Avizienis and Kelly, 1984] Avizienis, A., and J.P.J. Kelly. "Fault Tolerance by Design Diversity: Concepts and Ex­ perim ents ." C om puter 17(8) (August 1984): 67-80. [Avizienis and Laprie, 1986] Avizienis, A., and J.-C. Laprie. "D ependable Com puting: From Concepts to Design Di­ versity," Proceedings o f the IEEE 74(5) (May 1986): 629­ 638. [Avizienis, Lyu, and Schütz, 1988] Avizienis, A.; M.R. Lyu; and W. Schütz. "In Search of Effective Diversity: A SixLanguage Study of Fault-Tolerant Flight Control Soft­ ware." In Proceedings o f the IEEE 18th International Sym­ posium on Fault-Tolerant Com puting, Tokyo, Japan (1988), pp. 15-22. [Avizienis and Rennels, 1972] Avizienis, A., and D.A. Rennels. "Fault-Tolerance Experiments with the JPL Star C om ­ puter." Digest o f Papers. COMPCON '72 (Septem ber 1972): 321-324. [Avizienis et al., 1969] Avizienis, A.; F.P. Mathur; D.A. Rennels; and J.A. Rohr. "Automatic M aintenance of Aerospace C om pute rs and Spacecraft Information and Control Systems." In Proc. AIAA Aerosp. Comput. Syst. Conf., AIAA Paper 69-966, 1969.