|
Search the dblp DataBase
Ranan Fraer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Ranan Fraer
Tracing the Origins of Verification Conditions. [Citation Graph (0, 0)][DBLP] AMAST, 1996, pp:241-255 [Conf]
- Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi
Benefits of Bounded Model Checking at an Industrial Setting. [Citation Graph (0, 0)][DBLP] CAV, 2001, pp:436-453 [Conf]
- Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix
Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. [Citation Graph (0, 0)][DBLP] CAV, 2000, pp:389-402 [Conf]
- Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi
Efficient LTL compilation for SAT-based model checking. [Citation Graph (0, 0)][DBLP] ICCAD, 2005, pp:877-884 [Conf]
- Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang
Is There a Best Symbolic Cycle-Detection Algorithm? [Citation Graph (0, 0)][DBLP] TACAS, 2001, pp:420-434 [Conf]
- Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. [Citation Graph (0, 0)][DBLP] TACAS, 2003, pp:176-191 [Conf]
- Yves Bertot, Ranan Fraer
Reasoning with Executable Specifications. [Citation Graph (0, 0)][DBLP] TAPSOFT, 1995, pp:531-545 [Conf]
- Roy Armoni, Limor Fix, Ranan Fraer, Scott Huddleston, Nir Piterman, Moshe Y. Vardi
SAT-based Induction for Temporal Safety Properties. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:119, n:2, pp:3-16 [Journal]
- Ranan Fraer, Gila Kamhi, Limor Fix, Moshe Y. Vardi
Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:23, n:2, pp:- [Journal]
Deeper Bound in BMC by Combining Constant Propagation and Abstraction. [Citation Graph (, )][DBLP]
A new paradigm for synthesis and propagation of clock gating conditions. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.003secs
|