Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
logo
  • Home
  • Archive
  • Registration
  • Program
  • Call for Presentations
  • Committee
  • Venue
  • Past Events
  • Submit
  • Files
CPS-VO » High Confidence Software and Systems Conference Series

Visible to the public 2009 HCSS Conference Proceedings

  • View
Submitted by Anonymous on Tue, 12/10/2013 - 12:07pm

The 9th annual HCSS Conference was held May 18-19, 2009. The program agenda and slide presentations are listed below.

  • Multicore and Cloud Computing - Time to Start Afresh
  • Improving Undergraduate Programming Language Curriculum
  • An Educational Program for Information System Security Engineers
  • Updatable Security Views
  • The 7 Features of Habit for Highly Assured Systems Programming
  • Reliable Workflow in a Distributed Environment
  • Policy DSL: High-level Specifications of Information Flows for Security Policies
  • The Verified Software Initiative
  • Automated Security Analysis: Tool Support for Evaluating C Code
  • Automatic Reverse Engineering for Formal Verification
  • CodeHawk: Sound Static Analysis through Customization
  • Equivalence Checking using Cryptol
  • Use of the E Language
Multicore and Cloud Computing - Time to Start Afresh ›
  • Printer-friendly version

Terms of Use  |  ©2023. CPS-VO