P

Inventor

GRINGAUZE ANNA

US7 patents
⚠️ This page may combine multiple inventors who share the name “GRINGAUZE ANNA”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

IBM

3 patents
US6691078B1Feb 10, 2004

Target design model behavior explorer

IBM25 citations90
US6957404B2Oct 18, 2005

Model checking with layered localization reduction

IBM23 citations86
US7146301B2Dec 5, 2006

Efficient production of disjoint multiple traces

IBM0 citations37

YANG YUE

1 patent
US8510722B2Aug 13, 2013

Detecting data race and atomicity violation via typestate-guided static analysis

YANG YUE15 citations78

ROHDE HENNING KORSHOLM

1 patent
US8443342B2May 14, 2013

Static analysis using interactive and integration tools

ROHDE HENNING KORSHOLM5 citations68

MICROSOFT TECHNOLOGY LICENSING LLC

1 patent
US9563535B2Feb 7, 2017

Intermediate representation construction for static analysis

MICROSOFT TECHNOLOGY LICENSING LLC0 citations49

GRINGAUZE ANNA

1 patent
US8930913B2Jan 6, 2015

Intermediate representation construction for static analysis

GRINGAUZE ANNA0 citations42