Reasoning with Executable Specifications. - Yves Bertot; Ranan Fraer (TAPSOFT, 1995)

Tracing the Origins of Verification Conditions. - Ranan Fraer (AMAST, 1996)

Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. - Ranan Fraer; Gila Kamhi; Limor Fix; Moshe Y. Vardi (SMC@FLoC, 1999)

Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. - Ranan Fraer; Gila Kamhi; Barukh Ziv; Moshe Y. Vardi; Limor Fix (CAV, 2000)

Benefits of Bounded Model Checking at an Industrial Setting. - Fady Copty; Limor Fix; Ranan Fraer; Enrico Giunchiglia; Gila Kamhi; Armando Tacchella; Moshe Y. Vardi (CAV, 2001)

Is There a Best Symbolic Cycle-Detection Algorithm? - Kathi Fisler; Ranan Fraer; Gila Kamhi; Moshe Y. Vardi; Zijiang Yang (TACAS, 2001)

Accelerated verification of RTL assertions based on satisfiability solvers. - Ranan Fraer; Shahid Ikram; Gila Kamhi; Tim Leonard; Abdel Mokkedem (HLDVT, 2002)

Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. - Marcelo Glusman; Gila Kamhi; Sela Mador-Haim; Ranan Fraer; Moshe Y. Vardi (TACAS, 2003)

SAT-based Induction for Temporal Safety Properties. - Roy Armoni; Limor Fix; Ranan Fraer; Scott Huddleston; Nir Piterman; Moshe Y. Vardi (BMC@CAV, 2004)

Efficient LTL compilation for SAT-based model checking. - Roy Armoni; Sergey Egorov; Ranan Fraer; Dmitry Korchemny; Moshe Y. Vardi (ICCAD, 2005)

Deeper Bound in BMC by Combining Constant Propagation and Abstraction. - Roy Armoni; Limor Fix; Ranan Fraer; Tamir Heyman; Moshe Y. Vardi; Yakir Vizel; Yael Zbar (ASP-DAC, 2007)

A new paradigm for synthesis and propagation of clock gating conditions. - Ranan Fraer; Gila Kamhi; Muhammad K. Mhameed (DAC, 2008)

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)