Inventor · disambiguated record
Anna Gringauze
Also filed as: GRINGAUZE ANNA
7 granted patents·68 citations·filing 1999–2014
82Inventor score
Technology areasG06F
Top patents by PatentIndex Score
7 records- 0180US8510722B2Detecting data race and atomicity violation via typestate-guided static analysisYANG YUE·Filed 2009·Granted Aug 13, 2013·15 cites·16 claims
- 0274US8443342B2Static analysis using interactive and integration toolsROHDE HENNING KORSHOLM·Filed 2010·Granted May 14, 2013·5 cites·15 claims
- 0370US6957404B2Model checking with layered localization reductionIBM·Filed 2002·Granted Oct 18, 2005·23 cites·40 claims
- 0454US9563535B2Intermediate representation construction for static analysisMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2014·Granted Feb 7, 2017·0 cites·10 claims
- 0550US6691078B1Target design model behavior explorerIBM·Filed 1999·Granted Feb 10, 2004·25 cites·25 claims
- 0639US8930913B2Intermediate representation construction for static analysisGRINGAUZE ANNA·Filed 2010·Granted Jan 6, 2015·0 cites·18 claims
- 0738US7146301B2Efficient production of disjoint multiple tracesIBM·Filed 2002·Granted Dec 5, 2006·0 cites·30 claims
Join the waitlist — get patent alerts
Get an alert when Anna Gringauze files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →