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 2008 HCSS Conference Proceedings

  • View
Submitted by Katie Dey on Thu, 12/05/2013 - 9:36pm

The 8th annual HCSS Conference was held March 5-7, 2008. The program agenda and slide presentations are listed below.

  • Automated Synthesis of SAT Solvers
  • SCADE 6: A Model-Based Development Environment to meet Strong Certification Objectives while Reducing Costs
  • Software Development in Haskell
  • Support for Supertype Abstraction in JML
  • COTS Strategy
  • From Dirt to Shovels
  • Rule-Based Static Analysis of Network Protocol
  • Run-time Systems for High-Assurance Systems
  • AURA: A Programming Language with Authorization and Audit
  • Security as a System-Level Constraint
  • Predicting Where Software Systems will be Attacked
  • Analyzing a Cross-domain Component: Lessons Learned and Future Directions
Automated Synthesis of SAT Solvers ›
  • Printer-friendly version

Terms of Use  |  ©2023. CPS-VO