Ranan Fraer

13 papers A* 3A 3C 1Unranked 6
YearRankTypeTitle / Venue / Authors
2014 C conf
From visual to logical formalisms for SoC validation.
MEMOCODE
Ranan Fraer, Doron Keren, Zurab Khasidashvili, Alexander Novakovsky, Avi Puder, Eli Singerman, Eran Talmor, Moshe Y. Vardi, Jin Yang
2008 A* conf
A new paradigm for synthesis and propagation of clock gating conditions.
DAC
Ranan Fraer, Gila Kamhi, Muhammad K. Mhameed
2007 — conf
Deeper Bound in BMC by Combining Constant Propagation and Abstraction.
ASP-DAC
Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar
2005 A conf
Efficient LTL compilation for SAT-based model checking.
ICCAD
Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi
2004 — conf
SAT-based Induction for Temporal Safety Properties.
BMC@CAV
Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi
2003 A conf
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation.
TACAS
Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi
2002 — conf
Accelerated verification of RTL assertions based on satisfiability solvers.
HLDVT
Ranan Fraer, Shahid Ikram, Gila Kamhi, Tim Leonard, Abdel Mokkedem
2001 A* conf
Benefits of Bounded Model Checking at an Industrial Setting.
CAV
Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi
2001 A conf
Is There a Best Symbolic Cycle-Detection Algorithm?
TACAS
Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang
2000 A* conf
Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification.
CAV
Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix
1999 — conf
Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting.
SMC@FLoC
Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi
1996 — conf
Tracing the Origins of Verification Conditions.
AMAST
Ranan Fraer
1995 — conf
Reasoning with Executable Specifications.
TAPSOFT
Yves Bertot, Ranan Fraer