Ranan Fraer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
6
Active years
2000–2014
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | MEMOCODE | 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 |
| 2008 | DAC | A new paradigm for synthesis and propagation of clock gating conditions. | Ranan Fraer, Gila Kamhi, Muhammad K. Mhameed |
| 2007 | ASPDAC | 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 |
| 2005 | ICCAD | Efficient LTL compilation for SAT-based model checking. | Roy Armoni, Sergey Egorov, Ranan Fraer, Dmitry Korchemny, Moshe Y. Vardi |
| 2003 | TACAS | Multiple-Counterexample Guided Iterative Abstraction Refinement: An Industrial Evaluation. | Marcelo Glusman, Gila Kamhi, Sela Mador-Haim, Ranan Fraer, Moshe Y. Vardi |
| 2001 | CAV | Benefits of Bounded Model Checking at an Industrial Setting. | Fady Copty, Limor Fix, Ranan Fraer, Enrico Giunchiglia, Gila Kamhi, Armando Tacchella, Moshe Y. Vardi |
| 2001 | TACAS | Is There a Best Symbolic Cycle-Detection Algorithm? | Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang |
| 2000 | CAV | Prioritized Traversal: Efficient Reachability Analysis for Verification and Falsification. | Ranan Fraer, Gila Kamhi, Barukh Ziv, Moshe Y. Vardi, Limor Fix |