2008 |
11 | EE | Ranan Fraer,
Gila Kamhi,
Muhammad K. Mhameed:
A new paradigm for synthesis and propagation of clock gating conditions.
DAC 2008: 658-663 |
2007 |
10 | EE | Roy Armoni,
Limor Fix,
Ranan Fraer,
Tamir Heyman,
Moshe Y. Vardi,
Yakir Vizel,
Yael Zbar:
Deeper Bound in BMC by Combining Constant Propagation and Abstraction.
ASP-DAC 2007: 304-309 |
2005 |
9 | | Roy Armoni,
Sergey Egorov,
Ranan Fraer,
Dmitry Korchemny,
Moshe Y. Vardi:
Efficient LTL compilation for SAT-based model checking.
ICCAD 2005: 877-884 |
8 | EE | Roy Armoni,
Limor Fix,
Ranan Fraer,
Scott Huddleston,
Nir Piterman,
Moshe Y. Vardi:
SAT-based Induction for Temporal Safety Properties.
Electr. Notes Theor. Comput. Sci. 119(2): 3-16 (2005) |
2003 |
7 | EE | Marcelo Glusman,
Gila Kamhi,
Sela Mador-Haim,
Ranan Fraer,
Moshe Y. Vardi:
Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation.
TACAS 2003: 176-191 |
2001 |
6 | EE | Fady Copty,
Limor Fix,
Ranan Fraer,
Enrico Giunchiglia,
Gila Kamhi,
Armando Tacchella,
Moshe Y. Vardi:
Benefits of Bounded Model Checking at an Industrial Setting.
CAV 2001: 436-453 |
5 | EE | Kathi Fisler,
Ranan Fraer,
Gila Kamhi,
Moshe Y. Vardi,
Zijiang Yang:
Is There a Best Symbolic Cycle-Detection Algorithm?
TACAS 2001: 420-434 |
2000 |
4 | | Ranan Fraer,
Gila Kamhi,
Barukh Ziv,
Moshe Y. Vardi,
Limor Fix:
Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification.
CAV 2000: 389-402 |
1999 |
3 | EE | Ranan Fraer,
Gila Kamhi,
Limor Fix,
Moshe Y. Vardi:
Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting.
Electr. Notes Theor. Comput. Sci. 23(2): (1999) |
1996 |
2 | | Ranan Fraer:
Tracing the Origins of Verification Conditions.
AMAST 1996: 241-255 |
1995 |
1 | | Yves Bertot,
Ranan Fraer:
Reasoning with Executable Specifications.
TAPSOFT 1995: 531-545 |