Ranan Fraer

According to our database, Ranan Fraer authored at least 13 papers between 1995 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

2008

A new paradigm for synthesis and propagation of clock gating conditions.

Ranan Fraer, Gila Kamhi, Muhammad K. Mhameed

Proceedings of the 45th Design Automation Conference, 2008

2007

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

Proceedings of the 12th Conference on Asia South Pacific Design Automation, 2007

2005

Efficient LTL compilation for SAT-based model checking.

Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi

Proceedings of the 2005 International Conference on Computer-Aided Design, 2005

2004

SAT-based Induction for Temporal Safety Properties.

Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi

Proceedings of the 2nd International Workshop on Bounded Model Checking, 2004

2003

Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation.

Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2002

Accelerated verification of RTL assertions based on satisfiability solvers.

Ranan Fraer, Shahid Ikram, Gila Kamhi, Tim Leonard, Abdel Mokkedem

Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

2001

Is There a Best Symbolic Cycle-Detection Algorithm?

Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Benefits of Bounded Model Checking at an Industrial Setting.

Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification.

Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix

Proceedings of the Computer Aided Verification, 12th International Conference, 2000

1999

Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting.

Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi

Proceedings of the First International Workshop on Symbolic Model Checking, 1999

1996

Tracing the Origins of Verification Conditions.

Ranan Fraer

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Reasoning with Executable Specifications.

Yves Bertot, Ranan Fraer

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995