The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gila Kamhi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002