Milton W. Green

发表

On the Consecutive Retrieval Property in File Organization

M. W. Green, Abraham Waksman, Milton W. Green, 1974, IEEE Transactions on Computers.

The design, analysis, and verification of the SIFT fault tolerant system

Karl N. Levitt, Robert E. Shostak, Milton W. Green, 1976, ICSE '76.

Software Reliability

Karl N. Levitt, Bernard Elspas, Milton W. Green, 1971, Computer.

The use of a formal simulator to verify a simple real time control program

Robert S. Boyer, J. Strother Moore, Milton W. Green, 1990 .

A lower bound on Rado's sigma function for binary Turing machines

Milton W. Green, 1964, SWCT.

A study of the data commutation problems in a self-repairable multiprocessor

Karl N. Levitt, Jack Goldberg, Milton W. Green, 1899, AFIPS '68 (Spring).

Reconfiguration stategies for the SIFT fault-tolerant computer

Charles B. Weinstock, Milton W. Green, 1978, COMPSAC.

An Expert System for Real-Time Control

Milton W. Green, M. Lattimer Wright, Gudrun Fiegl, 1986, IEEE Software.

42] Mandayam Srivas and Mark Bickford. Veriication of the Ftcayuga Fault-tolerant Mi- Croprocessor System, Volume 1: a Case-study in Theorem Prover-based Veriication. Forthcom- Ing Chapter for \digital Systems Validation Handbook," Dot/faa/ct-88/10. 35] John Rushby and Friedrich Von Henke. Formal Ve

Milton W. Green, Philip M. Thambidurai, R. Shostak, 2009 .