Ranan Fraer

Ranan Fraer

Intel Corporation - California / United States
Architecture and Design / Design
AD Scientific Index ID: 4377522
-
person_outline Ranan Fraer's MOST POPULAR ARTICLES
1-) Benefits of bounded model checking at an industrial settingF Copty, L Fix, R Fraer, E Giunchiglia, G Kamhi, A Tacchella, MY VardiInternational Conference on Computer Aided Verification, 436-453, 20012772001
2-) Is there a best symbolic cycle-detection algorithm?K Fisler, R Fraer, G Kamhi, MY Vardi, Z YangInternational Conference on Tools and Algorithms for the Construction and …, 20011082001
3-) Multiple-counterexample guided iterative abstraction refinement: An industrial evaluationM Glusman, G Kamhi, S Mador-Haim, R Fraer, MY VardiInternational Conference on Tools and Algorithms for the Construction and …, 2003632003
4-) A new paradigm for synthesis and propagation of clock gating conditionsR Fraer, G Kamhi, MK MhameedProceedings of the 45th annual Design Automation Conference, 658-663, 2008602008
5-) Prioritized traversal: Efficient reachability analysis for verification and falsificationR Fraer, G Kamhi, B Ziv, MY Vardi, L FixComputer Aided Verification: 12th International Conference, CAV 2000 …, 2000402000