Membership
Tour
Register
Log in
Khalil Ghorbal
Follow
Person
Pittsburgh, PA, US
People
Overview
Industries
Organizations
People
Information
Impact
Patents Grants
last 30 patents
Information
Patent Grant
Probabilistic model checking of systems with ranged probabilities
Patent number
8,799,194
Issue date
Aug 5, 2014
NEC Laboratories America, Inc.
Parasara Sridhar Duggirala
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Grant
Donut domains—efficient non-convex domains for abstract interpretation
Patent number
8,719,790
Issue date
May 6, 2014
NEC Laboratories America, Inc.
Khalil Ghorbal
G06 - COMPUTING CALCULATING COUNTING
Patents Applications
last 30 patents
Information
Patent Application
PROBABILISTIC MODEL CHECKING OF SYSTEMS WITH RANGED PROBABILITIES
Publication number
20130091080
Publication date
Apr 11, 2013
NEC Laboratories America, Inc.
Parasara Sridhar Duggirala
G06 - COMPUTING CALCULATING COUNTING
Information
Patent Application
DONUT DOMAINS - EFFICIENT NON-CONVEX DOMAINS FOR ABSTRACT INTERPRET...
Publication number
20120246626
Publication date
Sep 27, 2012
NEC Laboratories America, Inc.
Khalil GHORBAL
G06 - COMPUTING CALCULATING COUNTING