Inventor

GHORBAL KHALIL

US2 patents

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

GHORBAL KHALIL

1 patent

US8719790B2May 6, 2014

Donut domains—efficient non-convex domains for abstract interpretation

GHORBAL KHALIL2 citations52

NEC LAB AMERICA INC

1 patent

US8799194B2Aug 5, 2014

Probabilistic model checking of systems with ranged probabilities

NEC LAB AMERICA INC1 citations46