Bernard Elspas

13 papers Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
1975 — conf
SELECT - a formal system for testing and debugging programs by symbolic execution.
Reliable Software
Robert S. Boyer, Bernard Elspas, Karl N. Levitt
1972 J jnl
An Assessment of Techniques for Proving Program Correctness.
ACM Comput. Surv.
Bernard Elspas, Karl N. Levitt, Richard J. Waldinger, Abraham Waksman
1971 J jnl
Software Reliability.
Computer
Bernard Elspas, Milton W. Green, Karl N. Levitt
1967 — conf
Decomposition of Group Functions and the Synthesis of Multirail Cascades
SWAT
Bernard Elspas, Harold S. Stone
1965 J jnl
A conjecture on binary nongroup codes (Corresp.).
IEEE Trans. Inf. Theory
Bernard Elspas
1965 J jnl
Single-error-correcting codes for constant-weight data words.
IEEE Trans. Inf. Theory
William H. Kautz, Bernard Elspas
1964 J jnl
A Bound on the Run Measure of Switching Functions.
IEEE Trans. Electron. Comput.
Bernard Elspas, Robert A. Short
1964 — conf
Topological constraints on interconnection-limited logic
SWCT
Bernard Elspas
1963 J jnl
Error-locating codes-A new concept in error control.
IEEE Trans. Inf. Theory
Jack Keil Wolf, Bernard Elspas
1963 J jnl
Symmetric Latin Squares.
IEEE Trans. Electron. Comput.
Robert C. Minnick, Bernard Elspas, Robert A. Short
1962 J jnl
A note on optimum burst-error-correcting codes.
IRE Trans. Inf. Theory
Bernard Elspas, Robert A. Short
1960 J jnl
A note on p -nary adjacent-error-correcting codes.
IRE Trans. Inf. Theory
Bernard Elspas
1960 J jnl
Self-Complementary Symmetry Types of Boolean Functions.
IRE Trans. Electron. Comput.
Bernard Elspas