IP Library › Assignment 022344/0240
Patent Assignment
Reel/Frame 022344/0240

Assignment of Assignor's Interest

Recorded: 2009-03-04 Pages: 2
Assignors
WANG, CHAO
Executed: 2009-03-03
GUPTA, AARTI
Executed: 2009-03-04
Assignee
NEC LABORATORIES AMERICA, INC.
4 INDEPENDENCE WAY, SUITE 200, PRINCETON, NEW JERSEY, 08540
Covered Property (1)
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions
Patent: 8,200,474 →
Application: 12/397,696 →
Publication: US 2009/0282288
Related Assignments (2)
Other recorded transfers of the patent in this record — the chain of ownership.
Assignment of Assignor's Interest Apr 5, 2013
From: NEC LABORATORIES AMERICA, INC.
To: NEC CORPORATION
Reel/Frame 030156/0037 →
Corrective Assignment to Correct the Remove 8223797 Add 8233797 Previously Recorded on Reel 030156 Frame 0037. Assignor(S) Hereby Confirms the Assignment. May 30, 2017
From: NEC LABORATORIES AMERICA, INC.
To: NEC CORPORATION
Reel/Frame 042587/0845 →