HCSS 2009

file

Visible to the public The Verified Software Initiative

Submitted by Natarajan Shankar on Fri, 07/01/2011 - 9:28am. Contributor:

Presented as part of the 2009 HCSS conference.

file

Visible to the public Use of the E Language

Submitted by WarrenAHuntJr on Fri, 07/01/2011 - 9:26am. Contributors:

Presented as part of the 2009 HCSS conference.

file

Visible to the public Multicore and Cloud Computing - Time to Start Afresh

Submitted by TimTh on Fri, 07/01/2011 - 9:24am. Contributor:

Presented as part of the 2009 HCSS conference.

file

Visible to the public Concurrent Separation Logic

Submitted by TimTh on Fri, 07/01/2011 - 8:54am. Contributor:
file

Visible to the public Automated Security Analysis: Tool Support for Evaluating C Code

Submitted by TimTh on Fri, 07/01/2011 - 8:52am. Contributors:

Presented as part of the 2009 HCSS conference.

file

Visible to the public Detecting "Certified Pre-owned" Software and Devices

Submitted by TimTh on Fri, 07/01/2011 - 8:50am. Contributor: