Test Program Generation for Functional Verification of PowerPC Processors in IBM. - Aharon Aharon; Dave Goodman; Moshe Levinger; Yossi Lichtenstein; Yossi Malka; Charlotte Metzger; Moshe Molcho; Gil Shurek (DAC, 1995)

Learning Morpho-Lexical Probabilities from an Untagged Corpus with an Application to Hebrew. - Moshe Levinger; Uzzi Ornan; Alon Itai (Comput. Linguistics, 1995)

Developing an Architecture Validation Suite: Applicaiton to the PowerPC Architecture. - Laurent Fournier; Anatoly Koyfman; Moshe Levinger (DAC, 1999)

Functional Verification Methodology for Microprocessors Using the Genesys Test-Program Generator-Application to the x86 Microprocessors Family. - Laurent Fournier; Yaron Arbetman; Moshe Levinger (DATE, 1999)

Fast construction of test-program generators for digital signal processors. - Shai Rubin; Moshe Levinger; Randall R. Pratt; William P. Moore (ICASSP, 1999)

Panel: What's the next 'big thing' in simulation-based verification? - Moshe Levinger; Avi Ziv; Brian Bailey; Jacob Abraham; Bob Bentley; William H. Joyner; Yaron Kas (HLDVT, 2003)