Inventor · disambiguated record
Rachel Tzoref
Also filed as: TZOREF RACHEL
11 granted patents·3 pending applications·56 citations·filing 2005–2012
88Inventor score
Top patents by PatentIndex Score
14 records- 0185US8479166B2Detecting locking discipline violations on shared resourcesNIR-BUCHBINDER YARDEN·Filed 2008·Granted Jul 2, 2013·17 cites·17 claims
- 0284US8356287B2Device, system and method of debugging computer programsIBM·Filed 2007·Granted Jan 15, 2013·15 cites·18 claims
- 0372US8612952B2Performance optimization based on data accesses during critical sectionsTZOREF RACHEL·Filed 2010·Granted Dec 17, 2013·5 cites·21 claims
- 0470US7835898B2Satisfiability (SAT) based bounded model checkersIBM·Filed 2005·Granted Nov 16, 2010·5 cites·2 claims
- 0568US7783806B2Deadlock prevention in a computing environmentIBM·Filed 2008·Granted Aug 24, 2010·4 cites·20 claims
- 0666US8561031B2Synchronization coverage in logic codeTRAININ EHUD·Filed 2012·Granted Oct 15, 2013·2 cites·8 claims
- 0765US8593946B2Congestion control using application slowdownGOLDSTEIN MAAYAN·Filed 2008·Granted Nov 26, 2013·4 cites·21 claims
- 0865US8108195B2Satisfiability (SAT) based bounded model checkersGEIST DANIEL·Filed 2010·Granted Jan 31, 2012·2 cites·7 claims
- 0960US8561030B2Synchronization coverage in logic codeTRAININ EHUD·Filed 2009·Granted Oct 15, 2013·2 cites·13 claims
- 1050US9600347B2Verifying synchronization coverage in logic codeTZOREF RACHEL·Filed 2009·Granted Mar 21, 2017·0 cites·4 claims
- 1146US2010057965A1Extension of Lock Discipline Violation Detection for Lock Wait PatternsIBM·Filed 2008·Application pending·0 cites
- 1246US2013247062A1Verifying synchronization coverage in logic codeTZOREF RACHEL·Filed 2012·Application pending·0 cites
- 1343US8489380B2Satisfiability (SAT) based bounded model checkersGEIST DANIEL·Filed 2011·Granted Jul 16, 2013·0 cites·20 claims
- 1438US2009276379A1Using automatically generated decision trees to assist in the process of design and review documentationTZOREF RACHEL·Filed 2008·Application pending·0 cites
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →