Patent Assignment Abstract of Title
NOTE:Results display only for issued patents and published applications.
For pending or abandoned applications please consult USPTO staff.
|
Total Assignments:
2
|
|
Patent #:
|
|
Issue Dt:
|
07/06/2010
|
Application #:
|
12118211
|
Filing Dt:
|
05/09/2008
|
|
Publication #:
|
|
Pub Dt:
|
11/12/2009
| | | | |
|
Inventors:
|
Krishnan Kunjunny Kailas, Brian Chan Monwai, Viresh Paruthi
|
|
Title:
|
BOUNDED STARVATION CHECKING OF AN ARBITER USING FORMAL VERIFICATION
|
|
|
Assignment:
1
|
|
|
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
|
|
|
| NEW ORCHARD ROAD |
| ARMONK, NEW YORK 10504 |
|
|
|
|
| DIANA R. GERHARDT |
| 11400 BURNET ROAD |
| IBM-INTELLECTUAL PROPERTY LAW |
| AUSTIN, TX 78758-3493 |
|
|
|
Assignment:
2
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| OFFICE OF GENERAL COUNSEL |
| 3701 NORTH FAIRFAX DRIVE |
| ARLINGTON, VIRGINIA 22203 |
|
|
|
|
| KIMBERLY B. DOWNEY |
| OFFICE OF GENERAL COUNSEL |
| 3701 NORTH FAIRFAX DRIVE |
| ARLINGTON, VA 22203 |
|
|
Search Results as of:
05/05/2024 05:43 PM
If you have any comments or questions concerning the data displayed,
contact
PRD / Assignments at 571-272-3350. v.2.6
Web interface last modified:
August 25, 2017 v.2.6
|
