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:
3
|
|
Patent #:
|
|
Issue Dt:
|
01/07/2014
|
Application #:
|
12507099
|
Filing Dt:
|
07/22/2009
|
|
Publication #:
|
|
Pub Dt:
|
01/27/2011
| | | | |
|
Inventors:
|
Jason Raymond Baumgartner, Shaked Flur, Paul Joseph Roessler, Ziv Nevo
|
|
Title:
|
MODEL CHECKING OF LIVENESS PROPERTY IN A PHASE ABSTRACTED MODEL
|
|
|
Assignment:
1
|
|
|
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
|
|
|
| NEW ORCHARD ROAD |
| ARMONK, NEW YORK 10504 |
|
|
|
|
| SUZANNE EREZ |
| PO BOX 218 |
| IP LAW DEPARTMENT |
| YORKTOWN HEIGHTS, NY 10598 |
|
|
|
Assignment:
2
|
|
|
|
|
|
|
CORRECTIVE ASSIGNMENT TO CORRECT THE 1ST ASSIGNEE NAME 50% INTEREST PREVIOUSLY RECORDED AT REEL: 043418 FRAME: 0692. ASSIGNOR(S) HEREBY CONFIRMS THE ASSIGNMENT.
|
|
|
|
|
|
|
|
|
| 2225 LAWSON LANE |
| SANTA CLARA, CALIFORNIA 95054 |
|
|
|
| NORTH CASTLE DRIVE, MD-NC119 |
| ARMONK, NEW YORK 10504-4380 |
|
|
|
|
| MICHAEL G. FLETCHER |
| P.O. BOX 692289 |
| HOUSTON, TX 77269 |
|
|
|
Assignment:
3
|
|
|
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
|
|
|
| 2225 LAWSON LANE |
| SANTA CLARA, CALIFORNIA 95054 |
|
|
|
|
| MICHAEL G. FLETCHER |
| P.O. BOX 692289 |
| HOUSTON, TX 77269 |
|
|
Search Results as of:
05/17/2024 04:11 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
|
