Inventor

ZARAKET FADI A

US5 patents

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

BAUMGARTNER JASON R

2 patents

US8086429B2Dec 27, 2011

Predicate-based compositional minimization in a verification environment

BAUMGARTNER JASON R3 citations62

US8141048B2Mar 20, 2012

Sequential encoding for relational analysis (SERA) of a software model

BAUMGARTNER JASON R3 citations61

IBM

1 patent

US7437690B2Oct 14, 2008

Method for predicate-based compositional minimization in a verification environment

IBM18 citations92

EL-ZEIN ALI S

1 patent

US8234604B2Jul 31, 2012

Co-optimization of embedded systems utilizing symbolic execution

EL-ZEIN ALI S5 citations57

DRASNY GABOR

1 patent

US8140313B2Mar 20, 2012

Techniques for modeling variables in subprograms of hardware description language programs

DRASNY GABOR1 citations46