Mathematical properties of Boolean transformations. - Ytzhak H. Levendel; Melvin A. Breuer (MVL, 1978)

Vector representation of switching and three-valued functions. - Ytzhak H. Levendel; Melvin A. Breuer (MVL, 1978)

Test Generation Algorithms for Computer Hardware Description Languages. - Ytzhak H. Levendel; Premachandran R. Menon (IEEE Trans. Computers, 1982)

Parallel fault simulation using distributed processing. - Ytzhak H. Levendel; Prem R. Menon; Suresh H. Patel (Bell Syst. Tech. J., 1983)

A Logic Simulation Machine. - Miron Abramovici; Ytzhak H. Levendel; Premachandran R. Menon (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1983)

An Artificial Intelligence Based Implementation of the P-Algorithm for Test Generation. - Nagendra C. E. Srinivas; Anthony S. Wojcik; Ytzhak H. Levendel (ITC, 1986)

Critical path tracing in sequential circuits. - Prem R. Menon; Ytzhak H. Levendel; Miron Abramovici (ICCAD, 1988)

Defects and reliability analysis of large software systems: field experience. - Ytzhak H. Levendel (FTCS, 1989)

Reliability Analysis of Large Software Systems: Defect Data Modeling. - Ytzhak H. Levendel (IEEE Trans. Software Eng., 1990)

Practical applications of software reliability models. - Richard M. Karcich; Ytzhak H. Levendel; Bliss Jensen; Robert C. Tausworthe; Ted Keller; John Gaffney (ISSRE, 1991)

Improving Quality with a Manufacturing Process. - Ytzhak H. Levendel (IEEE Softw., 1991)

SCRIPT: a critical path tracing algorithm for synchronous sequential circuits. - Premachandran R. Menon; Ytzhak H. Levendel; Miron Abramovici (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1991)

Analysis of large system black-box test data. - Kent C. Clapp; Ravishankar K. Iyer; Ytzhak H. Levendel (ISSRE, 1992)

Fault Tolerance Cost Effectiveness. - Ytzhak H. Levendel (Hardware and Software Architectures for Fault Tolerance, 1993)

An ATM-based platform for rapid generation of multimedia applications. - Eric R. Beyler; Olivier B. Clarisse; Edward A. Clark; Ytzhak H. Levendel; Robert E. Richardson (AT&T Tech. J., 1995)

Delivering Dependable Telecommunication Services Using Off-the-Shelf System Components. - Ytzhak H. Levendel (J. Electron. Test., 1998)

A Framework for Database Audit and Control Flow Checking for a Wireless Telephone Network Controller. - Saurabh Bagchi; Y. Liu; Keith Whisnant; Zbigniew Kalbarczyk; Ravishankar K. Iyer; Ytzhak H. Levendel; Lawrence G. Votta (DSN, 2001)