More on Nonregular PDL: Expressive Power, Finite Models, Fibonacci Programs. - David Harel; Eli Singerman (ISTCS, 1995)

More on Nonregular PDL: Finite Models and Fibonacci-Like Programs. - David Harel; Eli Singerman (Inf. Comput., 1996)

Computation Paths Logic: An Expressive, yet Elementary, Process Logic (abridged version). - David Harel; Eli Singerman (ICALP, 1997)

Fair Synchronous Transition Systems and Their Liveness Proofs. - Amir Pnueli; Natarajan Shankar; Eli Singerman (FTRTFT, 1998)

Translation Validation. - Amir Pnueli; Michael Siegel; Eli Singerman (TACAS, 1998)

On Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction. - Vlad Rusu; Eli Singerman (TACAS, 1999)

Computation Paths Logic: An Expressive, yet Elementary, Process Logic. - David Harel; Eli Singerman (Ann. Pure Appl. Log., 1999)

The ForSpec Temporal Logic: A New Temporal Property-Specification Language. - Roy Armoni; Limor Fix; Alon Flaisher; Rob Gerth; Boris Ginsburg; Tomer Kanza; Avner Landver; Sela Mador-Haim; Eli Singerman; Andreas Tiemeyer; Moshe Y. Vardi; Yael Zbar (TACAS, 2002)

Formal Verification of Backward Compatibility of Microcode. - Tamarah Arons; Elad Elster; Limor Fix; Sela Mador-Haim; Michael Mishaeli; Jonathan Shalev; Eli Singerman; Andreas Tiemeyer; Moshe Y. Vardi; Lenore D. Zuck (CAV, 2005)

Embedded Software Validation: Applying Formal Techniques for Coverage and Test Generation. - Tamarah Arons; Elad Elster; Terry Murphy; Eli Singerman (MTV, 2006)

Case study: Integrating FV and DV in the Verification of the Intel CoreTM 2 Duo Microprocessor. - Alon Flaisher; Alon Gluska; Eli Singerman (FMCAD, 2007)

GSTE is partitioned model checking. - Roberto Sebastiani; Eli Singerman; Stefano Tonetta; Moshe Y. Vardi (Formal Methods Syst. Des., 2007)

Efficient Symbolic Simulation of Low Level Software. - Tamarah Arons; Elad Elster; Shlomit Ozer; Jonathan Shalev; Eli Singerman (DATE, 2008)

A Temporal Language for SystemC. - Deian Tabakov; Gila Kamhi; Moshe Y. Vardi; Eli Singerman (FMCAD, 2008)

Transaction based pre-to-post silicon validation. - Eli Singerman; Yael Abarbanel; Sean Baartmans (DAC, 2011)

Validation of SoC Firmware-Hardware Flows: Challenges and Solution Directions. - Yael Abarbanel; Eli Singerman; Moshe Y. Vardi (DAC, 2014)

From visual to logical formalisms for SoC validation. - Ranan Fraer; Doron Keren; Zurab Khasidashvili; Alexander Novakovsky; Avi Puder; Eli Singerman; Eran Talmor; Moshe Y. Vardi; Jin Yang 006 (MEMOCODE, 2014)