Patent Assignment
Reel/Frame 024245/0099
Assignment of Assignor's Interest
Recorded: 2010-04-16
Pages: 5
Assignors
IVANCIC, FRANJO
Executed: 2010-04-14
GANAI, MALAY K.
Executed: 2010-04-13
SANKARANARAYANAN, SRIRAM
Executed: 2010-04-15
GUPTA, AARTI
Executed: 2010-04-15
Assignee
NEC LABORATORIES AMERICA, INC.
4 INDEPENDENCE WAY, SUITE 200, PRINCETON, NEW JERSEY, 08540
Covered Property
(1)
Systems and Methods for Model Checking the Precision of Programs Employing Floating-Point Operations
Related Assignments
(2)
Other recorded transfers of the patent in this record — the chain of ownership.
Assignment of Assignor's Interest
Jan 14, 2014
From: NEC LABORATORIES AMERICA, INC.
To: NEC CORPORATION
Reel/Frame 031998/0667 →
Corrective Assignment to Correct the Remove 8538896 and Add 8583896 Previously Recorded on Reel 031998 Frame 0667. Assignor(S) Hereby Confirms the Assignment.
May 30, 2017
From: NEC LABORATORIES AMERICA, INC.
To: NEC CORPORATION
Reel/Frame 042754/0703 →