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:
4
|
Patent #:
|
|
Issue Dt:
|
04/04/2006
|
Application #:
|
09754890
|
Filing Dt:
|
01/05/2001
|
Publication #:
|
|
Pub Dt:
|
04/18/2002
| | | | |
Inventors:
|
K. Rustan Leino, Todd David Millstein, James B. Saxe
|
Title:
|
SYSTEM AND METHOD FOR VERIFYING COMPUTER PROGRAM CORRECTNESS AND PROVIDING RECOVERABLE EXECUTION TRACE INFORMATION
|
|
Assignment:
1
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
LEGAL DEPARTMENT, MC 110701 |
20555 S.H. 249 |
HOUSTON, TEXAS |
|
|
|
PENNIE & EDMONDS LLP |
GARY S. WILLIAMS |
3300 HILLVIEW AVENUE |
PALO ALTO, CALIFORNIA 94304 |
|
|
Assignment:
2
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
20555 S.H. 249, LEGAL DEPT., MC 110701 |
HOUSTON, TEXAS |
|
|
|
PENNIE & EDMONDS, LLP |
GARY S. WILLIAMS |
3300 HILLVIEW AVE |
PALO ALTO, CA 94304 |
|
|
Assignment:
3
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
20555 STATE HIGHWAY 249 |
HOUSTON, TEXAS 77070 |
|
|
|
CONLEY, ROSE & TAYON, P.C. |
JONATHAN M. HARRIS |
P.O. BOX 3267 |
HOUSTON, TX 77253-3267 |
|
|
Assignment:
4
|
|
|
|
CHANGE OF NAME (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
20555 SH 249 |
HOUSTON, TEXAS 77070 |
|
|
|
HEWLETT-PACKARD COMPANY |
VALERIE BAKES |
P.O. BOX 272400, RECORDS MANAGER |
INTELLECTUAL PROPERTY ADMINISTRATION |
FORT COLLINS, CO 80527-2400 |
|
|
Search Results as of:
05/07/2024 11:27 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
|