Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. Gila Kamhi, Osnat Weissberg, Limor Fix
   Automatic Datapath Extraction for Efficient Usage of HDD. [Citation Graph (0, 0)][DBLP]
   CAV, 1997, pp:95-106 [Conf]
   
4. Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi
   Efficient Debugging in a Formal Verification Environment. [Citation Graph (0, 0)][DBLP]
   CHARME, 2001, pp:275-292 [Conf]
   
5. Scott Hazelhurst, Osnat Weissberg, Gila Kamhi, Limor Fix
   A hybrid verification approach: getting deep into the design. [Citation Graph (0, 0)][DBLP]
   DAC, 2002, pp:111-116 [Conf]
   
6. Gila Kamhi, Limor Fix, Ziv Binyamini
   Symbolic Model Checking Visualization. [Citation Graph (0, 0)][DBLP]
   FMCAD, 1998, pp:290-303 [Conf]
   
7. Gila Kamhi, Limor Fix
   Adaptive variable reordering for symbolic model checking. [Citation Graph (0, 0)][DBLP]
   ICCAD, 1998, pp:359-365 [Conf]
   
8. 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]
   
9. 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]
   
10. 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]
    
11. Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi
    Efficient debugging in a formal verification environment. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:4, n:3, pp:335-348 [Journal]
    
12. Gila Kamhi, Sarah Miller, Stephen Bailey Mentor, Wolfgang H. Nebel, Y. C. Wong, Juergen Karmann, Enrico Macii, Stephen V. Kosonocky, Steve Curtis
    Early Power-Aware Design & Validation: Myth or Reality? [Citation Graph (0, 0)][DBLP]
    DAC, 2007, pp:210-211 [Conf]
    
13. Pietro Babighian, Gila Kamhi, Moshe Y. Vardi
    Interactive presentation: PowerQuest: trace driven data mining for power optimization. [Citation Graph (0, 0)][DBLP]
    DATE, 2007, pp:1078-1083 [Conf]
    
14. 
    A new paradigm for synthesis and propagation of clock gating conditions. [Citation Graph (, )][DBLP]
    
    
15. 
    MAGENTA: transaction-based statistical micro-architectural root-cause analysis. [Citation Graph (, )][DBLP]
    
    
16. 
    A Temporal Language for SystemC. [Citation Graph (, )][DBLP]
    
    
17. 
    Challenges and methodologies for efficient power budgeting across the die. [Citation Graph (, )][DBLP]
    
    
18. 
    Power-Aware Design via Micro-architectural Link to Implementation. [Citation Graph (, )][DBLP]
    
    
19. 
    Intelligate: Scalable Dynamic Invariant Learning for Power Reduction. [Citation Graph (, )][DBLP]