Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

6 results for Karen Yorav

On-the-fly resolve trace minimization
- - Ohad Shacham
  - Karen Yorav
- 2007
- DAC 2007
Complete and effective robustness checking by means of interpolation
- - Stefan Frehse
  - Gorschwin Fey
  - et al.
- 2012
- FMCAD 2012
SAT-based synthesis of clock gating functions using 3-valued abstraction
- - Eli Arbel
  - Oleg Rokhlenko
  - et al.
- 2009
- FMCAD 2009
Scalable conditional equivalence checking: An automated invariant-generation based approach
- - Jason Baumgartner
  - Hari Mony
  - et al.
- 2009
- FMCAD 2009
Adaptive application of SAT solving techniques
- - Ohad Shacham
  - Karen Yorav
- 2005
- CAV 2005
Functional verification of power gated designs by compositional reasoning
- - Cindy Eisner
  - Amir Nahir
  - et al.
- 2009
- Formal Methods in System Design