IP Library Assignment 023091/0908
Patent Assignment
Reel/Frame 023091/0908

Assignment of Assignor's Interest

Recorded: 2009-08-12 Pages: 6
Assignors
HUUCK, RALF
Executed: 2009-03-09
FEHNKER, ANSGAR
Executed: 2009-03-04
JAYET, PATRICK
Executed: 2009-04-04
RAUCH, FELIX
Executed: 2009-03-11
Assignee
NATIONAL ICT AUSTRALIA LIMITED
LEVEL 5, 13 GARDEN STREET, EVELEIGH, NEW SOUTH WALES, 2015, AUSTRALIA
Covered Property (1)
Generating a Transition System for Use with Model Checking
Patent: 8,850,415 →
Application: 12/441,889 →
Publication: US 2009/0307664
Related Assignments (5)
Other recorded transfers of the patent in this record — the chain of ownership.
Assignment of Assignor's Interest Jun 2, 2016
From: NICTA IPR PTY LTD
To: GECKO HOLDINGS PTY LTD
Reel/Frame 038786/0382 →
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 →