IP Library › Assignment 027748/0315
Patent Assignment
Reel/Frame 027748/0315

Assignment of Assignor's Interest

Recorded: 2012-02-23 Pages: 3
Assignors
IVANCIC, FRANJO
Executed: 2012-02-22
SANKARANARAYANAN, SRIRAM
Executed: 2012-02-22
GUPTA, AARTI
Executed: 2012-02-22
Assignee
NEC LABORATORIES AMERICA, INC.
4 INDEPENDENCE WAY, SUITE 200, PRINCETON, NEW JERSEY, 08540
Covered Property (1)
Scope Bounding with Automated Specification Inference for Scalable Software Model Checking
Patent: 8,719,793 →
Application: 13/314,738 →
Publication: US 2012/0151449
Related Assignments (2)
Other recorded transfers of the patent in this record — the chain of ownership.
Assignment of Assignor's Interest Feb 23, 2012
From: MAEDA, NAOTO
To: NEC CORPORATION
Reel/Frame 027748/0346 →
Assignment of Assignor's Interest Jan 13, 2015
From: NEC LABORATORIES AMERICA, INC.
To: NEC CORPORATION
Reel/Frame 034765/0565 →