IP Library › Assignment 038786/0382
Patent Assignment
Reel/Frame 038786/0382

Assignment of Assignor's Interest

Recorded: 2016-06-02 Pages: 10
Assignor
NICTA IPR PTY LTD
Executed: 2015-12-17
Assignee
GECKO HOLDINGS PTY LTD
QLD, BRISBANE, 4011, AUSTRALIA
Covered Properties (4)
Generating a Transition System for Use with Model Checking
Patent: 8,850,415 →
Application: 12/441,889 →
Publication: US 2009/0307664
Inter-Procedural Analysis of Computer Programs
Patent: 8,296,735 →
Application: 12/709,053 →
Publication: US 2011/0209126
Multi Language Software Code Analysis
Patent: 8,869,120 →
Application: 12/743,695 →
Publication: US 2011/0167410
Analysis of Program Code
Patent: 9,760,469 →
Application: 14/540,929 →
Publication: US 2015/0220419
Related Assignments (5)
Other recorded transfers of the patents in this record — the chain of ownership.
Assignment of Assignor's Interest Jan 6, 2015
From: CASSEZ, FRANCK; MÜLLER, CHRISTIAN
To: NATIONAL ICT AUSTRALIA LIMITED
Reel/Frame 034642/0217 →
Assignment of Assignor's Interest Jun 2, 2016
From: GECKO HOLDINGS PTY LTD
To: SYNOPSYS, INC.
Reel/Frame 038786/0575 →
Assignment of Assignor's Interest Feb 23, 2024
From: SYNOPSYS, INC.
To: SOFTWARE INTEGRITY GROUP, INC.
Reel/Frame 066664/0821 →
Change of Name Jul 30, 2024
From: SOFTWARE INTEGRITY GROUP, INC.
To: BLACK DUCK SOFTWARE, INC.
Reel/Frame 068191/0490 →
Security Interest Sep 30, 2024
From: BLACK DUCK SOFTWARE, INC.
To: ARES CAPITAL CORPORATION, AS COLLATERAL AGENT
Reel/Frame 069083/0149 →