Patent Assignment Details
NOTE:Results display only for issued patents and published applications.
For pending or abandoned applications please consult USPTO staff.
|
| Reel/Frame: | 038786/0382 | |
| Pages: | 10 |
| | Recorded: | 06/02/2016 | | |
| Attorney Dkt #: | 2986G0003 |
| Conveyance: | ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS). |
|
|
Total properties:
4
|
|
|
|
Patent #:
|
|
Issue Dt:
|
09/30/2014
|
Application #:
|
12441889
|
Filing Dt:
|
08/11/2009
|
|
Publication #:
|
|
Pub Dt:
|
12/10/2009
| | | | |
|
Title:
|
GENERATING A TRANSITION SYSTEM FOR USE WITH MODEL CHECKING
|
|
|
|
|
Patent #:
|
|
Issue Dt:
|
10/23/2012
|
Application #:
|
12709053
|
Filing Dt:
|
02/19/2010
|
|
Publication #:
|
|
Pub Dt:
|
08/25/2011
| | | | |
|
Title:
|
INTER-PROCEDURAL ANALYSIS OF COMPUTER PROGRAMS
|
|
|
|
|
Patent #:
|
|
Issue Dt:
|
10/21/2014
|
Application #:
|
12743695
|
Filing Dt:
|
10/22/2010
|
|
Publication #:
|
|
Pub Dt:
|
07/07/2011
| | | | |
|
Title:
|
MULTI LANGUAGE SOFTWARE CODE ANALYSIS
|
|
|
|
|
Patent #:
|
|
Issue Dt:
|
09/12/2017
|
Application #:
|
14540929
|
Filing Dt:
|
11/13/2014
|
|
Publication #:
|
|
Pub Dt:
|
08/06/2015
| | | | |
|
Title:
|
ANALYSIS OF PROGRAM CODE
|
|
|
Assignee
|
|
|
|
|
| QLD |
| BRISBANE, AUSTRALIA 4011 |
|
|
Correspondence name and address
|
| |
JUDITH SZEPESI
|
| |
20195 STEVENS CREEK BLVD.
|
| |
SUITE 250
|
| |
CUPERINO, CA 95014
|
Search Results as of:
06/21/2024 07:51 AM
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
| 
