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:
|
09/10/2019
|
Application #:
|
15721243
|
Filing Dt:
|
09/29/2017
|
|
Publication #:
|
|
Pub Dt:
|
04/05/2018
| | | | |
|
Inventor:
|
Georgios Fainekos
|
|
Title:
|
AUTOMATED TEST GENERATION FOR STRUCTURAL COVERAGE FOR TEMPORAL LOGIC FALSIFICATION OF CYBER-PHYSICAL SYSTEMS
|
|
|
Assignment:
1
|
|
|
|
|
|
|
ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
|
|
|
| 1475 N SCOTTSDALE ROAD |
| SKYSONG - SUITE 200 |
| SCOTTSDALE, ARIZONA 85257 |
|
|
|
|
| NORTON ROSE FULBRIGHT LLP |
| 98 SAN JACINTO BLVD. |
| SUITE 1100 |
| AUSTIN, TX 78701 |
|
|
|
Assignment:
2
|
|
|
|
|
|
|
CONFIRMATORY LICENSE (SEE DOCUMENT FOR DETAILS).
|
|
|
|
|
|
|
|
|
| 4201 WILSON BLVD |
| ROOM 1265 |
| ARLINGTON, VIRGINIA 22230 |
|
|
|
|
| NATIONAL SCIENCE FOUNDATION |
| 4201 WILSON BLVD |
| ROOM 1265 |
| ARLINGTON, VA 22230 |
|
|
Search Results as of:
04/29/2024 05:53 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
|
